About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C05
| 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 | TT?????T???????T | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524400361.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400361
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 12M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749017451619
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C05
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-04 06:10:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-04 06:10:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 06:10:55] [INFO ] Load time of PNML (sax parser for PT used): 862 ms
[2025-06-04 06:10:55] [INFO ] Transformed 11106 places.
[2025-06-04 06:10:55] [INFO ] Transformed 16561 transitions.
[2025-06-04 06:10:55] [INFO ] Parsed PT model containing 11106 places and 16561 transitions and 65150 arcs in 1154 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 51 ms.
Support contains 173 out of 11106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 11106/11106 places, 16561/16561 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 11068 transition count 16561
Discarding 2935 places :
Symmetric choice reduction at 1 with 2935 rule applications. Total rules 2973 place count 8133 transition count 13626
Iterating global reduction 1 with 2935 rules applied. Total rules applied 5908 place count 8133 transition count 13626
Discarding 2648 places :
Symmetric choice reduction at 1 with 2648 rule applications. Total rules 8556 place count 5485 transition count 10978
Iterating global reduction 1 with 2648 rules applied. Total rules applied 11204 place count 5485 transition count 10978
Discarding 449 places :
Symmetric choice reduction at 1 with 449 rule applications. Total rules 11653 place count 5036 transition count 8733
Iterating global reduction 1 with 449 rules applied. Total rules applied 12102 place count 5036 transition count 8733
Applied a total of 12102 rules in 5105 ms. Remains 5036 /11106 variables (removed 6070) and now considering 8733/16561 (removed 7828) transitions.
[2025-06-04 06:11:00] [INFO ] Flow matrix only has 8133 transitions (discarded 600 similar events)
// Phase 1: matrix 8133 rows 5036 cols
[2025-06-04 06:11:01] [INFO ] Computed 937 invariants in 711 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:11:22] [INFO ] Implicit Places using invariants in 21868 ms returned [4, 8, 16, 20, 22, 31, 49, 60, 73, 88, 105, 124, 145, 168, 194, 218, 220, 222, 224, 226, 228, 249, 268, 285, 313, 324, 333, 340, 345, 348, 371, 378, 381, 383, 384, 385, 386, 389, 394, 401, 412, 423, 436, 451, 471, 490, 511, 533, 556, 557, 558, 560, 579, 596, 612, 625, 636, 647, 654, 662, 665, 667, 690, 697, 701, 702, 706, 711, 715, 722, 729, 738, 749, 762, 777, 794, 813, 833, 853, 854, 856, 858, 875, 890, 903, 917, 926, 933, 938, 941, 945, 971, 978, 982, 985, 986, 988, 990, 993, 1001, 1010, 1021, 1032, 1045, 1060, 1077, 1095, 1114, 1115, 1116, 1118, 1133, 1148, 1159, 1170, 1177, 1182, 1185, 1189, 1191, 1214, 1221, 1224, 1226, 1229, 1231, 1238, 1241, 1248, 1255, 1266, 1277, 1290, 1307, 1323, 1339, 1340, 1342, 1343, 1344, 1357, 1368, 1377, 1386, 1391, 1394, 1396, 1398, 1400, 1402, 1425, 1432, 1435, 1436, 1437, 1438, 1440, 1442, 1447, 1449, 1451, 1454, 1459, 1466, 1475, 1486, 1499, 1516, 1530, 1532, 1533, 1534, 1535, 1546, 1555, 1562, 1567, 1570, 1572, 1574, 1576, 1580, 1582, 1608, 1615, 1622, 1623, 1629, 1632, 1634, 1636, 1638, 1641, 1649, 1656, 1665, 1676, 1691, 1703, 1704, 1707, 1708, 1719, 1726, 1737, 1739, 1741, 1745, 1747, 1749, 1754, 1777, 1784, 1787, 1788, 1790, 1792, 1794, 1796, 1798, 1800, 1802, 1804, 1809, 1814, 1821, 1830, 1843, 1854, 1856, 1857, 1858, 1868, 1875, 1878, 1880, 1882, 1884, 1886, 1888, 1890, 1892, 1918, 1925, 1928, 1931, 1932, 1933, 1937, 1939, 1941, 1946, 1948, 1950, 1952, 1955, 1960, 1967, 1975, 1983, 1984, 1985, 1986, 1987, 1988, 1993, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2035, 2042, 2049, 2050, 2052, 2054, 2056, 2061, 2065, 2067, 2069, 2074, 2077, 2082, 2091, 2097, 2098, 2099, 2100, 2101, 2102, 2105, 2107, 2109, 2111, 2115, 2117, 2121, 2123, 2146, 2153, 2157, 2160, 2161, 2165, 2167, 2169, 2174, 2176, 2178, 2180, 2184, 2186, 2189, 2193, 2197, 2198, 2199, 2200, 2202, 2204, 2206, 2211, 2215, 2217, 2219, 2221, 2223, 2225, 2248, 2255, 2259, 2261, 2262, 2263, 2265, 2267, 2269, 2271, 2276, 2281, 2283, 2285, 2287, 2289, 2291, 2294, 2296, 2297, 2298, 2299, 2301, 2306, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2322, 2345, 2347, 2351, 2354, 2356, 2357, 2358, 2359, 2361, 2363, 2365, 2369, 2372, 2377, 2379, 2381, 2383, 2385, 2388, 2389, 2391, 2392, 2393, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2412, 2414, 2416, 2439, 2446, 2449, 2450, 2451, 2452, 2454, 2456, 2458, 2460, 2462, 2464, 2466, 2468, 2470, 2475, 2479, 2481, 2485, 2487, 2489, 2491, 2493, 2495, 2497, 2499, 2504, 2506, 2508, 2512, 2517, 2540, 2547, 2550, 2551, 2552, 2553, 2554, 2555, 2557, 2559, 2561, 2563, 2565, 2567, 2569, 2571, 2573, 2575, 2578, 2585, 2586, 2588, 2591, 2593, 2595, 2597, 2599, 2603, 2605, 2607, 2611, 2615, 2638, 2645, 2648, 2650, 2651, 2652, 2653, 2655, 2657, 2659, 2661, 2663, 2665, 2667, 2669, 2671, 2677, 2682, 2689, 2691, 2693, 2694, 2699, 2702, 2704, 2706, 2711, 2713, 2718, 2720, 2722, 2724, 2747, 2754, 2760, 2761, 2762, 2764, 2769, 2771, 2775, 2777, 2779, 2784, 2786, 2789, 2797, 2804, 2814, 2815, 2816, 2817, 2818, 2825, 2830, 2833, 2838, 2840, 2842, 2844, 2846, 2848, 2850, 2873, 2880, 2884, 2885, 2887, 2893, 2895, 2897, 2899, 2901, 2903, 2905, 2908, 2913, 2920, 2931, 2943, 2945, 2946, 2947, 2956, 2963, 2973, 2979, 2981, 2983, 2985, 2987, 2989, 2991, 3014, 3021, 3024, 3025, 3026, 3027, 3028, 3029, 3031, 3033, 3035, 3038, 3040, 3042, 3045, 3050, 3057, 3066, 3077, 3090, 3091, 3092, 3093, 3095, 3109, 3118, 3125, 3130, 3133, 3135, 3137, 3139, 3141, 3143, 3166, 3173, 3176, 3177, 3178, 3181, 3183, 3187, 3189, 3191, 3193, 3196, 3204, 3211, 3220, 3231, 3244, 3261, 3262, 3263, 3264, 3277, 3290, 3306, 3311, 3314, 3316, 3318, 3320, 3324, 3347, 3354, 3359, 3360, 3362, 3366, 3371, 3374, 3376, 3381, 3386, 3393, 3402, 3413, 3426, 3444, 3461, 3462, 3464, 3465, 3466, 3481, 3494, 3507, 3516, 3523, 3528, 3531, 3533, 3535, 3537, 3560, 3567, 3570, 3571, 3572, 3573, 3574, 3575, 3577, 3579, 3581, 3584, 3589, 3596, 3605, 3616, 3629, 3644, 3661, 3680, 3681, 3682, 3683, 3684, 3685, 3702, 3717, 3730, 3741, 3750, 3757, 3762, 3765, 3767, 3769, 3792, 3799, 3802, 3803, 3805, 3806, 3807, 3811, 3813, 3816, 3821, 3828, 3837, 3848, 3861, 3876, 3893, 3912, 3933, 3934, 3935, 3937, 3938, 3957, 3974, 3989, 4002, 4013, 4022, 4032, 4037, 4040, 4042, 4065, 4072, 4075, 4080, 4081, 4085, 4088, 4093, 4100, 4109, 4120, 4133, 4148, 4165, 4208, 4232, 4233, 4237, 4261, 4281, 4300, 4315, 4328, 4339, 4351, 4361, 4366, 4369, 4392, 4394, 4398, 4401, 4403, 4406, 4409, 4414, 4421, 4435, 4446, 4461, 4476, 4493, 4512, 4536, 4559, 4584, 4585, 4586, 4587, 4589, 4614, 4635, 4654, 4671, 4686, 4699, 4710, 4719, 4726, 4731, 4755]
[2025-06-04 06:11:22] [INFO ] Actually due to overlaps returned [371, 690, 971, 1214, 1425, 1608, 1777, 1918, 2035, 2146, 2248, 2345, 2439, 2540, 2638, 2747, 2873, 3014, 3166, 3347, 3560, 3792, 4065, 4392, 4755, 4, 16, 20, 218, 220, 222, 224, 226, 381, 383, 384, 385, 556, 557, 558, 701, 702, 853, 854, 856, 982, 985, 1114, 1115, 1116, 1224, 1226, 1339, 1340, 1342, 1343, 1435, 1436, 1437, 1438, 1530, 1532, 1533, 1534, 1622, 1703, 1704, 1707, 1787, 1788, 1790, 1854, 1856, 1857, 1928, 1931, 1932, 1983, 1984, 1985, 1986, 1987, 2049, 2097, 2098, 2099, 2100, 2101, 2157, 2160, 2197, 2198, 2199, 2200, 2259, 2261, 2262, 2294, 2296, 2297, 2298, 2347, 2354, 2356, 2357, 2358, 2388, 2389, 2391, 2392, 2449, 2450, 2451, 2452, 2485, 2487, 2550, 2551, 2552, 2553, 2554, 2585, 2586, 2648, 2650, 2651, 2652, 2689, 2691, 2693, 2760, 2761, 2814, 2815, 2816, 2817, 2884, 2885, 2887, 2943, 2945, 2946, 3024, 3025, 3026, 3027, 3028, 3090, 3091, 3092, 3093, 3176, 3177, 3178, 3261, 3262, 3263, 3359, 3360, 3461, 3462, 3464, 3465, 3570, 3571, 3572, 3573, 3574, 3680, 3681, 3682, 3683, 3684, 3802, 3803, 3805, 3806, 3933, 3934, 3935, 3937, 4075, 4080, 4232, 4233, 4394, 4401, 4403, 4584, 4585, 4586, 4587]
Discarding 192 places :
Implicit Place search using SMT only with invariants took 21968 ms to find 192 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4844/11106 places, 8733/16561 transitions.
Discarding 151 places :
Symmetric choice reduction at 0 with 151 rule applications. Total rules 151 place count 4693 transition count 8582
Iterating global reduction 0 with 151 rules applied. Total rules applied 302 place count 4693 transition count 8582
Discarding 148 places :
Symmetric choice reduction at 0 with 148 rule applications. Total rules 450 place count 4545 transition count 8434
Iterating global reduction 0 with 148 rules applied. Total rules applied 598 place count 4545 transition count 8434
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 742 place count 4401 transition count 8290
Iterating global reduction 0 with 144 rules applied. Total rules applied 886 place count 4401 transition count 8290
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 889 place count 4398 transition count 8275
Iterating global reduction 0 with 3 rules applied. Total rules applied 892 place count 4398 transition count 8275
Applied a total of 892 rules in 3737 ms. Remains 4398 /4844 variables (removed 446) and now considering 8275/8733 (removed 458) transitions.
[2025-06-04 06:11:26] [INFO ] Flow matrix only has 7675 transitions (discarded 600 similar events)
// Phase 1: matrix 7675 rows 4398 cols
[2025-06-04 06:11:26] [INFO ] Computed 745 invariants in 249 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:11:41] [INFO ] Implicit Places using invariants in 15141 ms returned [7, 19, 28, 46, 57, 70, 85, 102, 121, 142, 165, 191, 220, 241, 260, 277, 305, 316, 325, 332, 337, 340, 369, 373, 376, 381, 388, 399, 410, 423, 438, 458, 477, 498, 520, 544, 563, 580, 596, 609, 620, 631, 638, 646, 649, 651, 670, 677, 682, 686, 693, 700, 709, 720, 733, 748, 765, 784, 804, 826, 843, 858, 871, 885, 894, 901, 906, 909, 913, 937, 943, 945, 947, 950, 958, 967, 978, 989, 1002, 1017, 1034, 1052, 1072, 1087, 1102, 1113, 1124, 1131, 1136, 1139, 1143, 1145, 1164, 1170, 1172, 1179, 1182, 1189, 1196, 1207, 1218, 1231, 1248, 1264, 1281, 1294, 1305, 1314, 1323, 1328, 1331, 1333, 1335, 1337, 1339, 1356, 1360, 1362, 1367, 1369, 1371, 1374, 1379, 1386, 1395, 1406, 1419, 1436, 1451, 1462, 1471, 1478, 1483, 1486, 1488, 1490, 1492, 1496, 1498, 1514, 1521, 1527, 1530, 1532, 1534, 1536, 1539, 1547, 1554, 1563, 1574, 1589, 1603, 1614, 1621, 1632, 1634, 1636, 1640, 1642, 1644, 1649, 1672, 1677, 1679, 1681, 1683, 1685, 1687, 1689, 1694, 1699, 1706, 1715, 1728, 1740, 1750, 1757, 1760, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1794, 1799, 1803, 1805, 1807, 1812, 1814, 1816, 1818, 1821, 1826, 1833, 1841, 1848, 1853, 1856, 1858, 1860, 1862, 1864, 1866, 1868, 1870, 1872, 1885, 1892, 1894, 1896, 1898, 1903, 1907, 1909, 1911, 1916, 1919, 1924, 1933, 1938, 1941, 1943, 1945, 1947, 1951, 1953, 1957, 1959, 1976, 1982, 1986, 1988, 1990, 1995, 1997, 1999, 2001, 2005, 2007, 2010, 2014, 2019, 2021, 2023, 2028, 2032, 2034, 2036, 2038, 2040, 2042, 2059, 2064, 2066, 2068, 2070, 2072, 2077, 2082, 2084, 2086, 2088, 2090, 2092, 2096, 2098, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2133, 2137, 2139, 2141, 2143, 2147, 2150, 2155, 2157, 2159, 2161, 2163, 2167, 2172, 2174, 2176, 2178, 2180, 2182, 2184, 2186, 2188, 2190, 2203, 2207, 2209, 2211, 2213, 2215, 2217, 2219, 2221, 2223, 2228, 2232, 2234, 2240, 2242, 2244, 2246, 2248, 2250, 2255, 2257, 2259, 2263, 2268, 2285, 2288, 2290, 2292, 2294, 2296, 2298, 2300, 2302, 2304, 2306, 2308, 2311, 2319, 2322, 2324, 2326, 2328, 2330, 2334, 2336, 2338, 2342, 2346, 2363, 2367, 2369, 2371, 2373, 2375, 2377, 2379, 2381, 2383, 2385, 2391, 2396, 2405, 2410, 2413, 2415, 2417, 2422, 2424, 2429, 2431, 2433, 2435, 2451, 2457, 2459, 2464, 2466, 2470, 2472, 2474, 2479, 2481, 2484, 2492, 2499, 2509, 2516, 2521, 2524, 2529, 2531, 2533, 2535, 2537, 2539, 2541, 2559, 2569, 2571, 2573, 2575, 2577, 2579, 2581, 2584, 2589, 2596, 2607, 2620, 2629, 2636, 2646, 2652, 2654, 2656, 2658, 2660, 2662, 2664, 2682, 2684, 2686, 2688, 2690, 2693, 2695, 2697, 2700, 2705, 2712, 2721, 2732, 2746, 2760, 2769, 2776, 2781, 2784, 2786, 2788, 2790, 2792, 2794, 2805, 2810, 2812, 2816, 2818, 2820, 2822, 2825, 2833, 2840, 2849, 2860, 2873, 2890, 2903, 2916, 2932, 2937, 2940, 2942, 2944, 2946, 2950, 2967, 2973, 2977, 2982, 2985, 2987, 2992, 2997, 3004, 3013, 3024, 3037, 3055, 3073, 3088, 3101, 3114, 3123, 3130, 3135, 3138, 3140, 3142, 3144, 3161, 3164, 3166, 3168, 3170, 3173, 3178, 3185, 3194, 3205, 3218, 3233, 3250, 3269, 3286, 3301, 3314, 3325, 3334, 3341, 3346, 3349, 3351, 3353, 3366, 3370, 3374, 3376, 3379, 3384, 3391, 3400, 3411, 3424, 3439, 3456, 3475, 3497, 3516, 3533, 3548, 3561, 3572, 3581, 3591, 3596, 3599, 3601, 3614, 3621, 3625, 3628, 3633, 3640, 3649, 3660, 3673, 3688, 3705, 3748, 3775, 3799, 3819, 3838, 3853, 3866, 3877, 3889, 3899, 3904, 3907, 3927, 3933, 3936, 3941, 3948, 3962, 3973, 3988, 4003, 4020, 4039, 4063, 4086, 4112, 4137, 4158, 4177, 4194, 4209, 4222, 4233, 4242, 4249, 4254]
Discarding 587 places :
Implicit Place search using SMT only with invariants took 15156 ms to find 587 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3811/11106 places, 8275/16561 transitions.
Applied a total of 0 rules in 612 ms. Remains 3811 /3811 variables (removed 0) and now considering 8275/8275 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 46611 ms. Remains : 3811/11106 places, 8275/16561 transitions.
Support contains 173 out of 3811 places after structural reductions.
[2025-06-04 06:11:43] [INFO ] Flatten gal took : 694 ms
[2025-06-04 06:11:43] [INFO ] Flatten gal took : 316 ms
[2025-06-04 06:11:44] [INFO ] Input system was already deterministic with 8275 transitions.
RANDOM walk for 40000 steps (771 resets) in 4732 ms. (8 steps per ms) remains 71/94 properties
BEST_FIRST walk for 4003 steps (12 resets) in 63 ms. (62 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4003 steps (12 resets) in 53 ms. (74 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4002 steps (12 resets) in 50 ms. (78 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4003 steps (12 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4000 steps (12 resets) in 44 ms. (88 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4001 steps (12 resets) in 45 ms. (86 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (12 resets) in 41 ms. (95 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4002 steps (12 resets) in 41 ms. (95 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4001 steps (12 resets) in 38 ms. (102 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4002 steps (12 resets) in 27 ms. (142 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4003 steps (12 resets) in 28 ms. (138 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4001 steps (12 resets) in 38 ms. (102 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4002 steps (12 resets) in 29 ms. (133 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4003 steps (12 resets) in 59 ms. (66 steps per ms) remains 70/71 properties
BEST_FIRST walk for 4000 steps (12 resets) in 37 ms. (105 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4001 steps (12 resets) in 45 ms. (86 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4003 steps (12 resets) in 39 ms. (100 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4001 steps (12 resets) in 33 ms. (117 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4002 steps (12 resets) in 37 ms. (105 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (12 resets) in 32 ms. (121 steps per ms) remains 69/70 properties
BEST_FIRST walk for 4000 steps (12 resets) in 70 ms. (56 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4002 steps (12 resets) in 25 ms. (153 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (12 resets) in 29 ms. (133 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4001 steps (12 resets) in 37 ms. (105 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4001 steps (12 resets) in 40 ms. (97 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4001 steps (12 resets) in 30 ms. (129 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4001 steps (12 resets) in 37 ms. (105 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4001 steps (12 resets) in 33 ms. (117 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4003 steps (12 resets) in 39 ms. (100 steps per ms) remains 68/69 properties
BEST_FIRST walk for 4002 steps (12 resets) in 40 ms. (97 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4001 steps (12 resets) in 40 ms. (97 steps per ms) remains 67/68 properties
BEST_FIRST walk for 4003 steps (12 resets) in 42 ms. (93 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 42 ms. (93 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4002 steps (12 resets) in 36 ms. (108 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 38 ms. (102 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 39 ms. (100 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 38 ms. (102 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 57 ms. (68 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 51 ms. (76 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 53 ms. (74 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4002 steps (12 resets) in 49 ms. (80 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4001 steps (12 resets) in 37 ms. (105 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4002 steps (12 resets) in 44 ms. (88 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4002 steps (12 resets) in 52 ms. (75 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 51 ms. (76 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 49 ms. (80 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 43 ms. (90 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4003 steps (12 resets) in 50 ms. (78 steps per ms) remains 66/67 properties
BEST_FIRST walk for 4000 steps (12 resets) in 50 ms. (78 steps per ms) remains 65/66 properties
BEST_FIRST walk for 4002 steps (12 resets) in 48 ms. (81 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4002 steps (12 resets) in 42 ms. (93 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4000 steps (12 resets) in 54 ms. (72 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4000 steps (12 resets) in 56 ms. (70 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4001 steps (12 resets) in 56 ms. (70 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4002 steps (12 resets) in 51 ms. (76 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4002 steps (12 resets) in 54 ms. (72 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4002 steps (12 resets) in 45 ms. (87 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4003 steps (12 resets) in 34 ms. (114 steps per ms) remains 64/65 properties
BEST_FIRST walk for 4003 steps (12 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4003 steps (12 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4002 steps (12 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4001 steps (12 resets) in 35 ms. (111 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4001 steps (12 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (12 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
[2025-06-04 06:11:47] [INFO ] Flow matrix only has 7675 transitions (discarded 600 similar events)
// Phase 1: matrix 7675 rows 3811 cols
[2025-06-04 06:11:47] [INFO ] Computed 158 invariants in 370 ms
[2025-06-04 06:11:47] [INFO ] State equation strengthened by 3194 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/107 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 64 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp55 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp90 is UNSAT
Problem AtomicPropp91 is UNSAT
Problem AtomicPropp92 is UNSAT
At refinement iteration 1 (OVERLAPS) 3424/3531 variables, 4/4 constraints. Problems are: Problem set: 31 solved, 33 unsolved
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp89 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/3531 variables, 6/10 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3531 variables, 0/10 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 4 (OVERLAPS) 1/3532 variables, 1/11 constraints. Problems are: Problem set: 36 solved, 28 unsolved
Error getting values : (error "ParserException while parsing response: ((s1 0.0)
(s4 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s11 0.0)
(s12 5.0)
(s13 0.0)
(s14 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 (/ 1.0 2.0))
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 (/ 41.0 8.0))
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 0.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 0.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s344 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 (/ 33.0 8.0))
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s426 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s430 0.0)
(s431 0.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 0.0)
(s505 0.0)
(s506 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 0.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 0.0)
(s593 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 0.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 0.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s621 0.0)
(s623 0.0)
(s624 0.0)
(s625 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 (/ 9.0 8.0))
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 0.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s673 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s678 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s713 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 0.0)
(s719 0.0)
(s720 0.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 0.0)
(s726 0.0)
(s727 0.0)
(s728 0.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 0.0)
(s738 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s743 0.0)
(s744 0.0)
(s745 0.0)
(s746 0.0)
(s747 0.0)
(s748 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 0.0)
(s756 0.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 0.0)
(s764 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 0.0)
(s773 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s783 0.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 0.0)
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 0.0)
(s810 0.0)
(s811 0.0)
(s812 0.0)
(s813 0.0)
(s814 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s818 0.0)
(s819 0.0)
(s821 0.0)
(s822 0.0)
(s823 0.0)
(s824 0.0)
(s825 0.0)
(s826 0.0)
(s827 0.0)
(s828 0.0)
(s829 0.0)
(s830 0.0)
(s831 0.0)
(s832 0.0)
(s833 0.0)
(s834 0.0)
(s835 0.0)
(s836 0.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 0.0)
(s843 0.0)
(s844 0.0)
(s845 0.0)
(s846 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s851 0.0)
(s852 0.0)
(s853 0.0)
(s854 0.0)
(s855 0.0)
(s856 0.0)
(s857 0.0)
(s858 0.0)
(s859 0.0)
(s860 0.0)
(s861 0.0)
(s865 0.0)
(s867 0.0)
(s868 0.0)
(s869 0.0)
(s873 0.0)
(s874 0.0)
(s875 0.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s883 0.0)
(s884 0.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s892 0.0)
(s893 0.0)
(s894 0.0)
(s895 0.0)
(s896 0.0)
(s897 0.0)
(s898 0.0)
(s899 0.0)
(s900 0.0)
(s902 0.0)
(s903 0.0)
(s904 0.0)
(s905 0.0)
(s906 0.0)
(s907 0.0)
(s908 0.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 0.0)
(s919 0.0)
(s920 0.0)
(s921 0.0)
(s922 0.0)
(s923 0.0)
(s924 0.0)
(s925 0.0)
(s926 0.0)
(s927 0.0)
(s928 0.0)
(s929 0.0)
(s930 0.0)
(s931 0.0)
(s932 0.0)
(s933 0.0)
(s934 0.0)
(s935 0.0)
(s936 0.0)
(s937 0.0)
(s938 0.0)
(s939 0.0)
(s940 0.0)
(s941 0.0)
(s942 0.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s950 0.0)
(s951 0.0)
(s952 0.0)
(s953 0.0)
(s954 0.0)
(s955 0.0)
(s956 0.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 0.0)
(s961 0.0)
(s962 0.0)
(s963 0.0)
(s964 0.0)
(s965 0.0)
(s966 0.0)
(s967 0.0)
(s968 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 0.0)
(s974 0.0)
(s975 0.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 0.0)
(s985 0.0)
(s986 0.0)
(s987 0.0)
(s989 0.0)
(s990 0.0)
(s991 0.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 0.0)
(s1001 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1011 0.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1016 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 0.0)
(s1021 0.0)
(s1022 0.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1026 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 0.0)
(s1035 0.0)
(s1036 0.0)
(s1037 0.0)
(s1038 0.0)
(s1039 0.0)
(s1040 0.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1046 0.0)
(s1047 0.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1052 0.0)
(s1053 0.0)
(s1054 0.0)
(s1055 0.0)
(s1056 0.0)
(s1057 0.0)
(s1058 0.0)
(s1059 0.0)
(s1060 0.0)
(s1061 0.0)
(s1062 0.0)
(s1063 0.0)
(s1064 0.0)
(s1065 0.0)
(s1069 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1081 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 0.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1091 (/ 9.0 8.0))
(s1092 0.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1096 0.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1101 0.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1106 0.0)
(s1108 0.0)
(s1109 0.0)
(s1110 0.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 0.0)
(s1120 0.0)
(s1121 0.0)
(s1122 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 0.0)
(s1129 0.0)
(s1130 0.0)
(s1131 0.0)
(s1132 0.0)
(s1133 0.0)
(s1134 0.0)
(s1135 0.0)
(s1136 0.0)
(s1137 0.0)
(s1138 0.0)
(s1139 0.0)
(s1140 0.0)
(s1141 0.0)
(s1142 0.0)
(s1143 0.0)
(s1144 0.0)
(s1146 0.0)
(s1147 0.0)
(s1148 0.0)
(s1149 0.0)
(s1150 0.0)
(s1151 0.0)
(s1152 0.0)
(s1153 0.0)
(s1154 0.0)
(s1155 0.0)
(s1156 0.0)
(s1157 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1188 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 0.0)
(s1192 0.0)
(s1193 0.0)
(s1194 0.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 0.0)
(s1201 0.0)
(s1202 0.0)
(s1203 0.0)
(s1204 0.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1210 0.0)
(s1211 0.0)
(s1212 0.0)
(s1213 0.0)
(s1214 (/ 9.0 8.0))
(s1215 0.0)
(s1216 0.0)
(s1217 0.0)
(s1218 0.0)
(s1219 0.0)
(s1220 0.0)
(s1221 0.0)
(s1222 0.0)
(s1223 0.0)
(s1224 0.0)
(s1225 0.0)
(s1226 0.0)
(s1227 0.0)
(s1228 0.0)
(s1229 0.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 0.0)
(s1234 0.0)
(s1238 0.0)
(s1240 0.0)
(s1241 0.0)
(s1242 0.0)
(s1244 0.0)
(s1245 0.0)
(s1246 0.0)
(s1248 0.0)
(s1249 0.0)
(s1250 0.0)
(s1251 0.0)
(s1252 0.0)
(s1253 0.0)
(s1254 0.0)
(s1255 0.0)
(s1256 0.0)
(s1257 0.0)
(s1258 0.0)
(s1259 0.0)
(s1260 0.0)
(s1261 0.0)
(s1262 0.0)
(s1263 0.0)
(s1264 0.0)
(s1265 0.0)
(s1266 0.0)
(s1267 0.0)
(s1268 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1278 0.0)
(s1279 0.0)
(s1280 0.0)
(s1281 0.0)
(s1282 0.0)
(s1283 0.0)
(s1284 0.0)
(s1285 0.0)
(s1286 0.0)
(s1287 0.0)
(s1288 0.0)
(s1289 0.0)
(s1290 0.0)
(s1291 0.0)
(s1292 0.0)
(s1293 0.0)
(s1294 0.0)
(s1295 0.0)
(s1296 0.0)
(s1297 0.0)
(s1298 0.0)
(s1299 0.0)
(s1300 0.0)
(s1301 0.0)
(s1302 0.0)
(s1303 0.0)
(s1304 0.0)
(s1305 0.0)
(s1306 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1314 0.0)
(s1315 0.0)
(s1316 0.0)
(s1317 0.0)
(s1318 0.0)
(s1319 0.0)
(s1320 0.0)
(s1321 0.0)
(s1323 0.0)
(s1324 0.0)
(s1325 0.0)
(s1326 0.0)
(s1327 0.0)
(s1328 0.0)
(s1329 0.0)
(s1330 0.0)
(s1331 0.0)
(s1332 0.0)
(s1333 0.0)
(s1334 0.0)
(s1335 0.0)
(s1336 0.0)
(s1337 0.0)
(s1338 0.0)
(s1339 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1344 0.0)
(s1345 0.0)
(s1346 0.0)
(s1347 0.0)
(s1348 0.0)
(s1349 0.0)
(s1350 0.0)
(s1351 0.0)
(s1352 0.0)
(s1353 0.0)
(s1354 0.0)
(s1355 0.0)
(s1356 0.0)
(s1357 0.0)
(s1358 4.0)
(s1359 0.0)
(s1360 0.0)
(s1361 0.0)
(s1363 0.0)
(s1364 0.0)
(s1365 0.0)
(s1366 0.0)
(s1367 0.0)
(s1368 0.0)
(s1372 0.0)
(s1374 0.0)
(s1375 0.0)
(s1376 0.0)
(s1381 0.0)
(s1382 0.0)
(s1384 0.0)
(s1386 0.0)
(s1387 0.0)
(s1388 0.0)
(s1389 0.0)
(s1390 0.0)
(s1391 0.0)
(s1392 0.0)
(s1393 0.0)
(s1394 0.0)
(s1395 0.0)
(s1396 0.0)
(s1397 0.0)
(s1399 0.0)
(s1400 0.0)
(s1401 0.0)
(s1402 0.0)
(s1403 0.0)
(s1404 0.0)
(s1405 0.0)
(s1406 0.0)
(s1407 0.0)
(s1408 0.0)
(s1409 0.0)
(s1410 0.0)
(s1411 0.0)
(s1412 0.0)
(s1413 0.0)
(s1414 0.0)
(s1415 0.0)
(s1416 0.0)
(s1417 0.0)
(s1418 0.0)
(s1419 0.0)
(s1420 0.0)
(s1421 0.0)
(s1422 0.0)
(s1423 0.0)
(s1424 0.0)
(s1425 0.0)
(s1426 0.0)
(s1427 0.0)
(s1428 0.0)
(s1429 0.0)
(s1430 0.0)
(s1431 0.0)
(s1432 0.0)
(s1433 0.0)
(s1434 0.0)
(s1435 0.0)
(s1437 0.0)
(s1438 0.0)
(s1439 0.0)
(s1440 0.0)
(s1441 0.0)
(s1442 0.0)
(s1443 0.0)
(s1444 0.0)
(s1445 0.0)
(s1446 0.0)
(s1447 0.0)
(s1448 0.0)
(s1451 0.0)
(s1452 0.0)
(s1453 0.0)
(s1454 0.0)
(s1455 0.0)
(s1456 0.0)
(s1457 0.0)
(s1458 0.0)
(s1459 0.0)
(s1461 0.0)
(s1462 0.0)
(s1463 0.0)
(s1464 0.0)
(s1465 0.0)
(s1466 0.0)
(s1467 0.0)
(s1468 0.0)
(s1469 0.0)
(s1470 0.0)
(s1471 0.0)
(s1473 0.0)
(s1474 0.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3532/11486 variables, and 11 constraints, problems are : Problem set: 36 solved, 28 unsolved in 5029 ms.
Refiners :[Positive P Invariants (semi-flows): 5/47 constraints, Generalized P Invariants (flows): 6/111 constraints, State Equation: 0/3811 constraints, ReadFeed: 0/3194 constraints, PredecessorRefiner: 64/64 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 36 solved, 28 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 0/0 constraints. Problems are: Problem set: 36 solved, 28 unsolved
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp50 is UNSAT
At refinement iteration 1 (OVERLAPS) 3461/3520 variables, 4/4 constraints. Problems are: Problem set: 38 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3520 variables, 1/5 constraints. Problems are: Problem set: 38 solved, 26 unsolved
Error getting values : (error "ParserException while parsing response: ((s1 0)
(s4 0)
(s6 0)
(s7 0)
(s8 0)
(s9 0)
(s11 0)
(s12 5)
(s13 0)
(s14 0)
(s16 0)
(s17 0)
(s18 0)
(s19 0)
(s20 0)
(s21 0)
(s22 0)
(s25 0)
(s26 0)
(s27 0)
(s28 0)
(s29 0)
(s30 0)
(s31 0)
(s32 0)
(s35 0)
(s36 0)
(s37 0)
(s38 0)
(s39 0)
(s40 0)
(s41 0)
(s42 0)
(s43 0)
(s44 0)
(s45 0)
(s46 0)
(s47 0)
(s48 0)
(s49 0)
(s50 0)
(s51 0)
(s52 0)
(s53 0)
(s54 0)
(s55 0)
(s56 0)
(s57 0)
(s58 0)
(s59 0)
(s60 0)
(s61 0)
(s62 0)
(s63 0)
(s64 0)
(s65 0)
(s66 0)
(s67 0)
(s68 0)
(s69 0)
(s70 0)
(s71 0)
(s72 0)
(s73 0)
(s74 0)
(s75 0)
(s76 0)
(s77 0)
(s78 0)
(s79 0)
(s80 0)
(s81 0)
(s82 0)
(s83 0)
(s84 0)
(s85 0)
(s86 0)
(s87 0)
(s88 0)
(s89 0)
(s90 0)
(s91 0)
(s92 0)
(s93 0)
(s94 0)
(s95 0)
(s96 0)
(s97 0)
(s98 0)
(s99 0)
(s100 0)
(s101 0)
(s102 0)
(s103 0)
(s104 0)
(s105 0)
(s106 0)
(s107 0)
(s108 0)
(s109 0)
(s110 0)
(s111 0)
(s112 0)
(s113 0)
(s114 0)
(s115 0)
(s116 0)
(s117 0)
(s118 0)
(s119 0)
(s120 0)
(s121 0)
(s122 0)
(s123 0)
(s124 0)
(s125 0)
(s126 0)
(s127 0)
(s128 0)
(s129 0)
(s130 0)
(s131 0)
(s132 0)
(s133 0)
(s134 0)
(s135 0)
(s136 0)
(s137 0)
(s138 0)
(s139 0)
(s140 0)
(s141 0)
(s142 0)
(s143 0)
(s144 0)
(s145 0)
(s146 0)
(s147 0)
(s148 0)
(s149 0)
(s150 0)
(s151 0)
(s152 0)
(s153 0)
(s154 0)
(s155 0)
(s156 0)
(s157 0)
(s158 0)
(s159 0)
(s160 0)
(s161 0)
(s162 0)
(s163 0)
(s164 0)
(s165 0)
(s166 0)
(s167 0)
(s168 0)
(s169 0)
(s170 0)
(s171 0)
(s172 0)
(s173 0)
(s174 0)
(s175 0)
(s176 0)
(s177 0)
(s178 0)
(s179 6)
(s180 0)
(s181 0)
(s182 0)
(s183 0)
(s184 0)
(s185 0)
(s186 0)
(s187 0)
(s188 0)
(s189 0)
(s190 0)
(s191 0)
(s192 0)
(s193 0)
(s194 0)
(s195 0)
(s196 0)
(s197 0)
(s198 0)
(s199 0)
(s200 0)
(s201 0)
(s202 0)
(s203 0)
(s204 0)
(s205 0)
(s206 0)
(s207 0)
(s208 0)
(s209 0)
(s210 0)
(s211 0)
(s212 0)
(s213 0)
(s214 0)
(s215 0)
(s216 0)
(s217 0)
(s218 0)
(s219 0)
(s220 0)
(s221 0)
(s222 0)
(s223 0)
(s224 0)
(s225 0)
(s226 0)
(s227 0)
(s228 0)
(s229 0)
(s230 0)
(s231 0)
(s232 0)
(s233 0)
(s234 0)
(s235 0)
(s236 0)
(s237 0)
(s238 0)
(s239 0)
(s240 0)
(s241 0)
(s242 0)
(s243 0)
(s244 0)
(s245 0)
(s246 0)
(s247 0)
(s248 0)
(s249 0)
(s250 0)
(s251 0)
(s252 0)
(s253 0)
(s254 0)
(s255 0)
(s256 0)
(s257 0)
(s258 0)
(s259 0)
(s260 0)
(s261 0)
(s262 0)
(s263 0)
(s264 0)
(s265 0)
(s266 0)
(s267 0)
(s268 0)
(s269 0)
(s270 0)
(s271 0)
(s272 0)
(s273 0)
(s274 0)
(s275 0)
(s277 0)
(s278 0)
(s279 0)
(s280 0)
(s281 0)
(s282 0)
(s283 0)
(s284 0)
(s285 0)
(s286 0)
(s287 0)
(s288 0)
(s289 0)
(s290 0)
(s291 0)
(s292 0)
(s293 0)
(s294 0)
(s295 0)
(s296 0)
(s297 0)
(s298 0)
(s299 0)
(s300 0)
(s301 0)
(s302 0)
(s303 0)
(s304 0)
(s305 0)
(s306 0)
(s307 0)
(s308 0)
(s309 0)
(s310 0)
(s311 0)
(s312 0)
(s313 0)
(s314 0)
(s315 0)
(s316 0)
(s317 0)
(s318 0)
(s319 0)
(s320 0)
(s321 0)
(s322 0)
(s323 0)
(s324 0)
(s325 0)
(s326 0)
(s327 0)
(s328 0)
(s329 0)
(s330 0)
(s331 0)
(s332 0)
(s333 0)
(s334 0)
(s335 0)
(s336 0)
(s337 0)
(s338 0)
(s339 0)
(s340 0)
(s344 0)
(s346 0)
(s347 0)
(s348 0)
(s350 0)
(s351 0)
(s352 0)
(s353 0)
(s354 0)
(s355 0)
(s356 0)
(s357 0)
(s358 0)
(s359 0)
(s360 0)
(s361 0)
(s362 0)
(s363 0)
(s364 0)
(s365 0)
(s366 0)
(s367 0)
(s368 0)
(s369 0)
(s370 0)
(s372 0)
(s373 0)
(s374 0)
(s375 0)
(s376 0)
(s377 0)
(s378 0)
(s379 0)
(s380 0)
(s381 0)
(s382 0)
(s383 0)
(s384 0)
(s385 0)
(s386 0)
(s387 0)
(s388 0)
(s389 0)
(s390 0)
(s391 0)
(s392 0)
(s393 0)
(s394 0)
(s395 0)
(s396 0)
(s397 0)
(s398 0)
(s399 0)
(s400 0)
(s401 0)
(s402 0)
(s403 0)
(s404 0)
(s405 0)
(s406 0)
(s407 0)
(s408 0)
(s409 0)
(s410 0)
(s411 0)
(s412 0)
(s413 0)
(s414 0)
(s415 0)
(s416 0)
(s417 0)
(s418 0)
(s419 0)
(s420 0)
(s421 0)
(s422 0)
(s423 0)
(s424 0)
(s426 0)
(s427 0)
(s428 0)
(s429 0)
(s430 0)
(s431 0)
(s432 0)
(s433 0)
(s434 0)
(s435 0)
(s436 0)
(s437 0)
(s438 0)
(s439 0)
(s440 0)
(s441 0)
(s442 0)
(s443 0)
(s444 0)
(s445 0)
(s446 0)
(s447 0)
(s448 0)
(s449 0)
(s450 0)
(s451 0)
(s452 0)
(s453 0)
(s454 0)
(s455 0)
(s456 0)
(s457 0)
(s458 0)
(s459 0)
(s460 0)
(s461 0)
(s462 0)
(s463 0)
(s464 0)
(s465 0)
(s466 0)
(s467 0)
(s468 0)
(s469 0)
(s470 0)
(s471 0)
(s472 0)
(s473 0)
(s474 0)
(s475 0)
(s476 0)
(s477 0)
(s478 0)
(s479 0)
(s480 0)
(s481 0)
(s482 0)
(s483 0)
(s484 0)
(s485 0)
(s486 0)
(s487 0)
(s488 0)
(s489 0)
(s490 0)
(s491 0)
(s492 0)
(s493 0)
(s494 0)
(s495 0)
(s496 0)
(s497 0)
(s498 0)
(s499 0)
(s500 0)
(s501 0)
(s502 0)
(s503 0)
(s504 0)
(s505 0)
(s506 0)
(s509 0)
(s510 0)
(s511 0)
(s512 0)
(s513 0)
(s514 0)
(s515 0)
(s516 0)
(s517 0)
(s518 0)
(s519 0)
(s520 0)
(s521 0)
(s522 0)
(s523 0)
(s524 0)
(s525 0)
(s526 0)
(s527 0)
(s528 0)
(s529 0)
(s530 0)
(s531 0)
(s532 0)
(s533 0)
(s534 0)
(s535 0)
(s536 0)
(s537 0)
(s538 0)
(s539 0)
(s540 0)
(s541 0)
(s542 0)
(s543 0)
(s544 0)
(s545 0)
(s546 0)
(s547 0)
(s548 0)
(s549 0)
(s550 0)
(s551 0)
(s552 0)
(s553 0)
(s554 0)
(s555 0)
(s556 0)
(s557 0)
(s558 0)
(s559 0)
(s560 0)
(s561 0)
(s562 0)
(s563 0)
(s564 0)
(s565 0)
(s566 0)
(s567 0)
(s568 0)
(s569 0)
(s570 0)
(s571 0)
(s572 0)
(s573 0)
(s574 0)
(s575 0)
(s576 0)
(s577 0)
(s578 0)
(s579 0)
(s580 0)
(s581 0)
(s582 0)
(s583 0)
(s584 0)
(s585 0)
(s586 0)
(s587 0)
(s588 0)
(s590 0)
(s591 0)
(s592 0)
(s593 0)
(s594 0)
(s595 0)
(s596 0)
(s597 0)
(s598 0)
(s599 0)
(s600 0)
(s602 0)
(s603 0)
(s604 0)
(s605 0)
(s606 0)
(s607 0)
(s608 0)
(s609 0)
(s610 0)
(s611 0)
(s612 0)
(s613 0)
(s614 0)
(s615 0)
(s616 0)
(s617 0)
(s621 0)
(s623 0)
(s624 0)
(s625 0)
(s629 0)
(s630 0)
(s631 0)
(s634 0)
(s635 0)
(s636 0)
(s637 0)
(s638 0)
(s639 0)
(s640 0)
(s641 0)
(s642 1)
(s643 0)
(s644 0)
(s645 0)
(s646 0)
(s647 0)
(s648 0)
(s649 0)
(s650 0)
(s651 0)
(s652 0)
(s653 0)
(s654 0)
(s655 0)
(s656 0)
(s657 0)
(s658 0)
(s659 0)
(s660 0)
(s661 0)
(s662 0)
(s663 0)
(s664 0)
(s665 0)
(s666 0)
(s667 0)
(s668 0)
(s669 0)
(s670 0)
(s671 0)
(s672 0)
(s673 0)
(s674 0)
(s675 0)
(s676 0)
(s677 0)
(s678 0)
(s679 0)
(s680 0)
(s681 0)
(s682 0)
(s683 0)
(s684 0)
(s685 0)
(s686 0)
(s687 0)
(s688 0)
(s689 0)
(s690 0)
(s691 0)
(s692 0)
(s693 0)
(s694 0)
(s695 0)
(s696 0)
(s697 0)
(s698 0)
(s699 0)
(s700 0)
(s701 0)
(s702 0)
(s703 0)
(s704 0)
(s705 0)
(s706 0)
(s707 0)
(s708 0)
(s709 0)
(s710 0)
(s711 0)
(s712 0)
(s713 0)
(s714 0)
(s715 0)
(s716 0)
(s717 0)
(s718 0)
(s719 0)
(s720 0)
(s721 0)
(s722 0)
(s723 0)
(s724 0)
(s725 0)
(s726 0)
(s727 0)
(s728 0)
(s729 0)
(s730 0)
(s731 0)
(s732 0)
(s733 0)
(s734 0)
(s735 0)
(s736 0)
(s737 0)
(s738 0)
(s739 0)
(s740 0)
(s741 0)
(s742 0)
(s743 0)
(s744 0)
(s745 0)
(s746 0)
(s747 0)
(s748 0)
(s749 0)
(s750 0)
(s751 0)
(s752 0)
(s753 0)
(s754 0)
(s755 0)
(s756 0)
(s757 0)
(s758 0)
(s759 0)
(s760 0)
(s761 0)
(s762 0)
(s763 0)
(s764 0)
(s767 0)
(s768 0)
(s769 0)
(s770 0)
(s771 0)
(s772 0)
(s773 0)
(s774 0)
(s775 0)
(s776 0)
(s777 0)
(s778 0)
(s779 0)
(s780 0)
(s781 0)
(s782 0)
(s783 0)
(s784 0)
(s785 0)
(s786 0)
(s787 0)
(s788 0)
(s789 0)
(s790 0)
(s791 0)
(s792 0)
(s793 0)
(s794 0)
(s795 0)
(s796 0)
(s797 0)
(s798 0)
(s799 0)
(s800 0)
(s801 0)
(s802 0)
(s803 0)
(s804 0)
(s805 0)
(s806 0)
(s807 0)
(s808 0)
(s809 0)
(s810 0)
(s811 0)
(s812 0)
(s813 0)
(s814 0)
(s815 0)
(s816 0)
(s817 0)
(s818 0)
(s819 0)
(s821 0)
(s822 0)
(s823 0)
(s824 0)
(s825 0)
(s826 0)
(s827 0)
(s828 0)
(s829 0)
(s830 0)
(s831 0)
(s832 0)
(s833 0)
(s834 0)
(s835 0)
(s836 0)
(s837 0)
(s838 0)
(s839 0)
(s840 0)
(s841 0)
(s842 0)
(s844 0)
(s845 0)
(s846 0)
(s848 0)
(s849 0)
(s850 0)
(s851 0)
(s852 0)
(s853 0)
(s854 0)
(s855 0)
(s856 0)
(s857 0)
(s858 0)
(s859 0)
(s860 0)
(s861 0)
(s865 0)
(s867 0)
(s868 0)
(s869 0)
(s873 0)
(s874 0)
(s875 0)
(s876 0)
(s877 0)
(s878 0)
(s879 0)
(s880 0)
(s881 0)
(s883 0)
(s884 0)
(s885 0)
(s886 0)
(s887 0)
(s888 0)
(s889 0)
(s890 0)
(s892 0)
(s893 0)
(s894 0)
(s895 0)
(s896 0)
(s897 0)
(s898 0)
(s899 0)
(s900 0)
(s902 0)
(s903 0)
(s904 0)
(s905 0)
(s906 0)
(s907 0)
(s908 0)
(s909 0)
(s910 0)
(s911 0)
(s912 0)
(s913 0)
(s914 0)
(s915 0)
(s916 0)
(s917 0)
(s918 0)
(s919 0)
(s920 0)
(s921 0)
(s922 0)
(s923 0)
(s924 0)
(s925 0)
(s926 0)
(s927 0)
(s928 0)
(s929 0)
(s930 0)
(s931 0)
(s932 0)
(s933 0)
(s934 0)
(s935 0)
(s936 0)
(s937 0)
(s938 0)
(s939 0)
(s940 0)
(s941 0)
(s942 0)
(s943 0)
(s944 0)
(s945 0)
(s946 0)
(s947 0)
(s948 0)
(s949 0)
(s950 0)
(s951 0)
(s952 0)
(s953 0)
(s954 0)
(s955 0)
(s956 0)
(s957 0)
(s958 0)
(s959 0)
(s960 0)
(s961 0)
(s962 0)
(s963 0)
(s964 0)
(s965 0)
(s966 0)
(s967 0)
(s968 0)
(s969 0)
(s970 0)
(s971 0)
(s972 0)
(s973 0)
(s974 0)
(s975 0)
(s976 0)
(s977 0)
(s978 0)
(s979 0)
(s980 0)
(s981 0)
(s982 0)
(s983 0)
(s984 0)
(s985 0)
(s986 0)
(s987 0)
(s989 0)
(s990 0)
(s991 0)
(s992 0)
(s993 0)
(s994 0)
(s995 0)
(s996 0)
(s997 0)
(s998 0)
(s999 0)
(s1000 0)
(s1001 0)
(s1002 0)
(s1003 0)
(s1004 0)
(s1005 0)
(s1006 0)
(s1007 0)
(s1008 0)
(s1009 0)
(s1010 0)
(s1011 0)
(s1012 0)
(s1013 0)
(s1014 0)
(s1015 0)
(s1016 0)
(s1018 0)
(s1019 0)
(s1020 0)
(s1021 0)
(s1022 0)
(s1023 0)
(s1024 0)
(s1025 0)
(s1026 0)
(s1027 0)
(s1028 0)
(s1029 0)
(s1030 0)
(s1031 0)
(s1032 0)
(s1033 0)
(s1034 0)
(s1035 0)
(s1036 0)
(s1037 0)
(s1038 0)
(s1039 0)
(s1040 0)
(s1041 0)
(s1042 0)
(s1043 0)
(s1044 0)
(s1045 0)
(s1046 0)
(s1047 0)
(s1048 0)
(s1049 0)
(s1050 0)
(s1052 0)
(s1053 0)
(s1054 0)
(s1055 0)
(s1056 0)
(s1057 0)
(s1058 0)
(s1059 0)
(s1060 0)
(s1061 0)
(s1062 0)
(s1063 0)
(s1064 0)
(s1065 0)
(s1069 0)
(s1071 0)
(s1072 0)
(s1073 0)
(s1077 0)
(s1078 0)
(s1079 0)
(s1081 0)
(s1083 0)
(s1084 0)
(s1085 0)
(s1086 0)
(s1087 0)
(s1088 0)
(s1089 0)
(s1090 0)
(s1092 0)
(s1093 0)
(s1094 0)
(s1095 0)
(s1096 0)
(s1097 0)
(s1098 0)
(s1099 0)
(s1100 0)
(s1101 0)
(s1102 0)
(s1103 0)
(s1104 0)
(s1105 0)
(s1106 0)
(s1108 0)
(s1109 0)
(s1110 0)
(s1111 0)
(s1112 0)
(s1113 0)
(s1114 0)
(s1115 0)
(s1116 0)
(s1117 0)
(s1118 0)
(s1119 0)
(s1120 0)
(s1121 0)
(s1122 0)
(s1123 0)
(s1124 0)
(s1125 0)
(s1126 0)
(s1127 0)
(s1128 0)
(s1129 0)
(s1130 0)
(s1131 0)
(s1132 0)
(s1133 0)
(s1134 0)
(s1135 0)
(s1136 0)
(s1137 0)
(s1138 0)
(s1139 0)
(s1140 0)
(s1141 0)
(s1142 0)
(s1143 0)
(s1144 0)
(s1146 0)
(s1147 0)
(s1148 0)
(s1149 0)
(s1150 0)
(s1151 0)
(s1152 0)
(s1153 0)
(s1154 0)
(s1155 0)
(s1156 0)
(s1157 0)
(s1158 0)
(s1159 0)
(s1160 0)
(s1161 0)
(s1162 0)
(s1163 0)
(s1164 0)
(s1165 0)
(s1166 0)
(s1167 0)
(s1168 0)
(s1169 0)
(s1170 0)
(s1171 0)
(s1172 0)
(s1173 0)
(s1174 0)
(s1175 0)
(s1177 0)
(s1178 0)
(s1179 0)
(s1180 0)
(s1181 0)
(s1182 0)
(s1183 0)
(s1184 0)
(s1185 0)
(s1186 0)
(s1187 0)
(s1188 0)
(s1189 0)
(s1190 0)
(s1191 0)
(s1192 0)
(s1193 0)
(s1194 0)
(s1195 0)
(s1196 0)
(s1197 0)
(s1198 0)
(s1199 0)
(s1200 0)
(s1201 0)
(s1202 0)
(s1203 0)
(s1204 0)
(s1205 0)
(s1206 0)
(s1207 0)
(s1208 0)
(s1209 0)
(s1210 0)
(s1211 0)
(s1212 0)
(s1213 0)
(s1214 2)
(s1215 0)
(s1216 0)
(s1217 0)
(s1218 0)
(s1219 0)
(s1220 0)
(s1221 0)
(s1222 0)
(s1223 0)
(s1224 0)
(s1225 0)
(s1226 0)
(s1227 0)
(s1228 0)
(s1229 0)
(s1230 0)
(s1231 0)
(s1232 0)
(s1233 0)
(s1234 0)
(s1238 0)
(s1240 0)
(s1241 0)
(s1242 0)
(s1244 0)
(s1245 0)
(s1246 0)
(s1248 0)
(s1249 0)
(s1250 0)
(s1251 0)
(s1252 0)
(s1253 0)
(s1254 0)
(s1255 0)
(s1256 0)
(s1257 0)
(s1258 0)
(s1259 0)
(s1260 0)
(s1261 0)
(s1262 0)
(s1263 0)
(s1264 0)
(s1265 0)
(s1266 0)
(s1267 0)
(s1268 0)
(s1269 0)
(s1270 0)
(s1271 0)
(s1272 0)
(s1273 0)
(s1274 0)
(s1275 0)
(s1276 0)
(s1277 0)
(s1278 0)
(s1279 0)
(s1280 0)
(s1281 0)
(s1282 0)
(s1283 0)
(s1284 0)
(s1285 0)
(s1286 0)
(s1287 0)
(s1288 0)
(s1289 0)
(s1290 0)
(s1291 0)
(s1292 0)
(s1293 0)
(s1294 0)
(s1295 0)
(s1296 0)
(s1297 0)
(s1298 0)
(s1299 0)
(s1300 0)
(s1301 0)
(s1302 0)
(s1303 0)
(s1304 0)
(s1305 0)
(s1306 0)
(s1308 0)
(s1309 0)
(s1310 0)
(s1311 0)
(s1312 0)
(s1313 0)
(s1314 0)
(s1315 0)
(s1316 0)
(s1317 0)
(s1318 0)
(s1319 0)
(s1320 0)
(s1321 0)
(s1323 0)
(s1324 0)
(s1325 0)
(s1326 0)
(s1327 0)
(s1328 0)
(s1329 0)
(s1330 0)
(s1331 0)
(s1332 0)
(s1333 0)
(s1334 0)
(s1335 0)
(s1336 0)
(s1337 0)
(s1338 0)
(s1339 0)
(s1340 0)
(s1341 0)
(s1342 0)
(s1343 0)
(s1344 0)
(s1345 0)
(s1346 0)
(s1347 0)
(s1348 0)
(s1349 0)
(s1350 0)
(s1351 0)
(s1352 0)
(s1353 0)
(s1354 0)
(s1355 0)
(s1356 0)
(s1357 0)
(s1358 4)
(s1359 0)
(s1360 0)
(s1361 0)
(s1363 0)
(s1364 0)
(s1365 0)
(s1366 0)
(s1367 0)
(s1368 0)
(s1372 0)
(s1374 0)
(s1375 0)
(s1376 0)
(s1381 0)
(s1382 0)
(s1384 0)
(s1386 0)
(s1387 0)
(s1388 0)
(s1389 0)
(s1390 0)
(s1391 0)
(s1392 0)
(s1393 0)
(s1394 0)
(s1395 0)
(s1396 0)
(s1397 0)
(s1399 0)
(s1400 0)
(s1401 0)
(s1402 0)
(s1403 0)
(s1404 0)
(s1405 0)
(s1406 0)
(s1407 0)
(s1408 0)
(s1409 0)
(s1410 0)
(s1411 0)
(s1412 0)
(s1413 0)
(s1414 0)
(s1415 0)
(s1416 0)
(s1417 0)
(s1418 0)
(s1419 0)
(s1420 0)
(s1421 0)
(s1422 0)
(s1423 0)
(s1424 0)
(s1425 0)
(s1426 0)
(s1427 0)
(s1428 0)
(s1429 0)
(s1430 0)
(s1431 0)
(s1432 0)
(s1433 0)
(s1434 0)
(s1435 0)
(s1437 0)
(s1438 0)
(s1439 0)
(s1440 0)
(s1441 0)
(s1442 0)
(s1443 0)
(s1444 0)
(s1445 0)
(s1446 0)
(s1447 0)
(s1448 0)
(s1451 0)
(s1452 0)
(s1453 0)
(s1454 0)
(s1455 0)
(s1456 0)
(s1457 0)
(s1458 0)
(s1459 0)
(s1461 0)
(s1462 0)
(s1463 0)
(s1464 0)
(s1465 0)
(s1466 0)
(s1467 0)
(s1468 0)
(s1469 0)
(s1470 0)
(s1471 0)
(s1473 0)
(s1475 0)
(s1476 0)
(s1477 0)
(s1478 0)
(s1479 0)
(s1480 0)
(s1481 5)
(s1482 0)
(s1483 0)
(s1484 0)
(s1485 0)
(s1487 0)
(s1488 0)
(s1489 0)
(s1490 0)
(s1491 0)
(s1492 0)
(s1493 0)
(s1494 0)
(s1495 0)
(s1496 0)
(s1497 0)
(s1498 0)
(s1499 0)
(s1500 0)
(s1501 0)
(s1502 0)
(s1503 0)
(s1507 0)
(s1509 0)
(s1510 0)
(s1511 0)
(s1514 0)
(s1515 0)
(s1516 0)
(s1517 0)
(s1518 0)
(s1519 0)
(s1520 0)
(s1521 0)
(s1522 0)
(s1523 2)
(s1524 0)
(s1525 0)
(s1526 0)
(s1527 0)
(s1528 0)
(s1529 0)
(s1530 0)
(s1531 0)
(s1532 0)
(s1533 0)
(s1534 0)
(s1535 0)
(s1536 0)
(s1537 0)
(s1538 0)
(s1539 0)
(s1540 0)
(s1541 0)
(s1542 0)
(s1543 0)
(s1544 0)
(s1545 0)
(s1546 0)
(s1547 0)
(s1548 0)
(s1549 0)
(s1550 0)
(s1551 0)
(s1553 0)
(s1554 0)
(s1555 0)
(s1556 0)
(s1557 0)
(s1558 0)
(s1559 0)
(s1560 0)
(s1561 0)
(s1562 0)
(s1565 0)
(s1566 0)
(s1567 0)
(s1568 0)
(s1569 0)
(s1570 0)
(s1571 0)
(s1573 0)
(s1574 0)
(s1575 0)
(s1576 0)
(s1577 0)
(s1578 0)
(s1579 0)
(s1580 0)
(s1581 0)
(s1582 0)
(s1583 0)
(s1584 0)
(s1585 0)
(s1586 0)
(s1587 0)
(s1588 0)
(s1589 0)
(s1590 0)
(s1592 0)
(s1593 0)
(s1594 0)
(s1595 0)
(s1596 0)
(s1597 0)
(s1598 0)
(s1599 0)
(s1600 0)
(s1601 0)
(s1605 0)
(s1607 0)
(s1608 0)
(s1609 0)
(s1611 6)
(s1612 0)
(s1613 0)
(s1615 0)
(s1616 0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3520/11486 variables, and 5 constraints, problems are : Problem set: 38 solved, 26 unsolved in 5021 ms.
Refiners :[Positive P Invariants (semi-flows): 4/47 constraints, Generalized P Invariants (flows): 1/111 constraints, State Equation: 0/3811 constraints, ReadFeed: 0/3194 constraints, PredecessorRefiner: 0/64 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10809ms problems are : Problem set: 38 solved, 26 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 50 out of 3811 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 3811 transition count 8218
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 3754 transition count 8218
Performed 86 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 86 Pre rules applied. Total rules applied 114 place count 3754 transition count 8132
Deduced a syphon composed of 86 places in 9 ms
Reduce places removed 86 places and 0 transitions.
Iterating global reduction 2 with 172 rules applied. Total rules applied 286 place count 3668 transition count 8132
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 327 place count 3627 transition count 8079
Iterating global reduction 2 with 41 rules applied. Total rules applied 368 place count 3627 transition count 8079
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 400 place count 3595 transition count 7935
Iterating global reduction 2 with 32 rules applied. Total rules applied 432 place count 3595 transition count 7935
Performed 46 Post agglomeration using F-continuation condition.Transition count delta: 46
Deduced a syphon composed of 46 places in 6 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 2 with 92 rules applied. Total rules applied 524 place count 3549 transition count 7889
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 567 place count 3506 transition count 7846
Iterating global reduction 2 with 43 rules applied. Total rules applied 610 place count 3506 transition count 7846
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 653 place count 3463 transition count 7631
Iterating global reduction 2 with 43 rules applied. Total rules applied 696 place count 3463 transition count 7631
Free-agglomeration rule (complex) applied 343 times.
Iterating global reduction 2 with 343 rules applied. Total rules applied 1039 place count 3463 transition count 9168
Reduce places removed 343 places and 0 transitions.
Iterating post reduction 2 with 343 rules applied. Total rules applied 1382 place count 3120 transition count 9168
Partial Free-agglomeration rule applied 86 times.
Drop transitions (Partial Free agglomeration) removed 86 transitions
Iterating global reduction 3 with 86 rules applied. Total rules applied 1468 place count 3120 transition count 9168
Applied a total of 1468 rules in 6554 ms. Remains 3120 /3811 variables (removed 691) and now considering 9168/8275 (removed -893) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6557 ms. Remains : 3120/3811 places, 9168/8275 transitions.
RANDOM walk for 40000 steps (1343 resets) in 1967 ms. (20 steps per ms) remains 23/26 properties
BEST_FIRST walk for 4004 steps (9 resets) in 22 ms. (174 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4002 steps (8 resets) in 23 ms. (166 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (10 resets) in 28 ms. (138 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 63 ms. (62 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (10 resets) in 32 ms. (121 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4003 steps (10 resets) in 26 ms. (148 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 27 ms. (143 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 25 ms. (154 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (10 resets) in 24 ms. (160 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4002 steps (8 resets) in 25 ms. (153 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 32 ms. (121 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 28 ms. (138 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4003 steps (9 resets) in 27 ms. (142 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 29 ms. (133 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4002 steps (8 resets) in 21 ms. (181 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (10 resets) in 32 ms. (121 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 33 ms. (117 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 31 ms. (125 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (9 resets) in 22 ms. (174 steps per ms) remains 23/23 properties
[2025-06-04 06:12:05] [INFO ] Flow matrix only has 8299 transitions (discarded 869 similar events)
// Phase 1: matrix 8299 rows 3120 cols
[2025-06-04 06:12:05] [INFO ] Computed 158 invariants in 265 ms
[2025-06-04 06:12:05] [INFO ] State equation strengthened by 4778 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/44 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 23 unsolved
At refinement iteration 1 (OVERLAPS) 2883/2927 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 23 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2927 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 23 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2927 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 23 unsolved
At refinement iteration 4 (OVERLAPS) 1/2928 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 23 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2928 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 23 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp88 is UNSAT
At refinement iteration 6 (OVERLAPS) 140/3068 variables, 99/106 constraints. Problems are: Problem set: 12 solved, 11 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:15] [INFO ] Deduced a trap composed of 7 places in 4514 ms of which 109 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:20] [INFO ] Deduced a trap composed of 185 places in 4763 ms of which 699 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:24] [INFO ] Deduced a trap composed of 190 places in 4578 ms of which 726 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:29] [INFO ] Deduced a trap composed of 190 places in 4957 ms of which 739 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:34] [INFO ] Deduced a trap composed of 190 places in 4562 ms of which 716 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:39] [INFO ] Deduced a trap composed of 184 places in 4556 ms of which 712 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:44] [INFO ] Deduced a trap composed of 184 places in 4844 ms of which 876 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:48] [INFO ] Deduced a trap composed of 184 places in 4625 ms of which 694 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:12:53] [INFO ] Deduced a trap composed of 187 places in 4303 ms of which 706 ms to minimize.
SMT process timed out in 47851ms, After SMT, problems are : Problem set: 12 solved, 11 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 26 out of 3120 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3120/3120 places, 9168/9168 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 3120 transition count 9165
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 3117 transition count 9165
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 7 place count 3116 transition count 9164
Iterating global reduction 2 with 1 rules applied. Total rules applied 8 place count 3116 transition count 9164
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 12 place count 3114 transition count 9162
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 13 place count 3113 transition count 9161
Iterating global reduction 2 with 1 rules applied. Total rules applied 14 place count 3113 transition count 9161
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 30 place count 3113 transition count 9189
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 46 place count 3097 transition count 9189
Partial Free-agglomeration rule applied 16 times.
Drop transitions (Partial Free agglomeration) removed 16 transitions
Iterating global reduction 3 with 16 rules applied. Total rules applied 62 place count 3097 transition count 9189
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 78 place count 3081 transition count 9173
Iterating global reduction 3 with 16 rules applied. Total rules applied 94 place count 3081 transition count 9173
Applied a total of 94 rules in 3722 ms. Remains 3081 /3120 variables (removed 39) and now considering 9173/9168 (removed -5) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3722 ms. Remains : 3081/3120 places, 9173/9168 transitions.
RANDOM walk for 40000 steps (1349 resets) in 2144 ms. (18 steps per ms) remains 10/11 properties
BEST_FIRST walk for 40004 steps (105 resets) in 173 ms. (229 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (104 resets) in 173 ms. (229 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (92 resets) in 157 ms. (253 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (105 resets) in 175 ms. (227 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (105 resets) in 235 ms. (169 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (107 resets) in 237 ms. (168 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (104 resets) in 234 ms. (170 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (105 resets) in 233 ms. (170 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (102 resets) in 284 ms. (140 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (104 resets) in 233 ms. (170 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 20018 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 10
Probabilistic random walk after 20018 steps, saw 8866 distinct states, run finished after 3014 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-04 06:13:01] [INFO ] Flow matrix only has 8289 transitions (discarded 884 similar events)
// Phase 1: matrix 8289 rows 3081 cols
[2025-06-04 06:13:01] [INFO ] Computed 158 invariants in 385 ms
[2025-06-04 06:13:01] [INFO ] State equation strengthened by 4822 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/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 2870/2889 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2889 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2889 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (OVERLAPS) 1/2890 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2890 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 139/3029 variables, 99/106 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3029 variables, 0/106 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 42/3071 variables, 42/148 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3071 variables, 0/148 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (OVERLAPS) 10/3081 variables, 10/158 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/3081 variables, 0/158 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 8289/11370 variables, 3081/3239 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/11370 variables, 4822/8061 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/11370 variables, 0/8061 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 15 (OVERLAPS) 0/11370 variables, 0/8061 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11370/11370 variables, and 8061 constraints, problems are : Problem set: 0 solved, 10 unsolved in 30328 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 110/110 constraints, State Equation: 3081/3081 constraints, ReadFeed: 4822/4822 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 2870/2889 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2889 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:13:37] [INFO ] Deduced a trap composed of 373 places in 4745 ms of which 1352 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:13:42] [INFO ] Deduced a trap composed of 346 places in 4492 ms of which 1264 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:13:47] [INFO ] Deduced a trap composed of 474 places in 4960 ms of which 1645 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:13:52] [INFO ] Deduced a trap composed of 436 places in 5053 ms of which 1544 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:13:57] [INFO ] Deduced a trap composed of 346 places in 4617 ms of which 1018 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:01] [INFO ] Deduced a trap composed of 372 places in 4355 ms of which 1076 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:06] [INFO ] Deduced a trap composed of 275 places in 4234 ms of which 813 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2889 variables, 7/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2889 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 1/2890 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2890 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (OVERLAPS) 139/3029 variables, 99/113 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:14] [INFO ] Deduced a trap composed of 40 places in 4151 ms of which 242 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:19] [INFO ] Deduced a trap composed of 110 places in 5051 ms of which 504 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:23] [INFO ] Deduced a trap composed of 5 places in 3610 ms of which 89 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:28] [INFO ] Deduced a trap composed of 208 places in 4542 ms of which 947 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:32] [INFO ] Deduced a trap composed of 229 places in 3979 ms of which 568 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:35] [INFO ] Deduced a trap composed of 230 places in 3676 ms of which 571 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:39] [INFO ] Deduced a trap composed of 231 places in 3749 ms of which 573 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:43] [INFO ] Deduced a trap composed of 229 places in 4175 ms of which 566 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:14:48] [INFO ] Deduced a trap composed of 229 places in 4314 ms of which 851 ms to minimize.
SMT process timed out in 107234ms, After SMT, problems are : Problem set: 0 solved, 10 unsolved
Fused 10 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 19 out of 3081 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3081/3081 places, 9173/9173 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 3081 transition count 9172
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 3080 transition count 9172
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 3079 transition count 9171
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 5 place count 3078 transition count 9170
Iterating global reduction 2 with 1 rules applied. Total rules applied 6 place count 3078 transition count 9170
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 7 place count 3078 transition count 9309
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 8 place count 3077 transition count 9309
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 11 place count 3077 transition count 9309
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 14 place count 3074 transition count 9306
Iterating global reduction 3 with 3 rules applied. Total rules applied 17 place count 3074 transition count 9306
Applied a total of 17 rules in 3631 ms. Remains 3074 /3081 variables (removed 7) and now considering 9306/9173 (removed -133) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3631 ms. Remains : 3074/3081 places, 9306/9173 transitions.
Successfully simplified 50 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 06:14:52] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2025-06-04 06:14:52] [INFO ] Flatten gal took : 269 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2023-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 06:14:52] [INFO ] Flatten gal took : 277 ms
[2025-06-04 06:14:53] [INFO ] Input system was already deterministic with 8275 transitions.
Support contains 43 out of 3811 places (down from 52) after GAL structural reductions.
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-2025-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 1187 stabilizing places and 3074 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3811/3811 places, 8275/8275 transitions.
Discarding 113 places :
Symmetric choice reduction at 0 with 113 rule applications. Total rules 113 place count 3698 transition count 8150
Iterating global reduction 0 with 113 rules applied. Total rules applied 226 place count 3698 transition count 8150
Discarding 105 places :
Symmetric choice reduction at 0 with 105 rule applications. Total rules 331 place count 3593 transition count 7865
Iterating global reduction 0 with 105 rules applied. Total rules applied 436 place count 3593 transition count 7865
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 491 place count 3538 transition count 7602
Iterating global reduction 0 with 55 rules applied. Total rules applied 546 place count 3538 transition count 7602
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 547 place count 3537 transition count 7597
Iterating global reduction 0 with 1 rules applied. Total rules applied 548 place count 3537 transition count 7597
Applied a total of 548 rules in 2582 ms. Remains 3537 /3811 variables (removed 274) and now considering 7597/8275 (removed 678) transitions.
[2025-06-04 06:14:55] [INFO ] Flow matrix only has 6997 transitions (discarded 600 similar events)
// Phase 1: matrix 6997 rows 3537 cols
[2025-06-04 06:14:55] [INFO ] Computed 158 invariants in 191 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:15:05] [INFO ] Implicit Places using invariants in 9487 ms returned [10, 12, 15, 28, 268, 497, 498, 610, 611, 612, 742, 743, 817, 841, 842, 843, 952, 953, 1011, 1034, 1035, 1036, 1039, 1127, 1192, 1265, 1315, 1316, 1317, 1378, 1379, 1398, 1429, 1430, 1475, 1476, 1514, 1515, 1576, 1577, 1578, 1579, 1609, 1613, 1634, 1635, 1636, 1654, 1659, 1684, 1685, 1699, 1724, 1729, 1739, 1764, 1778, 1779, 1780, 1825, 1826, 1827, 1855, 1877, 1878, 1909, 1910, 1911, 1940, 1978, 1979, 1980, 2018, 2019, 2111, 2159, 2160, 2222, 2223, 2254, 2289, 2290, 2291, 2368, 2621, 2734, 2840, 2841, 2842, 2934, 2977, 2978, 2979, 3110, 3111, 3112, 3269]
Discarding 97 places :
Implicit Place search using SMT only with invariants took 9494 ms to find 97 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3440/3811 places, 7597/8275 transitions.
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 84 place count 3356 transition count 7513
Iterating global reduction 0 with 84 rules applied. Total rules applied 168 place count 3356 transition count 7513
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 252 place count 3272 transition count 7429
Iterating global reduction 0 with 84 rules applied. Total rules applied 336 place count 3272 transition count 7429
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 420 place count 3188 transition count 7345
Iterating global reduction 0 with 84 rules applied. Total rules applied 504 place count 3188 transition count 7345
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 545 place count 3147 transition count 7140
Iterating global reduction 0 with 41 rules applied. Total rules applied 586 place count 3147 transition count 7140
Applied a total of 586 rules in 2474 ms. Remains 3147 /3440 variables (removed 293) and now considering 7140/7597 (removed 457) transitions.
[2025-06-04 06:15:07] [INFO ] Flow matrix only has 6540 transitions (discarded 600 similar events)
// Phase 1: matrix 6540 rows 3147 cols
[2025-06-04 06:15:07] [INFO ] Computed 61 invariants in 196 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:15:16] [INFO ] Implicit Places using invariants in 8325 ms returned []
[2025-06-04 06:15:16] [INFO ] Flow matrix only has 6540 transitions (discarded 600 similar events)
[2025-06-04 06:15:16] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:15:20] [INFO ] State equation strengthened by 2626 read => feed constraints.
[2025-06-04 06:15:51] [INFO ] Performed 135/3147 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:16:21] [INFO ] Performed 592/3147 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:16:51] [INFO ] Performed 1028/3147 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:17:21] [INFO ] Performed 1348/3147 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:17:21] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:17:21] [INFO ] Implicit Places using invariants and state equation in 125308 ms returned []
Implicit Place search using SMT with State Equation took 133637 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3147/3811 places, 7140/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 148189 ms. Remains : 3147/3811 places, 7140/8275 transitions.
[2025-06-04 06:17:21] [INFO ] Flatten gal took : 201 ms
[2025-06-04 06:17:21] [INFO ] Flatten gal took : 223 ms
[2025-06-04 06:17:22] [INFO ] Input system was already deterministic with 7140 transitions.
[2025-06-04 06:17:22] [INFO ] Flatten gal took : 308 ms
[2025-06-04 06:17:22] [INFO ] Flatten gal took : 258 ms
[2025-06-04 06:17:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality11574051589526582429.gal : 105 ms
[2025-06-04 06:17:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality4658980053651151122.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11574051589526582429.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4658980053651151122.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:17:53] [INFO ] Flatten gal took : 224 ms
[2025-06-04 06:17:53] [INFO ] Applying decomposition
[2025-06-04 06:17:53] [INFO ] Flatten gal took : 327 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/graph10006107662932999644.txt' '-o' '/tmp/graph10006107662932999644.bin' '-w' '/tmp/graph10006107662932999644.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10006107662932999644.bin' '-l' '-1' '-v' '-w' '/tmp/graph10006107662932999644.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:17:54] [INFO ] Decomposing Gal with order
[2025-06-04 06:17:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:17:56] [INFO ] Removed a total of 5714 redundant transitions.
[2025-06-04 06:17:56] [INFO ] Flatten gal took : 1165 ms
[2025-06-04 06:17:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 309 labels/synchronizations in 252 ms.
[2025-06-04 06:17:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality1726925504566146766.gal : 97 ms
[2025-06-04 06:17:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality488748764112187661.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/CTLCardinality1726925504566146766.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality488748764112187661.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 3697 transition count 8149
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 3697 transition count 8149
Discarding 106 places :
Symmetric choice reduction at 0 with 106 rule applications. Total rules 334 place count 3591 transition count 7859
Iterating global reduction 0 with 106 rules applied. Total rules applied 440 place count 3591 transition count 7859
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 495 place count 3536 transition count 7596
Iterating global reduction 0 with 55 rules applied. Total rules applied 550 place count 3536 transition count 7596
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 551 place count 3535 transition count 7591
Iterating global reduction 0 with 1 rules applied. Total rules applied 552 place count 3535 transition count 7591
Applied a total of 552 rules in 2558 ms. Remains 3535 /3811 variables (removed 276) and now considering 7591/8275 (removed 684) transitions.
[2025-06-04 06:18:30] [INFO ] Flow matrix only has 6991 transitions (discarded 600 similar events)
// Phase 1: matrix 6991 rows 3535 cols
[2025-06-04 06:18:30] [INFO ] Computed 158 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:18:39] [INFO ] Implicit Places using invariants in 8716 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 609, 739, 740, 814, 838, 839, 840, 949, 950, 1008, 1031, 1032, 1033, 1036, 1124, 1189, 1262, 1312, 1313, 1315, 1376, 1377, 1396, 1427, 1428, 1473, 1474, 1512, 1513, 1574, 1575, 1576, 1577, 1607, 1611, 1632, 1633, 1634, 1652, 1657, 1682, 1683, 1697, 1722, 1727, 1737, 1762, 1776, 1777, 1778, 1823, 1824, 1825, 1853, 1875, 1876, 1907, 1908, 1909, 1938, 1976, 1977, 1978, 2016, 2017, 2109, 2157, 2158, 2220, 2221, 2252, 2287, 2288, 2289, 2366, 2619, 2732, 2838, 2839, 2840, 2932, 2975, 2976, 2977, 3108, 3109, 3110, 3267]
Discarding 98 places :
Implicit Place search using SMT only with invariants took 8721 ms to find 98 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3437/3811 places, 7591/8275 transitions.
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 85 place count 3352 transition count 7506
Iterating global reduction 0 with 85 rules applied. Total rules applied 170 place count 3352 transition count 7506
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 255 place count 3267 transition count 7421
Iterating global reduction 0 with 85 rules applied. Total rules applied 340 place count 3267 transition count 7421
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 425 place count 3182 transition count 7336
Iterating global reduction 0 with 85 rules applied. Total rules applied 510 place count 3182 transition count 7336
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 552 place count 3140 transition count 7126
Iterating global reduction 0 with 42 rules applied. Total rules applied 594 place count 3140 transition count 7126
Applied a total of 594 rules in 2459 ms. Remains 3140 /3437 variables (removed 297) and now considering 7126/7591 (removed 465) transitions.
[2025-06-04 06:18:41] [INFO ] Flow matrix only has 6526 transitions (discarded 600 similar events)
// Phase 1: matrix 6526 rows 3140 cols
[2025-06-04 06:18:42] [INFO ] Computed 60 invariants in 165 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:18:51] [INFO ] Implicit Places using invariants in 9167 ms returned []
[2025-06-04 06:18:51] [INFO ] Flow matrix only has 6526 transitions (discarded 600 similar events)
[2025-06-04 06:18:51] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:18:55] [INFO ] State equation strengthened by 2618 read => feed constraints.
[2025-06-04 06:19:25] [INFO ] Performed 502/3140 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:19:55] [INFO ] Performed 889/3140 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:20:26] [INFO ] Performed 1250/3140 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:20:58] [INFO ] Performed 1526/3140 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-06-04 06:20:58] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-06-04 06:20:58] [INFO ] Implicit Places using invariants and state equation in 127336 ms returned []
Implicit Place search using SMT with State Equation took 136509 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3140/3811 places, 7126/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 150248 ms. Remains : 3140/3811 places, 7126/8275 transitions.
[2025-06-04 06:20:58] [INFO ] Flatten gal took : 376 ms
[2025-06-04 06:20:59] [INFO ] Flatten gal took : 297 ms
[2025-06-04 06:20:59] [INFO ] Input system was already deterministic with 7126 transitions.
[2025-06-04 06:20:59] [INFO ] Flatten gal took : 223 ms
[2025-06-04 06:21:00] [INFO ] Flatten gal took : 218 ms
[2025-06-04 06:21:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality10325696364189117555.gal : 37 ms
[2025-06-04 06:21:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality1764753862257423203.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/CTLCardinality10325696364189117555.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1764753862257423203.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:21:30] [INFO ] Flatten gal took : 205 ms
[2025-06-04 06:21:30] [INFO ] Applying decomposition
[2025-06-04 06:21:30] [INFO ] Flatten gal took : 212 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/graph7366133009536317587.txt' '-o' '/tmp/graph7366133009536317587.bin' '-w' '/tmp/graph7366133009536317587.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7366133009536317587.bin' '-l' '-1' '-v' '-w' '/tmp/graph7366133009536317587.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:21:31] [INFO ] Decomposing Gal with order
[2025-06-04 06:21:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:21:32] [INFO ] Removed a total of 5543 redundant transitions.
[2025-06-04 06:21:32] [INFO ] Flatten gal took : 1115 ms
[2025-06-04 06:21:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 340 labels/synchronizations in 226 ms.
[2025-06-04 06:21:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality7131687501778817790.gal : 58 ms
[2025-06-04 06:21:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality17239354325908790343.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/CTLCardinality7131687501778817790.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17239354325908790343.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 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 64 transitions
Trivial Post-agglo rules discarded 64 transitions
Performed 64 trivial Post agglomeration. Transition count delta: 64
Iterating post reduction 0 with 64 rules applied. Total rules applied 64 place count 3811 transition count 8211
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 1 with 64 rules applied. Total rules applied 128 place count 3747 transition count 8211
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 128 place count 3747 transition count 8122
Deduced a syphon composed of 89 places in 6 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 306 place count 3658 transition count 8122
Discarding 65 places :
Symmetric choice reduction at 2 with 65 rule applications. Total rules 371 place count 3593 transition count 8045
Iterating global reduction 2 with 65 rules applied. Total rules applied 436 place count 3593 transition count 8045
Discarding 56 places :
Symmetric choice reduction at 2 with 56 rule applications. Total rules 492 place count 3537 transition count 7789
Iterating global reduction 2 with 56 rules applied. Total rules applied 548 place count 3537 transition count 7789
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 549 place count 3536 transition count 7784
Iterating global reduction 2 with 1 rules applied. Total rules applied 550 place count 3536 transition count 7784
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 6 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 640 place count 3491 transition count 7739
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 688 place count 3443 transition count 7691
Iterating global reduction 2 with 48 rules applied. Total rules applied 736 place count 3443 transition count 7691
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 784 place count 3395 transition count 7451
Iterating global reduction 2 with 48 rules applied. Total rules applied 832 place count 3395 transition count 7451
Applied a total of 832 rules in 4931 ms. Remains 3395 /3811 variables (removed 416) and now considering 7451/8275 (removed 824) transitions.
[2025-06-04 06:22:09] [INFO ] Flow matrix only has 6851 transitions (discarded 600 similar events)
// Phase 1: matrix 6851 rows 3395 cols
[2025-06-04 06:22:09] [INFO ] Computed 158 invariants in 167 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:22:26] [INFO ] Implicit Places using invariants in 16778 ms returned [9, 10, 11, 22, 257, 319, 472, 473, 579, 580, 581, 711, 712, 786, 803, 804, 805, 914, 915, 973, 990, 991, 992, 995, 1083, 1143, 1216, 1263, 1264, 1265, 1266, 1324, 1325, 1344, 1368, 1369, 1414, 1415, 1448, 1449, 1507, 1508, 1509, 1510, 1540, 1544, 1560, 1561, 1562, 1588, 1608, 1609, 1623, 1644, 1649, 1659, 1681, 1695, 1696, 1697, 1737, 1738, 1739, 1763, 1785, 1786, 1813, 1814, 1815, 1844, 1877, 1878, 1879, 1917, 1918, 2005, 2051, 2052, 2114, 2115, 2146, 2176, 2177, 2178, 2255, 2502, 2615, 2718, 2719, 2720, 2812, 2855, 2856, 2857, 2982, 2983, 2984, 3141]
Discarding 98 places :
Implicit Place search using SMT only with invariants took 16784 ms to find 98 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3297/3811 places, 7451/8275 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 3222 transition count 7376
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 3222 transition count 7376
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 225 place count 3147 transition count 7301
Iterating global reduction 0 with 75 rules applied. Total rules applied 300 place count 3147 transition count 7301
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 312 place count 3135 transition count 7241
Iterating global reduction 0 with 12 rules applied. Total rules applied 324 place count 3135 transition count 7241
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 344 place count 3125 transition count 7231
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 354 place count 3115 transition count 7221
Iterating global reduction 0 with 10 rules applied. Total rules applied 364 place count 3115 transition count 7221
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 393 place count 3086 transition count 7076
Iterating global reduction 0 with 29 rules applied. Total rules applied 422 place count 3086 transition count 7076
Applied a total of 422 rules in 4262 ms. Remains 3086 /3297 variables (removed 211) and now considering 7076/7451 (removed 375) transitions.
[2025-06-04 06:22:30] [INFO ] Flow matrix only has 6476 transitions (discarded 600 similar events)
// Phase 1: matrix 6476 rows 3086 cols
[2025-06-04 06:22:30] [INFO ] Computed 60 invariants in 198 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:22:37] [INFO ] Implicit Places using invariants in 7689 ms returned []
[2025-06-04 06:22:37] [INFO ] Flow matrix only has 6476 transitions (discarded 600 similar events)
[2025-06-04 06:22:38] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:22:42] [INFO ] State equation strengthened by 2622 read => feed constraints.
[2025-06-04 06:23:13] [INFO ] Performed 516/3086 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:23:48] [INFO ] Performed 1084/3086 implicitness test of which 0 returned IMPLICIT in 65 seconds.
[2025-06-04 06:24:19] [INFO ] Performed 1453/3086 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2025-06-04 06:24:49] [INFO ] Performed 1658/3086 implicitness test of which 0 returned IMPLICIT in 126 seconds.
[2025-06-04 06:24:49] [INFO ] Timeout of Implicit test with SMT after 126 seconds.
[2025-06-04 06:24:49] [INFO ] Implicit Places using invariants and state equation in 131837 ms returned []
Implicit Place search using SMT with State Equation took 139530 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3086/3811 places, 7076/8275 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 165507 ms. Remains : 3086/3811 places, 7076/8275 transitions.
[2025-06-04 06:24:50] [INFO ] Flatten gal took : 178 ms
[2025-06-04 06:24:50] [INFO ] Flatten gal took : 253 ms
[2025-06-04 06:24:50] [INFO ] Input system was already deterministic with 7076 transitions.
[2025-06-04 06:24:50] [INFO ] Flatten gal took : 170 ms
[2025-06-04 06:24:51] [INFO ] Flatten gal took : 178 ms
[2025-06-04 06:24:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality10922934344675482106.gal : 32 ms
[2025-06-04 06:24:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality1407637486014486642.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/CTLCardinality10922934344675482106.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1407637486014486642.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:25:21] [INFO ] Flatten gal took : 169 ms
[2025-06-04 06:25:21] [INFO ] Applying decomposition
[2025-06-04 06:25:21] [INFO ] Flatten gal took : 176 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/graph7658841481674274463.txt' '-o' '/tmp/graph7658841481674274463.bin' '-w' '/tmp/graph7658841481674274463.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7658841481674274463.bin' '-l' '-1' '-v' '-w' '/tmp/graph7658841481674274463.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:25:21] [INFO ] Decomposing Gal with order
[2025-06-04 06:25:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:25:23] [INFO ] Removed a total of 6143 redundant transitions.
[2025-06-04 06:25:23] [INFO ] Flatten gal took : 1547 ms
[2025-06-04 06:25:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 814 labels/synchronizations in 213 ms.
[2025-06-04 06:25:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality14249980327577853521.gal : 40 ms
[2025-06-04 06:25:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality11768655889012510441.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/CTLCardinality14249980327577853521.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11768655889012510441.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 65 transitions
Trivial Post-agglo rules discarded 65 transitions
Performed 65 trivial Post agglomeration. Transition count delta: 65
Iterating post reduction 0 with 65 rules applied. Total rules applied 65 place count 3811 transition count 8210
Reduce places removed 65 places and 0 transitions.
Iterating post reduction 1 with 65 rules applied. Total rules applied 130 place count 3746 transition count 8210
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 130 place count 3746 transition count 8121
Deduced a syphon composed of 89 places in 5 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 308 place count 3657 transition count 8121
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 371 place count 3594 transition count 8046
Iterating global reduction 2 with 63 rules applied. Total rules applied 434 place count 3594 transition count 8046
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 488 place count 3540 transition count 7800
Iterating global reduction 2 with 54 rules applied. Total rules applied 542 place count 3540 transition count 7800
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 543 place count 3539 transition count 7795
Iterating global reduction 2 with 1 rules applied. Total rules applied 544 place count 3539 transition count 7795
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 634 place count 3494 transition count 7750
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 683 place count 3445 transition count 7701
Iterating global reduction 2 with 49 rules applied. Total rules applied 732 place count 3445 transition count 7701
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 781 place count 3396 transition count 7456
Iterating global reduction 2 with 49 rules applied. Total rules applied 830 place count 3396 transition count 7456
Applied a total of 830 rules in 4629 ms. Remains 3396 /3811 variables (removed 415) and now considering 7456/8275 (removed 819) transitions.
[2025-06-04 06:25:59] [INFO ] Flow matrix only has 6856 transitions (discarded 600 similar events)
// Phase 1: matrix 6856 rows 3396 cols
[2025-06-04 06:25:59] [INFO ] Computed 158 invariants in 175 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:26:15] [INFO ] Implicit Places using invariants in 16323 ms returned [9, 10, 11, 22, 257, 319, 472, 473, 580, 581, 713, 714, 788, 805, 806, 807, 916, 917, 975, 992, 993, 994, 997, 1085, 1145, 1218, 1265, 1266, 1267, 1268, 1326, 1327, 1346, 1370, 1371, 1416, 1417, 1450, 1451, 1509, 1510, 1511, 1512, 1542, 1546, 1562, 1563, 1564, 1582, 1587, 1607, 1608, 1622, 1643, 1648, 1658, 1680, 1694, 1695, 1696, 1736, 1737, 1738, 1762, 1784, 1785, 1813, 1814, 1815, 1844, 1877, 1878, 1879, 1917, 1918, 2005, 2051, 2052, 2114, 2115, 2146, 2176, 2177, 2178, 2255, 2502, 2615, 2718, 2719, 2720, 2812, 2855, 2856, 2857, 2981, 2983, 3142]
Discarding 97 places :
Implicit Place search using SMT only with invariants took 16330 ms to find 97 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3299/3811 places, 7456/8275 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 3225 transition count 7382
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 3225 transition count 7382
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 222 place count 3151 transition count 7308
Iterating global reduction 0 with 74 rules applied. Total rules applied 296 place count 3151 transition count 7308
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 307 place count 3140 transition count 7253
Iterating global reduction 0 with 11 rules applied. Total rules applied 318 place count 3140 transition count 7253
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 338 place count 3130 transition count 7243
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 348 place count 3120 transition count 7233
Iterating global reduction 0 with 10 rules applied. Total rules applied 358 place count 3120 transition count 7233
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 387 place count 3091 transition count 7088
Iterating global reduction 0 with 29 rules applied. Total rules applied 416 place count 3091 transition count 7088
Applied a total of 416 rules in 4174 ms. Remains 3091 /3299 variables (removed 208) and now considering 7088/7456 (removed 368) transitions.
[2025-06-04 06:26:19] [INFO ] Flow matrix only has 6488 transitions (discarded 600 similar events)
// Phase 1: matrix 6488 rows 3091 cols
[2025-06-04 06:26:20] [INFO ] Computed 61 invariants in 185 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:26:28] [INFO ] Implicit Places using invariants in 8495 ms returned []
[2025-06-04 06:26:28] [INFO ] Flow matrix only has 6488 transitions (discarded 600 similar events)
[2025-06-04 06:26:28] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:26:33] [INFO ] State equation strengthened by 2630 read => feed constraints.
[2025-06-04 06:27:03] [INFO ] Performed 454/3091 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:27:33] [INFO ] Performed 894/3091 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:28:03] [INFO ] Performed 1244/3091 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:28:33] [INFO ] Performed 1462/3091 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:28:33] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:28:33] [INFO ] Implicit Places using invariants and state equation in 125389 ms returned []
Implicit Place search using SMT with State Equation took 133890 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3091/3811 places, 7088/8275 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 159024 ms. Remains : 3091/3811 places, 7088/8275 transitions.
[2025-06-04 06:28:34] [INFO ] Flatten gal took : 205 ms
[2025-06-04 06:28:34] [INFO ] Flatten gal took : 284 ms
[2025-06-04 06:28:34] [INFO ] Input system was already deterministic with 7088 transitions.
[2025-06-04 06:28:34] [INFO ] Flatten gal took : 181 ms
[2025-06-04 06:28:35] [INFO ] Flatten gal took : 191 ms
[2025-06-04 06:28:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality11196105189734283586.gal : 40 ms
[2025-06-04 06:28:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality924638191680278807.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/CTLCardinality11196105189734283586.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality924638191680278807.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:29:05] [INFO ] Flatten gal took : 178 ms
[2025-06-04 06:29:05] [INFO ] Applying decomposition
[2025-06-04 06:29:05] [INFO ] Flatten gal took : 186 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/graph2875349271594063436.txt' '-o' '/tmp/graph2875349271594063436.bin' '-w' '/tmp/graph2875349271594063436.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2875349271594063436.bin' '-l' '-1' '-v' '-w' '/tmp/graph2875349271594063436.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:29:06] [INFO ] Decomposing Gal with order
[2025-06-04 06:29:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:29:08] [INFO ] Removed a total of 6322 redundant transitions.
[2025-06-04 06:29:08] [INFO ] Flatten gal took : 1567 ms
[2025-06-04 06:29:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 778 labels/synchronizations in 189 ms.
[2025-06-04 06:29:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality15876888348168817438.gal : 40 ms
[2025-06-04 06:29:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality3875888103048956005.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/CTLCardinality15876888348168817438.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3875888103048956005.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 109 places :
Symmetric choice reduction at 0 with 109 rule applications. Total rules 109 place count 3702 transition count 8154
Iterating global reduction 0 with 109 rules applied. Total rules applied 218 place count 3702 transition count 8154
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 319 place count 3601 transition count 7885
Iterating global reduction 0 with 101 rules applied. Total rules applied 420 place count 3601 transition count 7885
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 475 place count 3546 transition count 7622
Iterating global reduction 0 with 55 rules applied. Total rules applied 530 place count 3546 transition count 7622
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 531 place count 3545 transition count 7617
Iterating global reduction 0 with 1 rules applied. Total rules applied 532 place count 3545 transition count 7617
Applied a total of 532 rules in 3056 ms. Remains 3545 /3811 variables (removed 266) and now considering 7617/8275 (removed 658) transitions.
[2025-06-04 06:29:42] [INFO ] Flow matrix only has 7017 transitions (discarded 600 similar events)
// Phase 1: matrix 7017 rows 3545 cols
[2025-06-04 06:29:42] [INFO ] Computed 158 invariants in 229 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:29:52] [INFO ] Implicit Places using invariants in 10536 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 742, 743, 817, 841, 842, 843, 952, 953, 1011, 1034, 1035, 1036, 1039, 1127, 1192, 1265, 1315, 1316, 1317, 1318, 1376, 1377, 1396, 1427, 1428, 1473, 1474, 1512, 1576, 1577, 1578, 1579, 1609, 1613, 1634, 1636, 1656, 1661, 1686, 1687, 1701, 1726, 1731, 1741, 1766, 1780, 1781, 1782, 1827, 1828, 1829, 1857, 1879, 1880, 1911, 1912, 1913, 1942, 1980, 1981, 1982, 2020, 2021, 2114, 2162, 2163, 2225, 2226, 2257, 2293, 2294, 2373, 2741, 2847, 2848, 2849, 2941, 2984, 2985, 2986, 3117, 3118, 3119, 3276]
Discarding 94 places :
Implicit Place search using SMT only with invariants took 10542 ms to find 94 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3451/3811 places, 7617/8275 transitions.
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 81 place count 3370 transition count 7536
Iterating global reduction 0 with 81 rules applied. Total rules applied 162 place count 3370 transition count 7536
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 243 place count 3289 transition count 7455
Iterating global reduction 0 with 81 rules applied. Total rules applied 324 place count 3289 transition count 7455
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 405 place count 3208 transition count 7374
Iterating global reduction 0 with 81 rules applied. Total rules applied 486 place count 3208 transition count 7374
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 523 place count 3171 transition count 7189
Iterating global reduction 0 with 37 rules applied. Total rules applied 560 place count 3171 transition count 7189
Applied a total of 560 rules in 2612 ms. Remains 3171 /3451 variables (removed 280) and now considering 7189/7617 (removed 428) transitions.
[2025-06-04 06:29:55] [INFO ] Flow matrix only has 6589 transitions (discarded 600 similar events)
// Phase 1: matrix 6589 rows 3171 cols
[2025-06-04 06:29:55] [INFO ] Computed 64 invariants in 205 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:30:05] [INFO ] Implicit Places using invariants in 10487 ms returned []
[2025-06-04 06:30:05] [INFO ] Flow matrix only has 6589 transitions (discarded 600 similar events)
[2025-06-04 06:30:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:30:11] [INFO ] State equation strengthened by 2654 read => feed constraints.
[2025-06-04 06:30:41] [INFO ] Performed 336/3171 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:31:11] [INFO ] Performed 777/3171 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:31:41] [INFO ] Performed 1000/3171 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:32:11] [INFO ] Performed 1212/3171 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:32:11] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:32:11] [INFO ] Implicit Places using invariants and state equation in 126179 ms returned []
Implicit Place search using SMT with State Equation took 136668 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3171/3811 places, 7189/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 152879 ms. Remains : 3171/3811 places, 7189/8275 transitions.
[2025-06-04 06:32:12] [INFO ] Flatten gal took : 307 ms
[2025-06-04 06:32:12] [INFO ] Flatten gal took : 336 ms
[2025-06-04 06:32:12] [INFO ] Input system was already deterministic with 7189 transitions.
[2025-06-04 06:32:13] [INFO ] Flatten gal took : 218 ms
[2025-06-04 06:32:13] [INFO ] Flatten gal took : 221 ms
[2025-06-04 06:32:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6364611322356770957.gal : 36 ms
[2025-06-04 06:32:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality8646436951339403100.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/CTLCardinality6364611322356770957.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8646436951339403100.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:32:43] [INFO ] Flatten gal took : 254 ms
[2025-06-04 06:32:43] [INFO ] Applying decomposition
[2025-06-04 06:32:44] [INFO ] Flatten gal took : 354 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/graph14006022673334610639.txt' '-o' '/tmp/graph14006022673334610639.bin' '-w' '/tmp/graph14006022673334610639.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14006022673334610639.bin' '-l' '-1' '-v' '-w' '/tmp/graph14006022673334610639.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:32:44] [INFO ] Decomposing Gal with order
[2025-06-04 06:32:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:32:45] [INFO ] Removed a total of 6033 redundant transitions.
[2025-06-04 06:32:45] [INFO ] Flatten gal took : 707 ms
[2025-06-04 06:32:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 278 labels/synchronizations in 87 ms.
[2025-06-04 06:32:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality4821015941050639186.gal : 39 ms
[2025-06-04 06:32:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality2506117817614234635.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/CTLCardinality4821015941050639186.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2506117817614234635.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 115 places :
Symmetric choice reduction at 0 with 115 rule applications. Total rules 115 place count 3696 transition count 8148
Iterating global reduction 0 with 115 rules applied. Total rules applied 230 place count 3696 transition count 8148
Discarding 107 places :
Symmetric choice reduction at 0 with 107 rule applications. Total rules 337 place count 3589 transition count 7857
Iterating global reduction 0 with 107 rules applied. Total rules applied 444 place count 3589 transition count 7857
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 500 place count 3533 transition count 7589
Iterating global reduction 0 with 56 rules applied. Total rules applied 556 place count 3533 transition count 7589
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 557 place count 3532 transition count 7584
Iterating global reduction 0 with 1 rules applied. Total rules applied 558 place count 3532 transition count 7584
Applied a total of 558 rules in 2785 ms. Remains 3532 /3811 variables (removed 279) and now considering 7584/8275 (removed 691) transitions.
[2025-06-04 06:33:19] [INFO ] Flow matrix only has 6984 transitions (discarded 600 similar events)
// Phase 1: matrix 6984 rows 3532 cols
[2025-06-04 06:33:19] [INFO ] Computed 158 invariants in 191 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:33:30] [INFO ] Implicit Places using invariants in 10944 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 609, 739, 740, 814, 838, 839, 840, 949, 950, 1008, 1031, 1032, 1033, 1036, 1124, 1189, 1262, 1312, 1313, 1314, 1315, 1373, 1374, 1393, 1424, 1425, 1470, 1471, 1509, 1510, 1571, 1572, 1573, 1574, 1604, 1608, 1629, 1630, 1631, 1649, 1654, 1679, 1680, 1694, 1719, 1724, 1734, 1759, 1773, 1774, 1775, 1820, 1821, 1822, 1850, 1872, 1873, 1904, 1905, 1906, 1935, 1973, 1974, 1975, 2013, 2014, 2106, 2154, 2155, 2217, 2218, 2249, 2284, 2285, 2286, 2363, 2616, 2729, 2835, 2836, 2837, 2929, 2972, 2973, 2974, 3105, 3106, 3107, 3264]
Discarding 99 places :
Implicit Place search using SMT only with invariants took 10955 ms to find 99 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3433/3811 places, 7584/8275 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3347 transition count 7498
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3347 transition count 7498
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 258 place count 3261 transition count 7412
Iterating global reduction 0 with 86 rules applied. Total rules applied 344 place count 3261 transition count 7412
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 430 place count 3175 transition count 7326
Iterating global reduction 0 with 86 rules applied. Total rules applied 516 place count 3175 transition count 7326
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 559 place count 3132 transition count 7111
Iterating global reduction 0 with 43 rules applied. Total rules applied 602 place count 3132 transition count 7111
Applied a total of 602 rules in 2739 ms. Remains 3132 /3433 variables (removed 301) and now considering 7111/7584 (removed 473) transitions.
[2025-06-04 06:33:33] [INFO ] Flow matrix only has 6511 transitions (discarded 600 similar events)
// Phase 1: matrix 6511 rows 3132 cols
[2025-06-04 06:33:33] [INFO ] Computed 59 invariants in 190 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:33:42] [INFO ] Implicit Places using invariants in 9124 ms returned []
[2025-06-04 06:33:42] [INFO ] Flow matrix only has 6511 transitions (discarded 600 similar events)
[2025-06-04 06:33:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:33:47] [INFO ] State equation strengthened by 2610 read => feed constraints.
[2025-06-04 06:34:18] [INFO ] Performed 480/3132 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:34:48] [INFO ] Performed 905/3132 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:35:18] [INFO ] Performed 1226/3132 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:35:51] [INFO ] Performed 1484/3132 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-06-04 06:35:51] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-06-04 06:35:51] [INFO ] Implicit Places using invariants and state equation in 128714 ms returned []
Implicit Place search using SMT with State Equation took 137845 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3132/3811 places, 7111/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 154324 ms. Remains : 3132/3811 places, 7111/8275 transitions.
[2025-06-04 06:35:51] [INFO ] Flatten gal took : 192 ms
[2025-06-04 06:35:51] [INFO ] Flatten gal took : 219 ms
[2025-06-04 06:35:51] [INFO ] Input system was already deterministic with 7111 transitions.
[2025-06-04 06:35:52] [INFO ] Flatten gal took : 221 ms
[2025-06-04 06:35:52] [INFO ] Flatten gal took : 219 ms
[2025-06-04 06:35:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality1735234686729324618.gal : 31 ms
[2025-06-04 06:35:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality15366126357766443787.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/CTLCardinality1735234686729324618.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15366126357766443787.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:36:22] [INFO ] Flatten gal took : 210 ms
[2025-06-04 06:36:22] [INFO ] Applying decomposition
[2025-06-04 06:36:22] [INFO ] Flatten gal took : 314 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/graph16672885974085243601.txt' '-o' '/tmp/graph16672885974085243601.bin' '-w' '/tmp/graph16672885974085243601.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16672885974085243601.bin' '-l' '-1' '-v' '-w' '/tmp/graph16672885974085243601.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:36:23] [INFO ] Decomposing Gal with order
[2025-06-04 06:36:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:36:24] [INFO ] Removed a total of 5694 redundant transitions.
[2025-06-04 06:36:24] [INFO ] Flatten gal took : 667 ms
[2025-06-04 06:36:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 2888 labels/synchronizations in 301 ms.
[2025-06-04 06:36:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality10301268684625197501.gal : 67 ms
[2025-06-04 06:36:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality2200296820851536231.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/CTLCardinality10301268684625197501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2200296820851536231.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 64 transitions
Trivial Post-agglo rules discarded 64 transitions
Performed 64 trivial Post agglomeration. Transition count delta: 64
Iterating post reduction 0 with 64 rules applied. Total rules applied 64 place count 3811 transition count 8211
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 1 with 64 rules applied. Total rules applied 128 place count 3747 transition count 8211
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 128 place count 3747 transition count 8122
Deduced a syphon composed of 89 places in 6 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 306 place count 3658 transition count 8122
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 370 place count 3594 transition count 8046
Iterating global reduction 2 with 64 rules applied. Total rules applied 434 place count 3594 transition count 8046
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 488 place count 3540 transition count 7800
Iterating global reduction 2 with 54 rules applied. Total rules applied 542 place count 3540 transition count 7800
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 543 place count 3539 transition count 7795
Iterating global reduction 2 with 1 rules applied. Total rules applied 544 place count 3539 transition count 7795
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 8 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 634 place count 3494 transition count 7750
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 682 place count 3446 transition count 7702
Iterating global reduction 2 with 48 rules applied. Total rules applied 730 place count 3446 transition count 7702
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 778 place count 3398 transition count 7462
Iterating global reduction 2 with 48 rules applied. Total rules applied 826 place count 3398 transition count 7462
Applied a total of 826 rules in 4756 ms. Remains 3398 /3811 variables (removed 413) and now considering 7462/8275 (removed 813) transitions.
[2025-06-04 06:36:59] [INFO ] Flow matrix only has 6862 transitions (discarded 600 similar events)
// Phase 1: matrix 6862 rows 3398 cols
[2025-06-04 06:37:00] [INFO ] Computed 158 invariants in 169 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:37:15] [INFO ] Implicit Places using invariants in 15759 ms returned [9, 10, 11, 22, 257, 319, 472, 473, 579, 580, 581, 711, 712, 786, 803, 804, 805, 914, 915, 973, 990, 991, 992, 995, 1083, 1143, 1216, 1263, 1265, 1266, 1327, 1328, 1347, 1371, 1372, 1417, 1418, 1451, 1452, 1510, 1511, 1512, 1513, 1543, 1547, 1563, 1564, 1565, 1583, 1588, 1608, 1609, 1623, 1644, 1649, 1659, 1681, 1695, 1696, 1697, 1737, 1738, 1765, 1787, 1788, 1815, 1816, 1817, 1846, 1879, 1880, 1881, 1919, 1920, 2007, 2053, 2054, 2116, 2117, 2178, 2179, 2180, 2257, 2504, 2617, 2720, 2721, 2722, 2814, 2857, 2858, 2859, 2983, 2984, 2985]
Discarding 95 places :
Implicit Place search using SMT only with invariants took 15764 ms to find 95 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3303/3811 places, 7462/8275 transitions.
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 73 place count 3230 transition count 7389
Iterating global reduction 0 with 73 rules applied. Total rules applied 146 place count 3230 transition count 7389
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 219 place count 3157 transition count 7316
Iterating global reduction 0 with 73 rules applied. Total rules applied 292 place count 3157 transition count 7316
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 303 place count 3146 transition count 7261
Iterating global reduction 0 with 11 rules applied. Total rules applied 314 place count 3146 transition count 7261
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 334 place count 3136 transition count 7251
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 344 place count 3126 transition count 7241
Iterating global reduction 0 with 10 rules applied. Total rules applied 354 place count 3126 transition count 7241
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 383 place count 3097 transition count 7096
Iterating global reduction 0 with 29 rules applied. Total rules applied 412 place count 3097 transition count 7096
Applied a total of 412 rules in 4434 ms. Remains 3097 /3303 variables (removed 206) and now considering 7096/7462 (removed 366) transitions.
[2025-06-04 06:37:20] [INFO ] Flow matrix only has 6496 transitions (discarded 600 similar events)
// Phase 1: matrix 6496 rows 3097 cols
[2025-06-04 06:37:20] [INFO ] Computed 63 invariants in 262 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:37:28] [INFO ] Implicit Places using invariants in 8943 ms returned []
[2025-06-04 06:37:28] [INFO ] Flow matrix only has 6496 transitions (discarded 600 similar events)
[2025-06-04 06:37:28] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:37:33] [INFO ] State equation strengthened by 2634 read => feed constraints.
[2025-06-04 06:38:04] [INFO ] Performed 390/3097 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:38:34] [INFO ] Performed 869/3097 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:39:04] [INFO ] Performed 1204/3097 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:39:34] [INFO ] Performed 1463/3097 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:39:34] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:39:34] [INFO ] Implicit Places using invariants and state equation in 125422 ms returned []
Implicit Place search using SMT with State Equation took 134369 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3097/3811 places, 7096/8275 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 159323 ms. Remains : 3097/3811 places, 7096/8275 transitions.
[2025-06-04 06:39:34] [INFO ] Flatten gal took : 172 ms
[2025-06-04 06:39:34] [INFO ] Flatten gal took : 286 ms
[2025-06-04 06:39:35] [INFO ] Input system was already deterministic with 7096 transitions.
[2025-06-04 06:39:35] [INFO ] Flatten gal took : 177 ms
[2025-06-04 06:39:35] [INFO ] Flatten gal took : 184 ms
[2025-06-04 06:39:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality3799207257462548329.gal : 31 ms
[2025-06-04 06:39:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality15778823703799457960.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/CTLCardinality3799207257462548329.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15778823703799457960.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:40:05] [INFO ] Flatten gal took : 193 ms
[2025-06-04 06:40:05] [INFO ] Applying decomposition
[2025-06-04 06:40:06] [INFO ] Flatten gal took : 172 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/graph16679198018696335731.txt' '-o' '/tmp/graph16679198018696335731.bin' '-w' '/tmp/graph16679198018696335731.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16679198018696335731.bin' '-l' '-1' '-v' '-w' '/tmp/graph16679198018696335731.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:40:06] [INFO ] Decomposing Gal with order
[2025-06-04 06:40:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:40:08] [INFO ] Removed a total of 6411 redundant transitions.
[2025-06-04 06:40:08] [INFO ] Flatten gal took : 1291 ms
[2025-06-04 06:40:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 777 labels/synchronizations in 193 ms.
[2025-06-04 06:40:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality15446087285291014682.gal : 36 ms
[2025-06-04 06:40:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality8332180615901033297.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/CTLCardinality15446087285291014682.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8332180615901033297.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 113 places :
Symmetric choice reduction at 0 with 113 rule applications. Total rules 113 place count 3698 transition count 8150
Iterating global reduction 0 with 113 rules applied. Total rules applied 226 place count 3698 transition count 8150
Discarding 105 places :
Symmetric choice reduction at 0 with 105 rule applications. Total rules 331 place count 3593 transition count 7865
Iterating global reduction 0 with 105 rules applied. Total rules applied 436 place count 3593 transition count 7865
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 491 place count 3538 transition count 7602
Iterating global reduction 0 with 55 rules applied. Total rules applied 546 place count 3538 transition count 7602
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 547 place count 3537 transition count 7597
Iterating global reduction 0 with 1 rules applied. Total rules applied 548 place count 3537 transition count 7597
Applied a total of 548 rules in 3262 ms. Remains 3537 /3811 variables (removed 274) and now considering 7597/8275 (removed 678) transitions.
[2025-06-04 06:40:42] [INFO ] Flow matrix only has 6997 transitions (discarded 600 similar events)
// Phase 1: matrix 6997 rows 3537 cols
[2025-06-04 06:40:42] [INFO ] Computed 158 invariants in 317 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:40:53] [INFO ] Implicit Places using invariants in 10590 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 609, 739, 740, 814, 838, 840, 951, 952, 1010, 1033, 1034, 1035, 1038, 1126, 1191, 1264, 1314, 1315, 1316, 1317, 1376, 1398, 1429, 1430, 1475, 1476, 1514, 1515, 1576, 1577, 1578, 1579, 1609, 1613, 1634, 1635, 1636, 1654, 1659, 1684, 1685, 1699, 1724, 1739, 1764, 1778, 1779, 1780, 1825, 1826, 1827, 1855, 1877, 1878, 1909, 1910, 1911, 1940, 1978, 1979, 1980, 2018, 2019, 2111, 2159, 2160, 2222, 2223, 2254, 2289, 2290, 2291, 2368, 2621, 2734, 2840, 2841, 2842, 2934, 2977, 2978, 2979, 3110, 3111, 3112, 3269]
Discarding 96 places :
Implicit Place search using SMT only with invariants took 10596 ms to find 96 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3441/3811 places, 7597/8275 transitions.
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 84 place count 3357 transition count 7513
Iterating global reduction 0 with 84 rules applied. Total rules applied 168 place count 3357 transition count 7513
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 252 place count 3273 transition count 7429
Iterating global reduction 0 with 84 rules applied. Total rules applied 336 place count 3273 transition count 7429
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 420 place count 3189 transition count 7345
Iterating global reduction 0 with 84 rules applied. Total rules applied 504 place count 3189 transition count 7345
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 545 place count 3148 transition count 7140
Iterating global reduction 0 with 41 rules applied. Total rules applied 586 place count 3148 transition count 7140
Applied a total of 586 rules in 2777 ms. Remains 3148 /3441 variables (removed 293) and now considering 7140/7597 (removed 457) transitions.
[2025-06-04 06:40:55] [INFO ] Flow matrix only has 6540 transitions (discarded 600 similar events)
// Phase 1: matrix 6540 rows 3148 cols
[2025-06-04 06:40:56] [INFO ] Computed 62 invariants in 223 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:41:06] [INFO ] Implicit Places using invariants in 11150 ms returned []
[2025-06-04 06:41:06] [INFO ] Flow matrix only has 6540 transitions (discarded 600 similar events)
[2025-06-04 06:41:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:41:11] [INFO ] State equation strengthened by 2626 read => feed constraints.
[2025-06-04 06:41:42] [INFO ] Performed 329/3148 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:42:12] [INFO ] Performed 686/3148 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:42:42] [INFO ] Performed 981/3148 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:43:12] [INFO ] Performed 1250/3148 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:43:12] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:43:12] [INFO ] Implicit Places using invariants and state equation in 125454 ms returned []
Implicit Place search using SMT with State Equation took 136606 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3148/3811 places, 7140/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 153242 ms. Remains : 3148/3811 places, 7140/8275 transitions.
[2025-06-04 06:43:12] [INFO ] Flatten gal took : 323 ms
[2025-06-04 06:43:13] [INFO ] Flatten gal took : 340 ms
[2025-06-04 06:43:13] [INFO ] Input system was already deterministic with 7140 transitions.
[2025-06-04 06:43:13] [INFO ] Flatten gal took : 215 ms
[2025-06-04 06:43:13] [INFO ] Flatten gal took : 225 ms
[2025-06-04 06:43:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality3649091957746670428.gal : 32 ms
[2025-06-04 06:43:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality7105384674075082257.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/CTLCardinality3649091957746670428.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7105384674075082257.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:43:44] [INFO ] Flatten gal took : 207 ms
[2025-06-04 06:43:44] [INFO ] Applying decomposition
[2025-06-04 06:43:44] [INFO ] Flatten gal took : 227 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12040296173015988270.txt' '-o' '/tmp/graph12040296173015988270.bin' '-w' '/tmp/graph12040296173015988270.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12040296173015988270.bin' '-l' '-1' '-v' '-w' '/tmp/graph12040296173015988270.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:43:44] [INFO ] Decomposing Gal with order
[2025-06-04 06:43:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:43:45] [INFO ] Removed a total of 5613 redundant transitions.
[2025-06-04 06:43:46] [INFO ] Flatten gal took : 695 ms
[2025-06-04 06:43:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 314 labels/synchronizations in 78 ms.
[2025-06-04 06:43:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality9025189078337896542.gal : 36 ms
[2025-06-04 06:43:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality12877583122322642486.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/CTLCardinality9025189078337896542.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12877583122322642486.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 115 places :
Symmetric choice reduction at 0 with 115 rule applications. Total rules 115 place count 3696 transition count 8148
Iterating global reduction 0 with 115 rules applied. Total rules applied 230 place count 3696 transition count 8148
Discarding 107 places :
Symmetric choice reduction at 0 with 107 rule applications. Total rules 337 place count 3589 transition count 7857
Iterating global reduction 0 with 107 rules applied. Total rules applied 444 place count 3589 transition count 7857
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 500 place count 3533 transition count 7589
Iterating global reduction 0 with 56 rules applied. Total rules applied 556 place count 3533 transition count 7589
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 557 place count 3532 transition count 7584
Iterating global reduction 0 with 1 rules applied. Total rules applied 558 place count 3532 transition count 7584
Applied a total of 558 rules in 2563 ms. Remains 3532 /3811 variables (removed 279) and now considering 7584/8275 (removed 691) transitions.
[2025-06-04 06:44:19] [INFO ] Flow matrix only has 6984 transitions (discarded 600 similar events)
// Phase 1: matrix 6984 rows 3532 cols
[2025-06-04 06:44:19] [INFO ] Computed 158 invariants in 308 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:44:28] [INFO ] Implicit Places using invariants in 9271 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 609, 739, 740, 814, 838, 839, 840, 949, 950, 1008, 1031, 1032, 1033, 1036, 1124, 1189, 1262, 1312, 1313, 1314, 1315, 1373, 1374, 1393, 1424, 1425, 1470, 1471, 1509, 1510, 1571, 1572, 1573, 1574, 1604, 1608, 1629, 1630, 1631, 1649, 1654, 1679, 1680, 1694, 1719, 1724, 1734, 1759, 1773, 1774, 1775, 1820, 1821, 1822, 1850, 1872, 1873, 1904, 1905, 1906, 1935, 1973, 1974, 1975, 2013, 2014, 2106, 2154, 2155, 2217, 2218, 2249, 2284, 2285, 2286, 2363, 2616, 2729, 2835, 2836, 2837, 2929, 2972, 2973, 2974, 3105, 3106, 3107, 3264]
Discarding 99 places :
Implicit Place search using SMT only with invariants took 9281 ms to find 99 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3433/3811 places, 7584/8275 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3347 transition count 7498
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3347 transition count 7498
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 258 place count 3261 transition count 7412
Iterating global reduction 0 with 86 rules applied. Total rules applied 344 place count 3261 transition count 7412
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 430 place count 3175 transition count 7326
Iterating global reduction 0 with 86 rules applied. Total rules applied 516 place count 3175 transition count 7326
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 559 place count 3132 transition count 7111
Iterating global reduction 0 with 43 rules applied. Total rules applied 602 place count 3132 transition count 7111
Applied a total of 602 rules in 2573 ms. Remains 3132 /3433 variables (removed 301) and now considering 7111/7584 (removed 473) transitions.
[2025-06-04 06:44:31] [INFO ] Flow matrix only has 6511 transitions (discarded 600 similar events)
// Phase 1: matrix 6511 rows 3132 cols
[2025-06-04 06:44:31] [INFO ] Computed 59 invariants in 193 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:44:40] [INFO ] Implicit Places using invariants in 8986 ms returned []
[2025-06-04 06:44:40] [INFO ] Flow matrix only has 6511 transitions (discarded 600 similar events)
[2025-06-04 06:44:40] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:44:45] [INFO ] State equation strengthened by 2610 read => feed constraints.
[2025-06-04 06:45:16] [INFO ] Performed 495/3132 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:45:46] [INFO ] Performed 927/3132 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:46:16] [INFO ] Performed 1250/3132 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:46:47] [INFO ] Performed 1486/3132 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:46:47] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:46:47] [INFO ] Implicit Places using invariants and state equation in 126787 ms returned []
Implicit Place search using SMT with State Equation took 135781 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3132/3811 places, 7111/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 150198 ms. Remains : 3132/3811 places, 7111/8275 transitions.
[2025-06-04 06:46:47] [INFO ] Flatten gal took : 180 ms
[2025-06-04 06:46:47] [INFO ] Flatten gal took : 209 ms
[2025-06-04 06:46:47] [INFO ] Input system was already deterministic with 7111 transitions.
[2025-06-04 06:46:48] [INFO ] Flatten gal took : 205 ms
[2025-06-04 06:46:48] [INFO ] Flatten gal took : 265 ms
[2025-06-04 06:46:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality15734049725576614613.gal : 40 ms
[2025-06-04 06:46:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality18111330704619468555.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/CTLCardinality15734049725576614613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18111330704619468555.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:47:18] [INFO ] Flatten gal took : 206 ms
[2025-06-04 06:47:18] [INFO ] Applying decomposition
[2025-06-04 06:47:18] [INFO ] Flatten gal took : 214 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph18133009113684562012.txt' '-o' '/tmp/graph18133009113684562012.bin' '-w' '/tmp/graph18133009113684562012.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18133009113684562012.bin' '-l' '-1' '-v' '-w' '/tmp/graph18133009113684562012.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:47:19] [INFO ] Decomposing Gal with order
[2025-06-04 06:47:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:47:20] [INFO ] Removed a total of 5690 redundant transitions.
[2025-06-04 06:47:20] [INFO ] Flatten gal took : 569 ms
[2025-06-04 06:47:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 2975 labels/synchronizations in 289 ms.
[2025-06-04 06:47:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality14650919489569846168.gal : 62 ms
[2025-06-04 06:47:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality875456837544426390.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/CTLCardinality14650919489569846168.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality875456837544426390.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 63 transitions
Trivial Post-agglo rules discarded 63 transitions
Performed 63 trivial Post agglomeration. Transition count delta: 63
Iterating post reduction 0 with 63 rules applied. Total rules applied 63 place count 3811 transition count 8212
Reduce places removed 63 places and 0 transitions.
Iterating post reduction 1 with 63 rules applied. Total rules applied 126 place count 3748 transition count 8212
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 126 place count 3748 transition count 8123
Deduced a syphon composed of 89 places in 6 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 304 place count 3659 transition count 8123
Discarding 66 places :
Symmetric choice reduction at 2 with 66 rule applications. Total rules 370 place count 3593 transition count 8045
Iterating global reduction 2 with 66 rules applied. Total rules applied 436 place count 3593 transition count 8045
Discarding 56 places :
Symmetric choice reduction at 2 with 56 rule applications. Total rules 492 place count 3537 transition count 7789
Iterating global reduction 2 with 56 rules applied. Total rules applied 548 place count 3537 transition count 7789
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 549 place count 3536 transition count 7784
Iterating global reduction 2 with 1 rules applied. Total rules applied 550 place count 3536 transition count 7784
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 6 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 640 place count 3491 transition count 7739
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 687 place count 3444 transition count 7692
Iterating global reduction 2 with 47 rules applied. Total rules applied 734 place count 3444 transition count 7692
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 781 place count 3397 transition count 7457
Iterating global reduction 2 with 47 rules applied. Total rules applied 828 place count 3397 transition count 7457
Applied a total of 828 rules in 4604 ms. Remains 3397 /3811 variables (removed 414) and now considering 7457/8275 (removed 818) transitions.
[2025-06-04 06:47:55] [INFO ] Flow matrix only has 6857 transitions (discarded 600 similar events)
// Phase 1: matrix 6857 rows 3397 cols
[2025-06-04 06:47:55] [INFO ] Computed 158 invariants in 163 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:48:11] [INFO ] Implicit Places using invariants in 15919 ms returned [9, 10, 11, 22, 257, 319, 472, 473, 579, 580, 581, 711, 712, 786, 803, 804, 805, 914, 915, 973, 990, 991, 992, 995, 1083, 1143, 1216, 1263, 1264, 1265, 1266, 1324, 1325, 1344, 1368, 1369, 1414, 1415, 1448, 1449, 1507, 1508, 1509, 1510, 1540, 1544, 1560, 1561, 1562, 1580, 1585, 1605, 1606, 1620, 1641, 1646, 1656, 1678, 1692, 1693, 1694, 1734, 1735, 1736, 1786, 1816, 1817, 1818, 1847, 1880, 1881, 1882, 1920, 1921, 2008, 2054, 2055, 2117, 2118, 2149, 2179, 2180, 2181, 2258, 2505, 2618, 2721, 2722, 2723, 2815, 2858, 2859, 2860, 2984, 2985, 2986, 3143]
Discarding 97 places :
Implicit Place search using SMT only with invariants took 15927 ms to find 97 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3300/3811 places, 7457/8275 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 3226 transition count 7383
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 3226 transition count 7383
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 222 place count 3152 transition count 7309
Iterating global reduction 0 with 74 rules applied. Total rules applied 296 place count 3152 transition count 7309
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 308 place count 3140 transition count 7249
Iterating global reduction 0 with 12 rules applied. Total rules applied 320 place count 3140 transition count 7249
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 340 place count 3130 transition count 7239
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 350 place count 3120 transition count 7229
Iterating global reduction 0 with 10 rules applied. Total rules applied 360 place count 3120 transition count 7229
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 389 place count 3091 transition count 7084
Iterating global reduction 0 with 29 rules applied. Total rules applied 418 place count 3091 transition count 7084
Applied a total of 418 rules in 4178 ms. Remains 3091 /3300 variables (removed 209) and now considering 7084/7457 (removed 373) transitions.
[2025-06-04 06:48:15] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
// Phase 1: matrix 6484 rows 3091 cols
[2025-06-04 06:48:15] [INFO ] Computed 61 invariants in 227 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:48:24] [INFO ] Implicit Places using invariants in 9324 ms returned []
[2025-06-04 06:48:24] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
[2025-06-04 06:48:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:48:29] [INFO ] State equation strengthened by 2626 read => feed constraints.
[2025-06-04 06:49:01] [INFO ] Performed 495/3091 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:49:31] [INFO ] Performed 943/3091 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:50:02] [INFO ] Performed 1288/3091 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2025-06-04 06:50:32] [INFO ] Performed 1510/3091 implicitness test of which 0 returned IMPLICIT in 121 seconds.
[2025-06-04 06:50:32] [INFO ] Timeout of Implicit test with SMT after 121 seconds.
[2025-06-04 06:50:32] [INFO ] Implicit Places using invariants and state equation in 127972 ms returned []
Implicit Place search using SMT with State Equation took 137300 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3091/3811 places, 7084/8275 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 162011 ms. Remains : 3091/3811 places, 7084/8275 transitions.
[2025-06-04 06:50:32] [INFO ] Flatten gal took : 152 ms
[2025-06-04 06:50:33] [INFO ] Flatten gal took : 191 ms
[2025-06-04 06:50:33] [INFO ] Input system was already deterministic with 7084 transitions.
[2025-06-04 06:50:33] [INFO ] Flatten gal took : 199 ms
[2025-06-04 06:50:33] [INFO ] Flatten gal took : 184 ms
[2025-06-04 06:50:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality1946636442776277886.gal : 45 ms
[2025-06-04 06:50:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality16279890275000085689.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/CTLCardinality1946636442776277886.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16279890275000085689.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:51:04] [INFO ] Flatten gal took : 182 ms
[2025-06-04 06:51:04] [INFO ] Applying decomposition
[2025-06-04 06:51:04] [INFO ] Flatten gal took : 182 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/graph2167168816564140458.txt' '-o' '/tmp/graph2167168816564140458.bin' '-w' '/tmp/graph2167168816564140458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2167168816564140458.bin' '-l' '-1' '-v' '-w' '/tmp/graph2167168816564140458.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:51:04] [INFO ] Decomposing Gal with order
[2025-06-04 06:51:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:51:06] [INFO ] Removed a total of 6270 redundant transitions.
[2025-06-04 06:51:06] [INFO ] Flatten gal took : 1371 ms
[2025-06-04 06:51:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 808 labels/synchronizations in 182 ms.
[2025-06-04 06:51:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality15223472851370255418.gal : 36 ms
[2025-06-04 06:51:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality7057046318872247765.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/CTLCardinality15223472851370255418.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7057046318872247765.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 : 3811/3811 places, 8275/8275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 64 transitions
Trivial Post-agglo rules discarded 64 transitions
Performed 64 trivial Post agglomeration. Transition count delta: 64
Iterating post reduction 0 with 64 rules applied. Total rules applied 64 place count 3811 transition count 8211
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 1 with 64 rules applied. Total rules applied 128 place count 3747 transition count 8211
Performed 88 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 88 Pre rules applied. Total rules applied 128 place count 3747 transition count 8123
Deduced a syphon composed of 88 places in 5 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 2 with 176 rules applied. Total rules applied 304 place count 3659 transition count 8123
Discarding 65 places :
Symmetric choice reduction at 2 with 65 rule applications. Total rules 369 place count 3594 transition count 8046
Iterating global reduction 2 with 65 rules applied. Total rules applied 434 place count 3594 transition count 8046
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 489 place count 3539 transition count 7791
Iterating global reduction 2 with 55 rules applied. Total rules applied 544 place count 3539 transition count 7791
Performed 46 Post agglomeration using F-continuation condition.Transition count delta: 46
Deduced a syphon composed of 46 places in 5 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 2 with 92 rules applied. Total rules applied 636 place count 3493 transition count 7745
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 684 place count 3445 transition count 7697
Iterating global reduction 2 with 48 rules applied. Total rules applied 732 place count 3445 transition count 7697
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 780 place count 3397 transition count 7457
Iterating global reduction 2 with 48 rules applied. Total rules applied 828 place count 3397 transition count 7457
Applied a total of 828 rules in 3775 ms. Remains 3397 /3811 variables (removed 414) and now considering 7457/8275 (removed 818) transitions.
[2025-06-04 06:51:40] [INFO ] Flow matrix only has 6857 transitions (discarded 600 similar events)
// Phase 1: matrix 6857 rows 3397 cols
[2025-06-04 06:51:41] [INFO ] Computed 158 invariants in 165 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:51:56] [INFO ] Implicit Places using invariants in 15690 ms returned [9, 10, 11, 22, 257, 319, 472, 473, 579, 580, 581, 711, 712, 786, 803, 804, 805, 914, 915, 973, 990, 991, 992, 995, 1083, 1143, 1216, 1263, 1264, 1265, 1266, 1324, 1325, 1344, 1368, 1369, 1414, 1415, 1448, 1449, 1507, 1508, 1509, 1510, 1540, 1544, 1560, 1561, 1562, 1580, 1585, 1605, 1606, 1620, 1641, 1646, 1656, 1678, 1692, 1693, 1694, 1734, 1735, 1736, 1760, 1782, 1783, 1810, 1811, 1812, 1841, 1874, 1875, 1876, 1914, 1915, 2002, 2048, 2049, 2111, 2112, 2143, 2173, 2174, 2175, 2252, 2501, 2614, 2719, 2720, 2814, 2857, 2858, 2859, 2983, 2984, 2985, 3142]
Discarding 98 places :
Implicit Place search using SMT only with invariants took 15700 ms to find 98 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3299/3811 places, 7457/8275 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 3224 transition count 7382
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 3224 transition count 7382
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 225 place count 3149 transition count 7307
Iterating global reduction 0 with 75 rules applied. Total rules applied 300 place count 3149 transition count 7307
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 313 place count 3136 transition count 7242
Iterating global reduction 0 with 13 rules applied. Total rules applied 326 place count 3136 transition count 7242
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 346 place count 3126 transition count 7232
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 356 place count 3116 transition count 7222
Iterating global reduction 0 with 10 rules applied. Total rules applied 366 place count 3116 transition count 7222
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 395 place count 3087 transition count 7077
Iterating global reduction 0 with 29 rules applied. Total rules applied 424 place count 3087 transition count 7077
Applied a total of 424 rules in 4481 ms. Remains 3087 /3299 variables (removed 212) and now considering 7077/7457 (removed 380) transitions.
[2025-06-04 06:52:01] [INFO ] Flow matrix only has 6477 transitions (discarded 600 similar events)
// Phase 1: matrix 6477 rows 3087 cols
[2025-06-04 06:52:01] [INFO ] Computed 60 invariants in 209 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:52:10] [INFO ] Implicit Places using invariants in 9049 ms returned []
[2025-06-04 06:52:10] [INFO ] Flow matrix only has 6477 transitions (discarded 600 similar events)
[2025-06-04 06:52:10] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:52:14] [INFO ] State equation strengthened by 2622 read => feed constraints.
[2025-06-04 06:52:44] [INFO ] Performed 564/3087 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:53:14] [INFO ] Performed 1093/3087 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:53:44] [INFO ] Performed 1359/3087 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:54:15] [INFO ] Performed 1576/3087 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:54:15] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:54:15] [INFO ] Implicit Places using invariants and state equation in 125444 ms returned []
Implicit Place search using SMT with State Equation took 134500 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3087/3811 places, 7077/8275 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 158456 ms. Remains : 3087/3811 places, 7077/8275 transitions.
[2025-06-04 06:54:15] [INFO ] Flatten gal took : 146 ms
[2025-06-04 06:54:15] [INFO ] Flatten gal took : 178 ms
[2025-06-04 06:54:16] [INFO ] Input system was already deterministic with 7077 transitions.
[2025-06-04 06:54:16] [INFO ] Flatten gal took : 169 ms
[2025-06-04 06:54:16] [INFO ] Flatten gal took : 175 ms
[2025-06-04 06:54:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality10543350369220911613.gal : 32 ms
[2025-06-04 06:54:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality10004190942847422316.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/CTLCardinality10543350369220911613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10004190942847422316.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:54:46] [INFO ] Flatten gal took : 172 ms
[2025-06-04 06:54:46] [INFO ] Applying decomposition
[2025-06-04 06:54:47] [INFO ] Flatten gal took : 176 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/graph15773835992254017939.txt' '-o' '/tmp/graph15773835992254017939.bin' '-w' '/tmp/graph15773835992254017939.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15773835992254017939.bin' '-l' '-1' '-v' '-w' '/tmp/graph15773835992254017939.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:54:47] [INFO ] Decomposing Gal with order
[2025-06-04 06:54:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:54:49] [INFO ] Removed a total of 6207 redundant transitions.
[2025-06-04 06:54:49] [INFO ] Flatten gal took : 1504 ms
[2025-06-04 06:54:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 820 labels/synchronizations in 161 ms.
[2025-06-04 06:54:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality1426829399974329635.gal : 35 ms
[2025-06-04 06:54:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality6983885130052470616.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/CTLCardinality1426829399974329635.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6983885130052470616.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 : 3811/3811 places, 8275/8275 transitions.
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 112 place count 3699 transition count 8151
Iterating global reduction 0 with 112 rules applied. Total rules applied 224 place count 3699 transition count 8151
Discarding 104 places :
Symmetric choice reduction at 0 with 104 rule applications. Total rules 328 place count 3595 transition count 7863
Iterating global reduction 0 with 104 rules applied. Total rules applied 432 place count 3595 transition count 7863
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 485 place count 3542 transition count 7610
Iterating global reduction 0 with 53 rules applied. Total rules applied 538 place count 3542 transition count 7610
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 539 place count 3541 transition count 7605
Iterating global reduction 0 with 1 rules applied. Total rules applied 540 place count 3541 transition count 7605
Applied a total of 540 rules in 2643 ms. Remains 3541 /3811 variables (removed 270) and now considering 7605/8275 (removed 670) transitions.
[2025-06-04 06:55:22] [INFO ] Flow matrix only has 7005 transitions (discarded 600 similar events)
// Phase 1: matrix 7005 rows 3541 cols
[2025-06-04 06:55:22] [INFO ] Computed 158 invariants in 162 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:55:32] [INFO ] Implicit Places using invariants in 9396 ms returned [10, 12, 15, 28, 268, 341, 494, 495, 607, 608, 609, 739, 740, 814, 838, 839, 840, 949, 950, 1031, 1032, 1033, 1036, 1124, 1189, 1262, 1312, 1313, 1314, 1315, 1373, 1374, 1393, 1424, 1425, 1470, 1471, 1509, 1510, 1571, 1572, 1573, 1574, 1604, 1608, 1629, 1630, 1631, 1649, 1654, 1680, 1697, 1722, 1727, 1737, 1762, 1776, 1777, 1778, 1823, 1824, 1825, 1853, 1875, 1876, 1907, 1908, 1909, 1979, 1980, 1981, 2019, 2020, 2112, 2160, 2161, 2223, 2224, 2255, 2290, 2291, 2292, 2369, 2622, 2735, 2841, 2842, 2843, 2935, 2978, 2979, 3114, 3115, 3116, 3273]
Discarding 95 places :
Implicit Place search using SMT only with invariants took 9407 ms to find 95 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3446/3811 places, 7605/8275 transitions.
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 83 place count 3363 transition count 7522
Iterating global reduction 0 with 83 rules applied. Total rules applied 166 place count 3363 transition count 7522
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 249 place count 3280 transition count 7439
Iterating global reduction 0 with 83 rules applied. Total rules applied 332 place count 3280 transition count 7439
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 415 place count 3197 transition count 7356
Iterating global reduction 0 with 83 rules applied. Total rules applied 498 place count 3197 transition count 7356
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 538 place count 3157 transition count 7156
Iterating global reduction 0 with 40 rules applied. Total rules applied 578 place count 3157 transition count 7156
Applied a total of 578 rules in 2594 ms. Remains 3157 /3446 variables (removed 289) and now considering 7156/7605 (removed 449) transitions.
[2025-06-04 06:55:34] [INFO ] Flow matrix only has 6556 transitions (discarded 600 similar events)
// Phase 1: matrix 6556 rows 3157 cols
[2025-06-04 06:55:34] [INFO ] Computed 63 invariants in 192 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:55:42] [INFO ] Implicit Places using invariants in 8367 ms returned []
[2025-06-04 06:55:42] [INFO ] Flow matrix only has 6556 transitions (discarded 600 similar events)
[2025-06-04 06:55:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:55:47] [INFO ] State equation strengthened by 2634 read => feed constraints.
[2025-06-04 06:56:18] [INFO ] Performed 270/3157 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 06:56:48] [INFO ] Performed 601/3157 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 06:57:18] [INFO ] Performed 970/3157 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 06:57:48] [INFO ] Performed 1232/3157 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 06:57:48] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 06:57:48] [INFO ] Implicit Places using invariants and state equation in 125539 ms returned []
Implicit Place search using SMT with State Equation took 133920 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3157/3811 places, 7156/8275 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 148564 ms. Remains : 3157/3811 places, 7156/8275 transitions.
[2025-06-04 06:57:48] [INFO ] Flatten gal took : 187 ms
[2025-06-04 06:57:48] [INFO ] Flatten gal took : 218 ms
[2025-06-04 06:57:49] [INFO ] Input system was already deterministic with 7156 transitions.
[2025-06-04 06:57:49] [INFO ] Flatten gal took : 209 ms
[2025-06-04 06:57:49] [INFO ] Flatten gal took : 218 ms
[2025-06-04 06:57:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality551482169946468572.gal : 31 ms
[2025-06-04 06:57:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality10783798837795948968.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/CTLCardinality551482169946468572.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10783798837795948968.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:58:20] [INFO ] Flatten gal took : 209 ms
[2025-06-04 06:58:20] [INFO ] Applying decomposition
[2025-06-04 06:58:20] [INFO ] Flatten gal took : 218 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/graph16656097649944360779.txt' '-o' '/tmp/graph16656097649944360779.bin' '-w' '/tmp/graph16656097649944360779.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16656097649944360779.bin' '-l' '-1' '-v' '-w' '/tmp/graph16656097649944360779.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:58:20] [INFO ] Decomposing Gal with order
[2025-06-04 06:58:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:58:21] [INFO ] Removed a total of 5694 redundant transitions.
[2025-06-04 06:58:21] [INFO ] Flatten gal took : 685 ms
[2025-06-04 06:58:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 285 labels/synchronizations in 77 ms.
[2025-06-04 06:58:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality14454073525555826183.gal : 37 ms
[2025-06-04 06:58:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality15834538604300414290.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/CTLCardinality14454073525555826183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15834538604300414290.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 06:58:52] [INFO ] Flatten gal took : 251 ms
[2025-06-04 06:58:53] [INFO ] Flatten gal took : 285 ms
[2025-06-04 06:58:53] [INFO ] Applying decomposition
[2025-06-04 06:58:53] [INFO ] Flatten gal took : 305 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/graph2412609537153368590.txt' '-o' '/tmp/graph2412609537153368590.bin' '-w' '/tmp/graph2412609537153368590.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2412609537153368590.bin' '-l' '-1' '-v' '-w' '/tmp/graph2412609537153368590.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:58:54] [INFO ] Decomposing Gal with order
[2025-06-04 06:58:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:58:55] [INFO ] Removed a total of 8076 redundant transitions.
[2025-06-04 06:58:56] [INFO ] Flatten gal took : 959 ms
[2025-06-04 06:58:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 361 labels/synchronizations in 131 ms.
[2025-06-04 06:58:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality5632783612441533280.gal : 44 ms
[2025-06-04 06:58:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality18047135746724578362.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/CTLCardinality5632783612441533280.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18047135746724578362.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 12 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-174876524400361"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C05.tgz
mv MultiCrashLeafsetExtension-PT-S24C05 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 ;