About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S16C06
| 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 | ??FFF??????F???? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524300314.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-S16C06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524300314
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K 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.6K 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 13K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K 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.8K 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 5.2M 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-S16C06-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748941574263
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-03 09:06:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-03 09:06:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 09:06:17] [INFO ] Load time of PNML (sax parser for PT used): 752 ms
[2025-06-03 09:06:17] [INFO ] Transformed 5568 places.
[2025-06-03 09:06:17] [INFO ] Transformed 7799 transitions.
[2025-06-03 09:06:17] [INFO ] Parsed PT model containing 5568 places and 7799 transitions and 29646 arcs in 1015 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 28 ms.
Support contains 185 out of 5568 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5568/5568 places, 7799/7799 transitions.
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 5536 transition count 7799
Discarding 1586 places :
Symmetric choice reduction at 1 with 1586 rule applications. Total rules 1618 place count 3950 transition count 6213
Iterating global reduction 1 with 1586 rules applied. Total rules applied 3204 place count 3950 transition count 6213
Discarding 1373 places :
Symmetric choice reduction at 1 with 1373 rule applications. Total rules 4577 place count 2577 transition count 4840
Iterating global reduction 1 with 1373 rules applied. Total rules applied 5950 place count 2577 transition count 4840
Discarding 167 places :
Symmetric choice reduction at 1 with 167 rule applications. Total rules 6117 place count 2410 transition count 3838
Iterating global reduction 1 with 167 rules applied. Total rules applied 6284 place count 2410 transition count 3838
Applied a total of 6284 rules in 1536 ms. Remains 2410 /5568 variables (removed 3158) and now considering 3838/7799 (removed 3961) transitions.
[2025-06-03 09:06:19] [INFO ] Flow matrix only has 3566 transitions (discarded 272 similar events)
// Phase 1: matrix 3566 rows 2410 cols
[2025-06-03 09:06:19] [INFO ] Computed 541 invariants in 252 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:06:24] [INFO ] Implicit Places using invariants in 5529 ms returned [4, 8, 14, 16, 18, 22, 24, 29, 39, 48, 59, 72, 87, 105, 123, 125, 127, 129, 131, 133, 148, 159, 168, 175, 180, 183, 210, 217, 220, 221, 222, 223, 224, 225, 226, 229, 234, 241, 251, 262, 275, 289, 303, 305, 306, 307, 308, 309, 320, 329, 337, 342, 348, 351, 378, 385, 388, 389, 390, 391, 394, 395, 399, 404, 409, 416, 426, 437, 449, 461, 462, 463, 464, 465, 466, 467, 476, 483, 489, 492, 494, 496, 523, 530, 533, 534, 536, 537, 539, 544, 548, 551, 556, 563, 573, 584, 594, 595, 596, 597, 598, 599, 600, 607, 612, 615, 617, 619, 621, 648, 655, 659, 661, 664, 669, 674, 676, 679, 684, 694, 704, 712, 713, 714, 715, 716, 717, 718, 723, 726, 728, 730, 732, 734, 761, 768, 772, 773, 775, 777, 779, 784, 786, 788, 791, 800, 806, 812, 813, 814, 815, 816, 817, 818, 821, 823, 825, 827, 829, 831, 858, 865, 869, 870, 871, 872, 873, 874, 877, 879, 884, 886, 888, 891, 895, 899, 900, 902, 903, 904, 905, 910, 914, 916, 918, 920, 922, 949, 956, 959, 960, 961, 963, 964, 965, 967, 969, 973, 975, 977, 982, 984, 987, 988, 989, 990, 991, 992, 993, 995, 997, 999, 1001, 1003, 1005, 1032, 1034, 1038, 1041, 1042, 1043, 1044, 1048, 1054, 1057, 1059, 1061, 1066, 1068, 1073, 1076, 1077, 1078, 1079, 1081, 1082, 1084, 1086, 1088, 1090, 1093, 1095, 1124, 1131, 1134, 1135, 1136, 1137, 1138, 1140, 1145, 1147, 1150, 1152, 1154, 1156, 1158, 1161, 1163, 1164, 1166, 1167, 1169, 1171, 1176, 1178, 1180, 1185, 1215, 1222, 1226, 1227, 1228, 1230, 1231, 1233, 1235, 1240, 1243, 1245, 1247, 1252, 1258, 1259, 1260, 1264, 1270, 1275, 1277, 1279, 1284, 1311, 1318, 1322, 1323, 1324, 1325, 1327, 1329, 1333, 1335, 1337, 1341, 1347, 1354, 1361, 1363, 1364, 1365, 1366, 1367, 1372, 1375, 1377, 1379, 1384, 1387, 1414, 1421, 1424, 1425, 1427, 1428, 1429, 1430, 1432, 1434, 1436, 1438, 1441, 1446, 1456, 1465, 1466, 1468, 1469, 1470, 1471, 1478, 1483, 1486, 1488, 1490, 1495, 1529, 1532, 1534, 1535, 1536, 1537, 1538, 1540, 1543, 1545, 1548, 1555, 1562, 1571, 1582, 1583, 1584, 1585, 1586, 1587, 1588, 1597, 1604, 1609, 1612, 1614, 1616, 1643, 1650, 1653, 1654, 1656, 1657, 1658, 1659, 1661, 1664, 1667, 1674, 1681, 1690, 1702, 1715, 1716, 1719, 1720, 1721, 1734, 1743, 1750, 1755, 1758, 1763, 1790, 1797, 1800, 1803, 1806, 1809, 1814, 1822, 1831, 1845, 1857, 1870, 1885, 1886, 1888, 1889, 1892, 1909, 1921, 1930, 1939, 1944, 1948, 1975, 1977, 1981, 1984, 1985, 1986, 1987, 1988, 1990, 1993, 1998, 2005, 2014, 2027, 2040, 2055, 2072, 2074, 2075, 2076, 2077, 2078, 2096, 2109, 2120, 2129, 2136, 2141, 2169]
[2025-06-03 09:06:24] [INFO ] Actually due to overlaps returned [210, 378, 523, 648, 761, 858, 949, 1032, 1124, 1215, 1311, 1414, 1643, 1790, 1975, 2169, 4, 14, 16, 18, 22, 123, 125, 127, 129, 131, 159, 220, 221, 222, 223, 224, 225, 303, 305, 306, 307, 308, 329, 388, 389, 390, 391, 394, 461, 462, 463, 464, 465, 466, 483, 533, 534, 536, 537, 594, 595, 596, 597, 598, 599, 612, 659, 661, 712, 713, 714, 715, 716, 717, 726, 772, 773, 775, 812, 813, 814, 815, 816, 817, 823, 869, 870, 871, 872, 873, 899, 900, 902, 903, 904, 914, 959, 960, 961, 963, 964, 987, 988, 989, 990, 991, 992, 997, 1034, 1041, 1042, 1043, 1044, 1076, 1077, 1078, 1079, 1081, 1086, 1134, 1135, 1136, 1137, 1138, 1161, 1163, 1164, 1166, 1171, 1226, 1227, 1228, 1230, 1258, 1259, 1260, 1322, 1323, 1324, 1325, 1361, 1363, 1364, 1365, 1366, 1375, 1424, 1425, 1427, 1428, 1429, 1465, 1466, 1468, 1469, 1470, 1532, 1534, 1535, 1536, 1537, 1582, 1583, 1584, 1585, 1586, 1587, 1609, 1653, 1654, 1656, 1657, 1658, 1715, 1716, 1719, 1720, 1750, 1800, 1803, 1885, 1886, 1888, 1889, 1930, 1977, 1984, 1985, 1986, 1987, 1988, 2072, 2074, 2075, 2076, 2077, 2120]
Discarding 193 places :
Implicit Place search using SMT only with invariants took 5596 ms to find 193 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2217/5568 places, 3838/7799 transitions.
Discarding 147 places :
Symmetric choice reduction at 0 with 147 rule applications. Total rules 147 place count 2070 transition count 3691
Iterating global reduction 0 with 147 rules applied. Total rules applied 294 place count 2070 transition count 3691
Discarding 145 places :
Symmetric choice reduction at 0 with 145 rule applications. Total rules 439 place count 1925 transition count 3546
Iterating global reduction 0 with 145 rules applied. Total rules applied 584 place count 1925 transition count 3546
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 725 place count 1784 transition count 3405
Iterating global reduction 0 with 141 rules applied. Total rules applied 866 place count 1784 transition count 3405
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 870 place count 1780 transition count 3381
Iterating global reduction 0 with 4 rules applied. Total rules applied 874 place count 1780 transition count 3381
Applied a total of 874 rules in 527 ms. Remains 1780 /2217 variables (removed 437) and now considering 3381/3838 (removed 457) transitions.
[2025-06-03 09:06:25] [INFO ] Flow matrix only has 3109 transitions (discarded 272 similar events)
// Phase 1: matrix 3109 rows 1780 cols
[2025-06-03 09:06:25] [INFO ] Computed 348 invariants in 199 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:06:27] [INFO ] Implicit Places using invariants in 2667 ms returned [7, 19, 24, 34, 43, 54, 67, 82, 100, 123, 138, 157, 164, 169, 172, 205, 208, 211, 216, 223, 233, 244, 257, 271, 286, 297, 313, 318, 324, 327, 344, 349, 353, 358, 363, 370, 380, 391, 403, 415, 424, 436, 439, 441, 443, 454, 459, 464, 468, 471, 476, 483, 493, 504, 514, 521, 528, 530, 532, 534, 548, 555, 560, 565, 567, 570, 575, 585, 595, 602, 607, 611, 613, 615, 617, 634, 640, 642, 647, 649, 651, 654, 663, 669, 674, 677, 680, 682, 684, 686, 702, 706, 709, 711, 716, 718, 720, 723, 727, 732, 737, 742, 744, 746, 748, 761, 765, 767, 769, 773, 775, 777, 782, 784, 786, 788, 791, 793, 795, 797, 806, 812, 818, 821, 823, 825, 830, 832, 837, 841, 843, 846, 848, 851, 853, 871, 875, 880, 882, 885, 887, 889, 891, 893, 898, 900, 906, 908, 910, 915, 934, 939, 941, 943, 948, 951, 953, 955, 960, 969, 975, 980, 982, 984, 989, 1008, 1013, 1015, 1019, 1021, 1023, 1027, 1033, 1040, 1048, 1053, 1057, 1059, 1064, 1067, 1083, 1087, 1089, 1091, 1093, 1095, 1098, 1103, 1113, 1123, 1130, 1135, 1138, 1140, 1142, 1147, 1161, 1165, 1167, 1170, 1172, 1175, 1182, 1189, 1198, 1208, 1217, 1224, 1231, 1233, 1235, 1247, 1251, 1253, 1256, 1259, 1266, 1273, 1282, 1294, 1309, 1322, 1331, 1342, 1345, 1350, 1365, 1372, 1375, 1380, 1388, 1397, 1411, 1423, 1436, 1454, 1471, 1483, 1500, 1505, 1509, 1528, 1532, 1535, 1540, 1547, 1556, 1569, 1582, 1597, 1615, 1633, 1646, 1665, 1672, 1677]
Discarding 256 places :
Implicit Place search using SMT only with invariants took 2678 ms to find 256 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1524/5568 places, 3381/7799 transitions.
Applied a total of 0 rules in 80 ms. Remains 1524 /1524 variables (removed 0) and now considering 3381/3381 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 10441 ms. Remains : 1524/5568 places, 3381/7799 transitions.
Support contains 185 out of 1524 places after structural reductions.
[2025-06-03 09:06:28] [INFO ] Flatten gal took : 420 ms
[2025-06-03 09:06:28] [INFO ] Flatten gal took : 202 ms
[2025-06-03 09:06:29] [INFO ] Input system was already deterministic with 3381 transitions.
Reduction of identical properties reduced properties to check from 96 to 95
RANDOM walk for 40000 steps (641 resets) in 3627 ms. (11 steps per ms) remains 50/95 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 49/50 properties
BEST_FIRST walk for 4001 steps (16 resets) in 107 ms. (37 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4001 steps (16 resets) in 110 ms. (36 steps per ms) remains 48/49 properties
BEST_FIRST walk for 4000 steps (16 resets) in 75 ms. (52 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 45 ms. (86 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 51 ms. (76 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 41 ms. (95 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4001 steps (16 resets) in 96 ms. (41 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 45 ms. (86 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 42 ms. (93 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4001 steps (16 resets) in 47 ms. (83 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4001 steps (16 resets) in 44 ms. (88 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 43 ms. (90 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 45 ms. (86 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4000 steps (16 resets) in 37 ms. (105 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4002 steps (16 resets) in 52 ms. (75 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4001 steps (16 resets) in 47 ms. (83 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4002 steps (16 resets) in 26 ms. (148 steps per ms) remains 47/48 properties
BEST_FIRST walk for 4001 steps (16 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 36 ms. (108 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 27 ms. (142 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 97 ms. (40 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 41 ms. (95 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 117 ms. (33 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 53 ms. (74 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 43 ms. (90 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 36 ms. (108 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 31 ms. (125 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 26 ms. (148 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 24 ms. (160 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 36 ms. (108 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 26 ms. (148 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (16 resets) in 41 ms. (95 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (16 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (16 resets) in 26 ms. (148 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 34 ms. (114 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (16 resets) in 36 ms. (108 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4000 steps (16 resets) in 33 ms. (117 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4000 steps (16 resets) in 29 ms. (133 steps per ms) remains 46/46 properties
[2025-06-03 09:06:31] [INFO ] Flow matrix only has 3109 transitions (discarded 272 similar events)
// Phase 1: matrix 3109 rows 1524 cols
[2025-06-03 09:06:31] [INFO ] Computed 92 invariants in 71 ms
[2025-06-03 09:06:31] [INFO ] State equation strengthened by 1323 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 46 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp55 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp95 is UNSAT
At refinement iteration 2 (OVERLAPS) 1273/1370 variables, 19/22 constraints. Problems are: Problem set: 10 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:34] [INFO ] Deduced a trap composed of 292 places in 1698 ms of which 492 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:36] [INFO ] Deduced a trap composed of 319 places in 1726 ms of which 565 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:38] [INFO ] Deduced a trap composed of 339 places in 2279 ms of which 921 ms to minimize.
SMT process timed out in 7430ms, After SMT, problems are : Problem set: 10 solved, 36 unsolved
Fused 36 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 61 out of 1524 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 1524 transition count 3347
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 68 place count 1490 transition count 3347
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 68 place count 1490 transition count 3304
Deduced a syphon composed of 43 places in 3 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 154 place count 1447 transition count 3304
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 194 place count 1407 transition count 3174
Iterating global reduction 2 with 40 rules applied. Total rules applied 234 place count 1407 transition count 3174
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 234 place count 1407 transition count 3172
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 238 place count 1405 transition count 3172
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 256 place count 1387 transition count 3074
Iterating global reduction 2 with 18 rules applied. Total rules applied 274 place count 1387 transition count 3074
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 5 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 340 place count 1354 transition count 3041
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 363 place count 1331 transition count 3018
Iterating global reduction 2 with 23 rules applied. Total rules applied 386 place count 1331 transition count 3018
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 407 place count 1310 transition count 2892
Iterating global reduction 2 with 21 rules applied. Total rules applied 428 place count 1310 transition count 2892
Free-agglomeration rule (complex) applied 154 times.
Iterating global reduction 2 with 154 rules applied. Total rules applied 582 place count 1310 transition count 3803
Reduce places removed 154 places and 0 transitions.
Iterating post reduction 2 with 154 rules applied. Total rules applied 736 place count 1156 transition count 3803
Partial Free-agglomeration rule applied 36 times.
Drop transitions (Partial Free agglomeration) removed 36 transitions
Iterating global reduction 3 with 36 rules applied. Total rules applied 772 place count 1156 transition count 3803
Applied a total of 772 rules in 1775 ms. Remains 1156 /1524 variables (removed 368) and now considering 3803/3381 (removed -422) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1777 ms. Remains : 1156/1524 places, 3803/3381 transitions.
RANDOM walk for 40000 steps (1121 resets) in 1740 ms. (22 steps per ms) remains 32/36 properties
BEST_FIRST walk for 4004 steps (12 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 67 ms. (58 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 31 ms. (125 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 24 ms. (160 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 33 ms. (117 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 28 ms. (138 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 25 ms. (153 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (16 resets) in 30 ms. (129 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 29 ms. (133 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 28 ms. (138 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (11 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 27 ms. (142 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 29 ms. (133 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 24 ms. (160 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4002 steps (12 resets) in 30 ms. (129 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 29 ms. (133 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 25 ms. (153 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 25 ms. (154 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (16 resets) in 32 ms. (121 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 29 ms. (133 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4002 steps (12 resets) in 29 ms. (133 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 31 ms. (125 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 30 ms. (129 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 42 ms. (93 steps per ms) remains 31/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 44 ms. (88 steps per ms) remains 31/31 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 31/31 properties
BEST_FIRST walk for 4004 steps (12 resets) in 30 ms. (129 steps per ms) remains 31/31 properties
[2025-06-03 09:06:41] [INFO ] Flow matrix only has 3421 transitions (discarded 382 similar events)
// Phase 1: matrix 3421 rows 1156 cols
[2025-06-03 09:06:41] [INFO ] Computed 92 invariants in 66 ms
[2025-06-03 09:06:41] [INFO ] State equation strengthened by 2113 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 31 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/54 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 31 unsolved
At refinement iteration 2 (OVERLAPS) 986/1040 variables, 16/19 constraints. Problems are: Problem set: 0 solved, 31 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:43] [INFO ] Deduced a trap composed of 184 places in 1371 ms of which 229 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:45] [INFO ] Deduced a trap composed of 176 places in 1891 ms of which 303 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:46] [INFO ] Deduced a trap composed of 194 places in 1482 ms of which 251 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:48] [INFO ] Deduced a trap composed of 194 places in 1581 ms of which 250 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:50] [INFO ] Deduced a trap composed of 190 places in 1671 ms of which 305 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:51] [INFO ] Deduced a trap composed of 193 places in 1615 ms of which 303 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:53] [INFO ] Deduced a trap composed of 188 places in 1465 ms of which 291 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:55] [INFO ] Deduced a trap composed of 175 places in 1514 ms of which 271 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:56] [INFO ] Deduced a trap composed of 175 places in 1740 ms of which 279 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:58] [INFO ] Deduced a trap composed of 193 places in 1461 ms of which 306 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:06:59] [INFO ] Deduced a trap composed of 188 places in 1668 ms of which 296 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:01] [INFO ] Deduced a trap composed of 188 places in 1698 ms of which 290 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:03] [INFO ] Deduced a trap composed of 203 places in 1530 ms of which 312 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:04] [INFO ] Deduced a trap composed of 168 places in 1377 ms of which 279 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:06] [INFO ] Deduced a trap composed of 189 places in 1678 ms of which 325 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:08] [INFO ] Deduced a trap composed of 176 places in 1628 ms of which 284 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:09] [INFO ] Deduced a trap composed of 194 places in 1667 ms of which 301 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:11] [INFO ] Deduced a trap composed of 176 places in 1582 ms of which 288 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:12] [INFO ] Deduced a trap composed of 188 places in 1495 ms of which 312 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:14] [INFO ] Deduced a trap composed of 203 places in 1334 ms of which 324 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1040 variables, 20/39 constraints. Problems are: Problem set: 0 solved, 31 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:16] [INFO ] Deduced a trap composed of 188 places in 1600 ms of which 239 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:18] [INFO ] Deduced a trap composed of 176 places in 1584 ms of which 226 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:20] [INFO ] Deduced a trap composed of 176 places in 1635 ms of which 284 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:21] [INFO ] Deduced a trap composed of 177 places in 1555 ms of which 276 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:23] [INFO ] Deduced a trap composed of 262 places in 1391 ms of which 389 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:24] [INFO ] Deduced a trap composed of 299 places in 1425 ms of which 417 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:26] [INFO ] Deduced a trap composed of 176 places in 1413 ms of which 280 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:27] [INFO ] Deduced a trap composed of 218 places in 1565 ms of which 328 ms to minimize.
SMT process timed out in 46149ms, After SMT, problems are : Problem set: 0 solved, 31 unsolved
Fused 31 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 54 out of 1156 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1156/1156 places, 3803/3803 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1156 transition count 3801
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1154 transition count 3801
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 4 place count 1154 transition count 3800
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6 place count 1153 transition count 3800
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 7 place count 1152 transition count 3799
Iterating global reduction 2 with 1 rules applied. Total rules applied 8 place count 1152 transition count 3799
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 1152 transition count 3797
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 12 place count 1150 transition count 3797
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 15 place count 1150 transition count 3797
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 17 place count 1148 transition count 3795
Iterating global reduction 3 with 2 rules applied. Total rules applied 19 place count 1148 transition count 3795
Applied a total of 19 rules in 560 ms. Remains 1148 /1156 variables (removed 8) and now considering 3795/3803 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 560 ms. Remains : 1148/1156 places, 3795/3803 transitions.
RANDOM walk for 40000 steps (1122 resets) in 1627 ms. (24 steps per ms) remains 30/31 properties
BEST_FIRST walk for 4003 steps (12 resets) in 24 ms. (160 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 27 ms. (143 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 27 ms. (142 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 26 ms. (148 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 26 ms. (148 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (10 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (11 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 27 ms. (143 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 21 ms. (181 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (13 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 32 ms. (121 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4002 steps (12 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4002 steps (12 resets) in 21 ms. (181 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (11 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (13 resets) in 21 ms. (181 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 21 ms. (181 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 21 ms. (181 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (12 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (12 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
Interrupted probabilistic random walk after 36106 steps, run timeout after 3001 ms. (steps per millisecond=12 ) properties seen :0 out of 30
Probabilistic random walk after 36106 steps, saw 15515 distinct states, run finished after 3014 ms. (steps per millisecond=11 ) properties seen :0
[2025-06-03 09:07:31] [INFO ] Flow matrix only has 3413 transitions (discarded 382 similar events)
// Phase 1: matrix 3413 rows 1148 cols
[2025-06-03 09:07:32] [INFO ] Computed 92 invariants in 67 ms
[2025-06-03 09:07:32] [INFO ] State equation strengthened by 2113 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/53 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/53 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 2 (OVERLAPS) 966/1019 variables, 16/19 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:33] [INFO ] Deduced a trap composed of 190 places in 1043 ms of which 238 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:35] [INFO ] Deduced a trap composed of 203 places in 1545 ms of which 263 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:36] [INFO ] Deduced a trap composed of 218 places in 1245 ms of which 276 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:37] [INFO ] Deduced a trap composed of 233 places in 1321 ms of which 305 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:39] [INFO ] Deduced a trap composed of 233 places in 1250 ms of which 298 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:40] [INFO ] Deduced a trap composed of 240 places in 1244 ms of which 298 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:41] [INFO ] Deduced a trap composed of 242 places in 1244 ms of which 318 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:42] [INFO ] Deduced a trap composed of 262 places in 1261 ms of which 294 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:44] [INFO ] Deduced a trap composed of 299 places in 1501 ms of which 325 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:45] [INFO ] Deduced a trap composed of 314 places in 1332 ms of which 362 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:47] [INFO ] Deduced a trap composed of 329 places in 1430 ms of which 381 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:48] [INFO ] Deduced a trap composed of 329 places in 1656 ms of which 557 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:50] [INFO ] Deduced a trap composed of 336 places in 1446 ms of which 391 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:52] [INFO ] Deduced a trap composed of 338 places in 1572 ms of which 425 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:53] [INFO ] Deduced a trap composed of 203 places in 1258 ms of which 242 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:54] [INFO ] Deduced a trap composed of 218 places in 1251 ms of which 287 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:55] [INFO ] Deduced a trap composed of 218 places in 1337 ms of which 255 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:57] [INFO ] Deduced a trap composed of 239 places in 1420 ms of which 281 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:07:58] [INFO ] Deduced a trap composed of 233 places in 1412 ms of which 285 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:00] [INFO ] Deduced a trap composed of 254 places in 1460 ms of which 319 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1019 variables, 20/39 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:02] [INFO ] Deduced a trap composed of 233 places in 1478 ms of which 307 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:04] [INFO ] Deduced a trap composed of 240 places in 1399 ms of which 303 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:05] [INFO ] Deduced a trap composed of 242 places in 1458 ms of which 320 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:07] [INFO ] Deduced a trap composed of 254 places in 1547 ms of which 321 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:08] [INFO ] Deduced a trap composed of 261 places in 1402 ms of which 321 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:10] [INFO ] Deduced a trap composed of 263 places in 1543 ms of which 330 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:11] [INFO ] Deduced a trap composed of 299 places in 1408 ms of which 339 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:13] [INFO ] Deduced a trap composed of 314 places in 1527 ms of which 383 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:14] [INFO ] Deduced a trap composed of 329 places in 1529 ms of which 389 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:16] [INFO ] Deduced a trap composed of 329 places in 1348 ms of which 396 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:17] [INFO ] Deduced a trap composed of 336 places in 1550 ms of which 390 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:19] [INFO ] Deduced a trap composed of 338 places in 1496 ms of which 441 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:20] [INFO ] Deduced a trap composed of 374 places in 1363 ms of which 428 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:21] [INFO ] Deduced a trap composed of 409 places in 1256 ms of which 296 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:23] [INFO ] Deduced a trap composed of 413 places in 1570 ms of which 489 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:25] [INFO ] Deduced a trap composed of 428 places in 1572 ms of which 509 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:26] [INFO ] Deduced a trap composed of 428 places in 1438 ms of which 516 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:28] [INFO ] Deduced a trap composed of 428 places in 1600 ms of which 492 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:29] [INFO ] Deduced a trap composed of 435 places in 1432 ms of which 517 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:31] [INFO ] Deduced a trap composed of 437 places in 1584 ms of which 532 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1019 variables, 20/59 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:32] [INFO ] Deduced a trap composed of 404 places in 1237 ms of which 295 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:33] [INFO ] Deduced a trap composed of 145 places in 1067 ms of which 199 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:35] [INFO ] Deduced a trap composed of 388 places in 1217 ms of which 284 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:36] [INFO ] Deduced a trap composed of 247 places in 1291 ms of which 334 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:37] [INFO ] Deduced a trap composed of 247 places in 1248 ms of which 329 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:38] [INFO ] Deduced a trap composed of 264 places in 1101 ms of which 343 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:40] [INFO ] Deduced a trap composed of 268 places in 1505 ms of which 341 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:41] [INFO ] Deduced a trap composed of 343 places in 1373 ms of which 426 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:43] [INFO ] Deduced a trap composed of 360 places in 1385 ms of which 458 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:44] [INFO ] Deduced a trap composed of 364 places in 1494 ms of which 430 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:46] [INFO ] Deduced a trap composed of 247 places in 1611 ms of which 326 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 09:08:47] [INFO ] Deduced a trap composed of 286 places in 1417 ms of which 364 ms to minimize.
SMT process timed out in 76005ms, After SMT, problems are : Problem set: 0 solved, 30 unsolved
Fused 30 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 53 out of 1148 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1148/1148 places, 3795/3795 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 1148 transition count 3794
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1147 transition count 3794
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 1147 transition count 3794
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 4 place count 1146 transition count 3793
Iterating global reduction 2 with 1 rules applied. Total rules applied 5 place count 1146 transition count 3793
Applied a total of 5 rules in 521 ms. Remains 1146 /1148 variables (removed 2) and now considering 3793/3795 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 526 ms. Remains : 1146/1148 places, 3793/3795 transitions.
Successfully simplified 10 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2023-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 09:08:48] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2025-06-03 09:08:48] [INFO ] Flatten gal took : 182 ms
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2023-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 09:08:48] [INFO ] Flatten gal took : 192 ms
[2025-06-03 09:08:49] [INFO ] Input system was already deterministic with 3381 transitions.
Support contains 97 out of 1524 places (down from 124) after GAL structural reductions.
Computed a total of 692 stabilizing places and 1748 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 1447 transition count 3209
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 1447 transition count 3209
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 208 place count 1393 transition count 3060
Iterating global reduction 0 with 54 rules applied. Total rules applied 262 place count 1393 transition count 3060
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 294 place count 1361 transition count 2868
Iterating global reduction 0 with 32 rules applied. Total rules applied 326 place count 1361 transition count 2868
Applied a total of 326 rules in 416 ms. Remains 1361 /1524 variables (removed 163) and now considering 2868/3381 (removed 513) transitions.
[2025-06-03 09:08:49] [INFO ] Flow matrix only has 2596 transitions (discarded 272 similar events)
// Phase 1: matrix 2596 rows 1361 cols
[2025-06-03 09:08:49] [INFO ] Computed 92 invariants in 32 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:08:53] [INFO ] Implicit Places using invariants in 3684 ms returned [10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 567, 581, 602, 627, 641, 664, 674, 675, 698, 699, 712, 713, 714, 718, 744, 764, 791, 816, 838, 847, 914, 959, 960, 1008, 1009, 1010, 1011, 1069, 1070, 1133, 1206]
[2025-06-03 09:08:53] [INFO ] Actually due to overlaps returned [838, 10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 567, 581, 602, 627, 641, 664, 674, 675, 698, 699, 712, 713, 714, 744, 764, 791, 816, 847, 914, 959, 960, 1008, 1009, 1010, 1011, 1069, 1070, 1133, 1206]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 3700 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1317/1524 places, 2868/3381 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 1274 transition count 2825
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 1274 transition count 2825
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 1231 transition count 2782
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 1231 transition count 2782
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 1188 transition count 2739
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 1188 transition count 2739
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 282 place count 1164 transition count 2595
Iterating global reduction 0 with 24 rules applied. Total rules applied 306 place count 1164 transition count 2595
Applied a total of 306 rules in 352 ms. Remains 1164 /1317 variables (removed 153) and now considering 2595/2868 (removed 273) transitions.
[2025-06-03 09:08:53] [INFO ] Flow matrix only has 2323 transitions (discarded 272 similar events)
// Phase 1: matrix 2323 rows 1164 cols
[2025-06-03 09:08:53] [INFO ] Computed 48 invariants in 43 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:08:55] [INFO ] Implicit Places using invariants in 2152 ms returned [633]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2167 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1163/1524 places, 2595/3381 transitions.
Applied a total of 0 rules in 68 ms. Remains 1163 /1163 variables (removed 0) and now considering 2595/2595 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 6704 ms. Remains : 1163/1524 places, 2595/3381 transitions.
[2025-06-03 09:08:56] [INFO ] Flatten gal took : 78 ms
[2025-06-03 09:08:56] [INFO ] Flatten gal took : 93 ms
[2025-06-03 09:08:56] [INFO ] Input system was already deterministic with 2595 transitions.
[2025-06-03 09:08:56] [INFO ] Flatten gal took : 76 ms
[2025-06-03 09:08:56] [INFO ] Flatten gal took : 83 ms
[2025-06-03 09:08:56] [INFO ] Time to serialize gal into /tmp/CTLFireability10152234826546924332.gal : 70 ms
[2025-06-03 09:08:56] [INFO ] Time to serialize properties into /tmp/CTLFireability4590178658139009734.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10152234826546924332.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4590178658139009734.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:09:26] [INFO ] Flatten gal took : 86 ms
[2025-06-03 09:09:26] [INFO ] Applying decomposition
[2025-06-03 09:09:27] [INFO ] Flatten gal took : 138 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/graph18288088084752689887.txt' '-o' '/tmp/graph18288088084752689887.bin' '-w' '/tmp/graph18288088084752689887.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18288088084752689887.bin' '-l' '-1' '-v' '-w' '/tmp/graph18288088084752689887.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:09:27] [INFO ] Decomposing Gal with order
[2025-06-03 09:09:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:09:28] [INFO ] Removed a total of 3162 redundant transitions.
[2025-06-03 09:09:28] [INFO ] Flatten gal took : 558 ms
[2025-06-03 09:09:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 1161 labels/synchronizations in 210 ms.
[2025-06-03 09:09:28] [INFO ] Time to serialize gal into /tmp/CTLFireability16653657961952794808.gal : 42 ms
[2025-06-03 09:09:28] [INFO ] Time to serialize properties into /tmp/CTLFireability5402240894794026463.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/CTLFireability16653657961952794808.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5402240894794026463.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 1450 transition count 3217
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 1450 transition count 3217
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 199 place count 1399 transition count 3066
Iterating global reduction 0 with 51 rules applied. Total rules applied 250 place count 1399 transition count 3066
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 279 place count 1370 transition count 2892
Iterating global reduction 0 with 29 rules applied. Total rules applied 308 place count 1370 transition count 2892
Applied a total of 308 rules in 329 ms. Remains 1370 /1524 variables (removed 154) and now considering 2892/3381 (removed 489) transitions.
[2025-06-03 09:09:59] [INFO ] Flow matrix only has 2620 transitions (discarded 272 similar events)
// Phase 1: matrix 2620 rows 1370 cols
[2025-06-03 09:09:59] [INFO ] Computed 92 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:10:04] [INFO ] Implicit Places using invariants in 4841 ms returned [10, 15, 102, 397, 398, 467, 468, 469, 470, 527, 528, 529, 572, 586, 607, 632, 633, 643, 666, 676, 704, 705, 718, 719, 724, 752, 753, 771, 799, 824, 846, 855, 922, 967, 968, 1016, 1017, 1018, 1019, 1077, 1078, 1141, 1214]
[2025-06-03 09:10:04] [INFO ] Actually due to overlaps returned [846, 10, 15, 102, 397, 398, 467, 468, 469, 470, 527, 528, 529, 572, 586, 607, 632, 633, 643, 666, 676, 704, 705, 718, 719, 752, 753, 771, 799, 824, 855, 922, 967, 968, 1016, 1017, 1018, 1019, 1077, 1078, 1141, 1214]
Discarding 42 places :
Implicit Place search using SMT only with invariants took 4844 ms to find 42 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1328/1524 places, 2892/3381 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1287 transition count 2851
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1287 transition count 2851
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 1246 transition count 2810
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 1246 transition count 2810
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 1205 transition count 2769
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 1205 transition count 2769
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 268 place count 1183 transition count 2637
Iterating global reduction 0 with 22 rules applied. Total rules applied 290 place count 1183 transition count 2637
Applied a total of 290 rules in 356 ms. Remains 1183 /1328 variables (removed 145) and now considering 2637/2892 (removed 255) transitions.
[2025-06-03 09:10:04] [INFO ] Flow matrix only has 2365 transitions (discarded 272 similar events)
// Phase 1: matrix 2365 rows 1183 cols
[2025-06-03 09:10:04] [INFO ] Computed 50 invariants in 28 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:10:07] [INFO ] Implicit Places using invariants in 2931 ms returned [649]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2933 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1182/1524 places, 2637/3381 transitions.
Applied a total of 0 rules in 88 ms. Remains 1182 /1182 variables (removed 0) and now considering 2637/2637 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 8550 ms. Remains : 1182/1524 places, 2637/3381 transitions.
[2025-06-03 09:10:07] [INFO ] Flatten gal took : 89 ms
[2025-06-03 09:10:07] [INFO ] Flatten gal took : 111 ms
[2025-06-03 09:10:07] [INFO ] Input system was already deterministic with 2637 transitions.
[2025-06-03 09:10:07] [INFO ] Flatten gal took : 101 ms
[2025-06-03 09:10:08] [INFO ] Flatten gal took : 84 ms
[2025-06-03 09:10:08] [INFO ] Time to serialize gal into /tmp/CTLFireability2991748754163022799.gal : 16 ms
[2025-06-03 09:10:08] [INFO ] Time to serialize properties into /tmp/CTLFireability16304094360269028083.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/CTLFireability2991748754163022799.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16304094360269028083.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:10:38] [INFO ] Flatten gal took : 84 ms
[2025-06-03 09:10:38] [INFO ] Applying decomposition
[2025-06-03 09:10:38] [INFO ] Flatten gal took : 118 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/graph2627859734891680620.txt' '-o' '/tmp/graph2627859734891680620.bin' '-w' '/tmp/graph2627859734891680620.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2627859734891680620.bin' '-l' '-1' '-v' '-w' '/tmp/graph2627859734891680620.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:10:38] [INFO ] Decomposing Gal with order
[2025-06-03 09:10:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:10:38] [INFO ] Removed a total of 3149 redundant transitions.
[2025-06-03 09:10:38] [INFO ] Flatten gal took : 235 ms
[2025-06-03 09:10:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 1995 labels/synchronizations in 173 ms.
[2025-06-03 09:10:39] [INFO ] Time to serialize gal into /tmp/CTLFireability5941314916804623051.gal : 25 ms
[2025-06-03 09:10:39] [INFO ] Time to serialize properties into /tmp/CTLFireability4351268241701458186.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/CTLFireability5941314916804623051.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4351268241701458186.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 72 places :
Symmetric choice reduction at 0 with 72 rule applications. Total rules 72 place count 1452 transition count 3234
Iterating global reduction 0 with 72 rules applied. Total rules applied 144 place count 1452 transition count 3234
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 195 place count 1401 transition count 3088
Iterating global reduction 0 with 51 rules applied. Total rules applied 246 place count 1401 transition count 3088
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 276 place count 1371 transition count 2908
Iterating global reduction 0 with 30 rules applied. Total rules applied 306 place count 1371 transition count 2908
Applied a total of 306 rules in 334 ms. Remains 1371 /1524 variables (removed 153) and now considering 2908/3381 (removed 473) transitions.
[2025-06-03 09:11:09] [INFO ] Flow matrix only has 2636 transitions (discarded 272 similar events)
// Phase 1: matrix 2636 rows 1371 cols
[2025-06-03 09:11:09] [INFO ] Computed 92 invariants in 41 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:11:13] [INFO ] Implicit Places using invariants in 4248 ms returned [10, 15, 102, 253, 304, 393, 394, 465, 466, 467, 468, 525, 526, 527, 570, 636, 637, 647, 670, 680, 681, 704, 705, 718, 721, 727, 752, 753, 771, 799, 824, 846, 855, 922, 967, 968, 1016, 1017, 1018, 1019, 1078, 1079, 1142, 1215]
[2025-06-03 09:11:13] [INFO ] Actually due to overlaps returned [846, 10, 15, 102, 253, 304, 393, 394, 465, 466, 467, 468, 525, 526, 527, 570, 636, 637, 647, 670, 680, 681, 704, 705, 718, 721, 752, 753, 771, 799, 824, 855, 922, 967, 968, 1016, 1017, 1018, 1019, 1078, 1079, 1142, 1215]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 4254 ms to find 43 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1328/1524 places, 2908/3381 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 1286 transition count 2866
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 1286 transition count 2866
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 126 place count 1244 transition count 2824
Iterating global reduction 0 with 42 rules applied. Total rules applied 168 place count 1244 transition count 2824
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 210 place count 1202 transition count 2782
Iterating global reduction 0 with 42 rules applied. Total rules applied 252 place count 1202 transition count 2782
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 275 place count 1179 transition count 2644
Iterating global reduction 0 with 23 rules applied. Total rules applied 298 place count 1179 transition count 2644
Applied a total of 298 rules in 483 ms. Remains 1179 /1328 variables (removed 149) and now considering 2644/2908 (removed 264) transitions.
[2025-06-03 09:11:14] [INFO ] Flow matrix only has 2372 transitions (discarded 272 similar events)
// Phase 1: matrix 2372 rows 1179 cols
[2025-06-03 09:11:14] [INFO ] Computed 49 invariants in 38 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:11:16] [INFO ] Implicit Places using invariants in 2171 ms returned [647]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2174 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1178/1524 places, 2644/3381 transitions.
Applied a total of 0 rules in 64 ms. Remains 1178 /1178 variables (removed 0) and now considering 2644/2644 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7313 ms. Remains : 1178/1524 places, 2644/3381 transitions.
[2025-06-03 09:11:16] [INFO ] Flatten gal took : 60 ms
[2025-06-03 09:11:16] [INFO ] Flatten gal took : 72 ms
[2025-06-03 09:11:16] [INFO ] Input system was already deterministic with 2644 transitions.
[2025-06-03 09:11:17] [INFO ] Flatten gal took : 85 ms
[2025-06-03 09:11:17] [INFO ] Flatten gal took : 69 ms
[2025-06-03 09:11:17] [INFO ] Time to serialize gal into /tmp/CTLFireability16184455013372074293.gal : 13 ms
[2025-06-03 09:11:17] [INFO ] Time to serialize properties into /tmp/CTLFireability12221469120382267079.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/CTLFireability16184455013372074293.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12221469120382267079.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:11:47] [INFO ] Flatten gal took : 70 ms
[2025-06-03 09:11:47] [INFO ] Applying decomposition
[2025-06-03 09:11:47] [INFO ] Flatten gal took : 76 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/graph10996566624543970667.txt' '-o' '/tmp/graph10996566624543970667.bin' '-w' '/tmp/graph10996566624543970667.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10996566624543970667.bin' '-l' '-1' '-v' '-w' '/tmp/graph10996566624543970667.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:11:47] [INFO ] Decomposing Gal with order
[2025-06-03 09:11:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:11:47] [INFO ] Removed a total of 3087 redundant transitions.
[2025-06-03 09:11:47] [INFO ] Flatten gal took : 210 ms
[2025-06-03 09:11:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 2011 labels/synchronizations in 152 ms.
[2025-06-03 09:11:48] [INFO ] Time to serialize gal into /tmp/CTLFireability7924800178920398464.gal : 20 ms
[2025-06-03 09:11:48] [INFO ] Time to serialize properties into /tmp/CTLFireability6813077127689030470.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/CTLFireability7924800178920398464.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6813077127689030470.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 70 place count 1454 transition count 3226
Iterating global reduction 0 with 70 rules applied. Total rules applied 140 place count 1454 transition count 3226
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 190 place count 1404 transition count 3086
Iterating global reduction 0 with 50 rules applied. Total rules applied 240 place count 1404 transition count 3086
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 268 place count 1376 transition count 2918
Iterating global reduction 0 with 28 rules applied. Total rules applied 296 place count 1376 transition count 2918
Applied a total of 296 rules in 297 ms. Remains 1376 /1524 variables (removed 148) and now considering 2918/3381 (removed 463) transitions.
[2025-06-03 09:12:18] [INFO ] Flow matrix only has 2646 transitions (discarded 272 similar events)
// Phase 1: matrix 2646 rows 1376 cols
[2025-06-03 09:12:18] [INFO ] Computed 92 invariants in 34 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:12:22] [INFO ] Implicit Places using invariants in 4378 ms returned [15, 105, 256, 307, 395, 396, 465, 466, 467, 468, 525, 526, 527, 570, 584, 605, 630, 631, 641, 665, 676, 702, 703, 717, 718, 724, 749, 750, 798, 823, 845, 854, 969, 970, 1018, 1019, 1020, 1021, 1080, 1145]
[2025-06-03 09:12:22] [INFO ] Actually due to overlaps returned [845, 15, 105, 256, 307, 395, 396, 465, 466, 467, 468, 525, 526, 527, 570, 584, 605, 630, 631, 641, 665, 676, 702, 703, 717, 718, 749, 750, 798, 823, 854, 969, 970, 1018, 1019, 1020, 1021, 1080, 1145]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 4382 ms to find 39 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1337/1524 places, 2918/3381 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 1299 transition count 2880
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 1299 transition count 2880
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 114 place count 1261 transition count 2842
Iterating global reduction 0 with 38 rules applied. Total rules applied 152 place count 1261 transition count 2842
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 189 place count 1224 transition count 2805
Iterating global reduction 0 with 37 rules applied. Total rules applied 226 place count 1224 transition count 2805
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 244 place count 1206 transition count 2697
Iterating global reduction 0 with 18 rules applied. Total rules applied 262 place count 1206 transition count 2697
Applied a total of 262 rules in 362 ms. Remains 1206 /1337 variables (removed 131) and now considering 2697/2918 (removed 221) transitions.
[2025-06-03 09:12:23] [INFO ] Flow matrix only has 2425 transitions (discarded 272 similar events)
// Phase 1: matrix 2425 rows 1206 cols
[2025-06-03 09:12:23] [INFO ] Computed 53 invariants in 35 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:12:25] [INFO ] Implicit Places using invariants in 2526 ms returned [644]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2529 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1205/1524 places, 2697/3381 transitions.
Applied a total of 0 rules in 75 ms. Remains 1205 /1205 variables (removed 0) and now considering 2697/2697 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7646 ms. Remains : 1205/1524 places, 2697/3381 transitions.
[2025-06-03 09:12:25] [INFO ] Flatten gal took : 63 ms
[2025-06-03 09:12:26] [INFO ] Flatten gal took : 72 ms
[2025-06-03 09:12:26] [INFO ] Input system was already deterministic with 2697 transitions.
[2025-06-03 09:12:26] [INFO ] Flatten gal took : 116 ms
[2025-06-03 09:12:26] [INFO ] Flatten gal took : 121 ms
[2025-06-03 09:12:26] [INFO ] Time to serialize gal into /tmp/CTLFireability6464399971038426038.gal : 26 ms
[2025-06-03 09:12:26] [INFO ] Time to serialize properties into /tmp/CTLFireability11633957043653654261.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/CTLFireability6464399971038426038.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11633957043653654261.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:12:56] [INFO ] Flatten gal took : 119 ms
[2025-06-03 09:12:56] [INFO ] Applying decomposition
[2025-06-03 09:12:56] [INFO ] Flatten gal took : 124 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/graph18315530886580723574.txt' '-o' '/tmp/graph18315530886580723574.bin' '-w' '/tmp/graph18315530886580723574.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18315530886580723574.bin' '-l' '-1' '-v' '-w' '/tmp/graph18315530886580723574.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:12:57] [INFO ] Decomposing Gal with order
[2025-06-03 09:12:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:12:57] [INFO ] Removed a total of 3178 redundant transitions.
[2025-06-03 09:12:57] [INFO ] Flatten gal took : 319 ms
[2025-06-03 09:12:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 1583 labels/synchronizations in 148 ms.
[2025-06-03 09:12:57] [INFO ] Time to serialize gal into /tmp/CTLFireability16290434658694559453.gal : 35 ms
[2025-06-03 09:12:57] [INFO ] Time to serialize properties into /tmp/CTLFireability13243576675319858482.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/CTLFireability16290434658694559453.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13243576675319858482.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 1446 transition count 3213
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 1446 transition count 3213
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 211 place count 1391 transition count 3058
Iterating global reduction 0 with 55 rules applied. Total rules applied 266 place count 1391 transition count 3058
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 298 place count 1359 transition count 2866
Iterating global reduction 0 with 32 rules applied. Total rules applied 330 place count 1359 transition count 2866
Applied a total of 330 rules in 302 ms. Remains 1359 /1524 variables (removed 165) and now considering 2866/3381 (removed 515) transitions.
[2025-06-03 09:13:28] [INFO ] Flow matrix only has 2594 transitions (discarded 272 similar events)
// Phase 1: matrix 2594 rows 1359 cols
[2025-06-03 09:13:28] [INFO ] Computed 92 invariants in 59 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:13:33] [INFO ] Implicit Places using invariants in 4858 ms returned [10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 581, 602, 627, 628, 638, 661, 671, 672, 695, 696, 709, 710, 711, 715, 740, 741, 759, 786, 811, 833, 842, 909, 954, 955, 1003, 1004, 1005, 1006, 1064, 1131, 1204]
[2025-06-03 09:13:33] [INFO ] Actually due to overlaps returned [833, 10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 581, 602, 627, 628, 638, 661, 671, 672, 695, 696, 709, 710, 711, 740, 741, 759, 786, 811, 842, 909, 954, 955, 1003, 1004, 1005, 1006, 1064, 1131, 1204]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 4866 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1314/1524 places, 2866/3381 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 1270 transition count 2822
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 1270 transition count 2822
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 132 place count 1226 transition count 2778
Iterating global reduction 0 with 44 rules applied. Total rules applied 176 place count 1226 transition count 2778
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 219 place count 1183 transition count 2735
Iterating global reduction 0 with 43 rules applied. Total rules applied 262 place count 1183 transition count 2735
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 287 place count 1158 transition count 2585
Iterating global reduction 0 with 25 rules applied. Total rules applied 312 place count 1158 transition count 2585
Applied a total of 312 rules in 349 ms. Remains 1158 /1314 variables (removed 156) and now considering 2585/2866 (removed 281) transitions.
[2025-06-03 09:13:33] [INFO ] Flow matrix only has 2313 transitions (discarded 272 similar events)
// Phase 1: matrix 2313 rows 1158 cols
[2025-06-03 09:13:33] [INFO ] Computed 47 invariants in 25 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:13:35] [INFO ] Implicit Places using invariants in 2149 ms returned [627]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2160 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1157/1524 places, 2585/3381 transitions.
Applied a total of 0 rules in 64 ms. Remains 1157 /1157 variables (removed 0) and now considering 2585/2585 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7746 ms. Remains : 1157/1524 places, 2585/3381 transitions.
[2025-06-03 09:13:35] [INFO ] Flatten gal took : 52 ms
[2025-06-03 09:13:35] [INFO ] Flatten gal took : 76 ms
[2025-06-03 09:13:35] [INFO ] Input system was already deterministic with 2585 transitions.
[2025-06-03 09:13:35] [INFO ] Flatten gal took : 61 ms
[2025-06-03 09:13:36] [INFO ] Flatten gal took : 105 ms
[2025-06-03 09:13:36] [INFO ] Time to serialize gal into /tmp/CTLFireability15994283166674554252.gal : 18 ms
[2025-06-03 09:13:36] [INFO ] Time to serialize properties into /tmp/CTLFireability17228962893200893905.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/CTLFireability15994283166674554252.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17228962893200893905.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:14:06] [INFO ] Flatten gal took : 120 ms
[2025-06-03 09:14:06] [INFO ] Applying decomposition
[2025-06-03 09:14:06] [INFO ] Flatten gal took : 122 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/graph14561394234475930013.txt' '-o' '/tmp/graph14561394234475930013.bin' '-w' '/tmp/graph14561394234475930013.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14561394234475930013.bin' '-l' '-1' '-v' '-w' '/tmp/graph14561394234475930013.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:14:06] [INFO ] Decomposing Gal with order
[2025-06-03 09:14:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:14:07] [INFO ] Removed a total of 2970 redundant transitions.
[2025-06-03 09:14:07] [INFO ] Flatten gal took : 302 ms
[2025-06-03 09:14:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 1732 labels/synchronizations in 153 ms.
[2025-06-03 09:14:07] [INFO ] Time to serialize gal into /tmp/CTLFireability12885557868304991601.gal : 31 ms
[2025-06-03 09:14:07] [INFO ] Time to serialize properties into /tmp/CTLFireability13120777944892681085.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/CTLFireability12885557868304991601.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13120777944892681085.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 43 transitions
Trivial Post-agglo rules discarded 43 transitions
Performed 43 trivial Post agglomeration. Transition count delta: 43
Iterating post reduction 0 with 43 rules applied. Total rules applied 43 place count 1524 transition count 3338
Reduce places removed 43 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 44 rules applied. Total rules applied 87 place count 1481 transition count 3337
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 88 place count 1480 transition count 3337
Performed 48 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 48 Pre rules applied. Total rules applied 88 place count 1480 transition count 3289
Deduced a syphon composed of 48 places in 4 ms
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 3 with 96 rules applied. Total rules applied 184 place count 1432 transition count 3289
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 232 place count 1384 transition count 3146
Iterating global reduction 3 with 48 rules applied. Total rules applied 280 place count 1384 transition count 3146
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 280 place count 1384 transition count 3144
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 284 place count 1382 transition count 3144
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 308 place count 1358 transition count 3010
Iterating global reduction 3 with 24 rules applied. Total rules applied 332 place count 1358 transition count 3010
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 3 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 3 with 74 rules applied. Total rules applied 406 place count 1321 transition count 2973
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 437 place count 1290 transition count 2942
Iterating global reduction 3 with 31 rules applied. Total rules applied 468 place count 1290 transition count 2942
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 498 place count 1260 transition count 2762
Iterating global reduction 3 with 30 rules applied. Total rules applied 528 place count 1260 transition count 2762
Applied a total of 528 rules in 1242 ms. Remains 1260 /1524 variables (removed 264) and now considering 2762/3381 (removed 619) transitions.
[2025-06-03 09:14:38] [INFO ] Flow matrix only has 2490 transitions (discarded 272 similar events)
// Phase 1: matrix 2490 rows 1260 cols
[2025-06-03 09:14:38] [INFO ] Computed 92 invariants in 50 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:14:43] [INFO ] Implicit Places using invariants in 4623 ms returned [9, 10, 95, 227, 361, 362, 428, 429, 430, 431, 483, 484, 485, 524, 538, 556, 579, 580, 590, 609, 619, 620, 639, 640, 653, 654, 655, 659, 678, 679, 697, 720, 745, 765, 773, 838, 883, 884, 928, 929, 930, 931, 989, 990, 1046, 1119]
[2025-06-03 09:14:43] [INFO ] Actually due to overlaps returned [765, 9, 10, 95, 227, 361, 362, 428, 429, 430, 431, 483, 484, 485, 524, 538, 556, 579, 580, 590, 609, 619, 620, 639, 640, 653, 654, 655, 678, 679, 697, 720, 745, 773, 838, 883, 884, 928, 929, 930, 931, 989, 990, 1046, 1119]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 4629 ms to find 45 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1215/1524 places, 2762/3381 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 1181 transition count 2728
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 1181 transition count 2728
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 102 place count 1147 transition count 2694
Iterating global reduction 0 with 34 rules applied. Total rules applied 136 place count 1147 transition count 2694
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 144 place count 1139 transition count 2646
Iterating global reduction 0 with 8 rules applied. Total rules applied 152 place count 1139 transition count 2646
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 2 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 172 place count 1129 transition count 2636
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 182 place count 1119 transition count 2626
Iterating global reduction 0 with 10 rules applied. Total rules applied 192 place count 1119 transition count 2626
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 210 place count 1101 transition count 2518
Iterating global reduction 0 with 18 rules applied. Total rules applied 228 place count 1101 transition count 2518
Applied a total of 228 rules in 1064 ms. Remains 1101 /1215 variables (removed 114) and now considering 2518/2762 (removed 244) transitions.
[2025-06-03 09:14:44] [INFO ] Flow matrix only has 2246 transitions (discarded 272 similar events)
// Phase 1: matrix 2246 rows 1101 cols
[2025-06-03 09:14:44] [INFO ] Computed 47 invariants in 48 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:14:46] [INFO ] Implicit Places using invariants in 2370 ms returned [595]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2375 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1100/1524 places, 2518/3381 transitions.
Applied a total of 0 rules in 204 ms. Remains 1100 /1100 variables (removed 0) and now considering 2518/2518 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 9516 ms. Remains : 1100/1524 places, 2518/3381 transitions.
[2025-06-03 09:14:47] [INFO ] Flatten gal took : 77 ms
[2025-06-03 09:14:47] [INFO ] Flatten gal took : 95 ms
[2025-06-03 09:14:47] [INFO ] Input system was already deterministic with 2518 transitions.
[2025-06-03 09:14:47] [INFO ] Flatten gal took : 92 ms
[2025-06-03 09:14:47] [INFO ] Flatten gal took : 70 ms
[2025-06-03 09:14:47] [INFO ] Time to serialize gal into /tmp/CTLFireability9311447663001186248.gal : 13 ms
[2025-06-03 09:14:47] [INFO ] Time to serialize properties into /tmp/CTLFireability8799258693444709471.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/CTLFireability9311447663001186248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8799258693444709471.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:15:17] [INFO ] Flatten gal took : 91 ms
[2025-06-03 09:15:17] [INFO ] Applying decomposition
[2025-06-03 09:15:17] [INFO ] Flatten gal took : 95 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/graph1237978479551892180.txt' '-o' '/tmp/graph1237978479551892180.bin' '-w' '/tmp/graph1237978479551892180.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1237978479551892180.bin' '-l' '-1' '-v' '-w' '/tmp/graph1237978479551892180.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:15:17] [INFO ] Decomposing Gal with order
[2025-06-03 09:15:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:15:18] [INFO ] Removed a total of 2256 redundant transitions.
[2025-06-03 09:15:18] [INFO ] Flatten gal took : 407 ms
[2025-06-03 09:15:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 1397 labels/synchronizations in 93 ms.
[2025-06-03 09:15:18] [INFO ] Time to serialize gal into /tmp/CTLFireability2918655864228279165.gal : 25 ms
[2025-06-03 09:15:18] [INFO ] Time to serialize properties into /tmp/CTLFireability4327189703671216203.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/CTLFireability2918655864228279165.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4327189703671216203.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 : 1524/1524 places, 3381/3381 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 42 transitions
Trivial Post-agglo rules discarded 42 transitions
Performed 42 trivial Post agglomeration. Transition count delta: 42
Iterating post reduction 0 with 42 rules applied. Total rules applied 42 place count 1524 transition count 3339
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 1 with 42 rules applied. Total rules applied 84 place count 1482 transition count 3339
Performed 49 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 49 Pre rules applied. Total rules applied 84 place count 1482 transition count 3290
Deduced a syphon composed of 49 places in 3 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 2 with 98 rules applied. Total rules applied 182 place count 1433 transition count 3290
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 231 place count 1384 transition count 3146
Iterating global reduction 2 with 49 rules applied. Total rules applied 280 place count 1384 transition count 3146
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 280 place count 1384 transition count 3144
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 284 place count 1382 transition count 3144
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 309 place count 1357 transition count 3004
Iterating global reduction 2 with 25 rules applied. Total rules applied 334 place count 1357 transition count 3004
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 3 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 2 with 74 rules applied. Total rules applied 408 place count 1320 transition count 2967
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 437 place count 1291 transition count 2938
Iterating global reduction 2 with 29 rules applied. Total rules applied 466 place count 1291 transition count 2938
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 494 place count 1263 transition count 2770
Iterating global reduction 2 with 28 rules applied. Total rules applied 522 place count 1263 transition count 2770
Applied a total of 522 rules in 846 ms. Remains 1263 /1524 variables (removed 261) and now considering 2770/3381 (removed 611) transitions.
[2025-06-03 09:15:49] [INFO ] Flow matrix only has 2498 transitions (discarded 272 similar events)
// Phase 1: matrix 2498 rows 1263 cols
[2025-06-03 09:15:49] [INFO ] Computed 92 invariants in 60 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:15:54] [INFO ] Implicit Places using invariants in 4599 ms returned [9, 10, 95, 227, 272, 358, 359, 425, 427, 428, 483, 484, 485, 524, 538, 556, 579, 580, 590, 609, 619, 620, 639, 640, 653, 654, 655, 659, 678, 700, 723, 748, 768, 776, 841, 886, 887, 931, 932, 933, 934, 992, 993, 1049, 1122]
[2025-06-03 09:15:54] [INFO ] Actually due to overlaps returned [768, 9, 10, 95, 227, 272, 358, 359, 425, 427, 428, 483, 484, 485, 524, 538, 556, 579, 580, 590, 609, 619, 620, 639, 640, 653, 654, 655, 678, 700, 723, 748, 776, 841, 886, 887, 931, 932, 933, 934, 992, 993, 1049, 1122]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 4608 ms to find 44 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1219/1524 places, 2770/3381 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 1186 transition count 2737
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 1186 transition count 2737
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 99 place count 1153 transition count 2704
Iterating global reduction 0 with 33 rules applied. Total rules applied 132 place count 1153 transition count 2704
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 140 place count 1145 transition count 2656
Iterating global reduction 0 with 8 rules applied. Total rules applied 148 place count 1145 transition count 2656
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 2 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 168 place count 1135 transition count 2646
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 178 place count 1125 transition count 2636
Iterating global reduction 0 with 10 rules applied. Total rules applied 188 place count 1125 transition count 2636
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 205 place count 1108 transition count 2534
Iterating global reduction 0 with 17 rules applied. Total rules applied 222 place count 1108 transition count 2534
Applied a total of 222 rules in 905 ms. Remains 1108 /1219 variables (removed 111) and now considering 2534/2770 (removed 236) transitions.
[2025-06-03 09:15:55] [INFO ] Flow matrix only has 2262 transitions (discarded 272 similar events)
// Phase 1: matrix 2262 rows 1108 cols
[2025-06-03 09:15:55] [INFO ] Computed 48 invariants in 43 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:15:58] [INFO ] Implicit Places using invariants in 2956 ms returned [595]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2959 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1107/1524 places, 2534/3381 transitions.
Applied a total of 0 rules in 195 ms. Remains 1107 /1107 variables (removed 0) and now considering 2534/2534 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 9517 ms. Remains : 1107/1524 places, 2534/3381 transitions.
[2025-06-03 09:15:58] [INFO ] Flatten gal took : 81 ms
[2025-06-03 09:15:58] [INFO ] Flatten gal took : 99 ms
[2025-06-03 09:15:58] [INFO ] Input system was already deterministic with 2534 transitions.
[2025-06-03 09:15:58] [INFO ] Flatten gal took : 95 ms
[2025-06-03 09:15:58] [INFO ] Flatten gal took : 100 ms
[2025-06-03 09:15:58] [INFO ] Time to serialize gal into /tmp/CTLFireability13579014496445088613.gal : 19 ms
[2025-06-03 09:15:58] [INFO ] Time to serialize properties into /tmp/CTLFireability14003645596483438731.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/CTLFireability13579014496445088613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14003645596483438731.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:16:29] [INFO ] Flatten gal took : 93 ms
[2025-06-03 09:16:29] [INFO ] Applying decomposition
[2025-06-03 09:16:29] [INFO ] Flatten gal took : 93 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/graph12479854134087457646.txt' '-o' '/tmp/graph12479854134087457646.bin' '-w' '/tmp/graph12479854134087457646.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12479854134087457646.bin' '-l' '-1' '-v' '-w' '/tmp/graph12479854134087457646.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:16:29] [INFO ] Decomposing Gal with order
[2025-06-03 09:16:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:16:29] [INFO ] Removed a total of 3530 redundant transitions.
[2025-06-03 09:16:29] [INFO ] Flatten gal took : 236 ms
[2025-06-03 09:16:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 1392 labels/synchronizations in 128 ms.
[2025-06-03 09:16:29] [INFO ] Time to serialize gal into /tmp/CTLFireability4806785339472020974.gal : 20 ms
[2025-06-03 09:16:29] [INFO ] Time to serialize properties into /tmp/CTLFireability5078068754607117529.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/CTLFireability4806785339472020974.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5078068754607117529.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 1446 transition count 3208
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 1446 transition count 3208
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 210 place count 1392 transition count 3054
Iterating global reduction 0 with 54 rules applied. Total rules applied 264 place count 1392 transition count 3054
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 295 place count 1361 transition count 2868
Iterating global reduction 0 with 31 rules applied. Total rules applied 326 place count 1361 transition count 2868
Applied a total of 326 rules in 319 ms. Remains 1361 /1524 variables (removed 163) and now considering 2868/3381 (removed 513) transitions.
[2025-06-03 09:17:00] [INFO ] Flow matrix only has 2596 transitions (discarded 272 similar events)
// Phase 1: matrix 2596 rows 1361 cols
[2025-06-03 09:17:00] [INFO ] Computed 92 invariants in 39 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:17:04] [INFO ] Implicit Places using invariants in 4471 ms returned [10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 580, 601, 627, 640, 663, 673, 674, 697, 698, 711, 712, 713, 717, 742, 743, 761, 788, 838, 847, 914, 959, 960, 1008, 1009, 1010, 1011, 1069, 1070, 1133, 1206]
[2025-06-03 09:17:04] [INFO ] Actually due to overlaps returned [838, 10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 580, 601, 627, 640, 663, 673, 674, 697, 698, 711, 712, 713, 742, 743, 761, 788, 847, 914, 959, 960, 1008, 1009, 1010, 1011, 1069, 1070, 1133, 1206]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 4474 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1317/1524 places, 2868/3381 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 1274 transition count 2825
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 1274 transition count 2825
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 1231 transition count 2782
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 1231 transition count 2782
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 1188 transition count 2739
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 1188 transition count 2739
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 283 place count 1163 transition count 2589
Iterating global reduction 0 with 25 rules applied. Total rules applied 308 place count 1163 transition count 2589
Applied a total of 308 rules in 388 ms. Remains 1163 /1317 variables (removed 154) and now considering 2589/2868 (removed 279) transitions.
[2025-06-03 09:17:05] [INFO ] Flow matrix only has 2317 transitions (discarded 272 similar events)
// Phase 1: matrix 2317 rows 1163 cols
[2025-06-03 09:17:05] [INFO ] Computed 48 invariants in 46 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:17:07] [INFO ] Implicit Places using invariants in 2294 ms returned [631]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2299 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1162/1524 places, 2589/3381 transitions.
Applied a total of 0 rules in 127 ms. Remains 1162 /1162 variables (removed 0) and now considering 2589/2589 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7608 ms. Remains : 1162/1524 places, 2589/3381 transitions.
[2025-06-03 09:17:07] [INFO ] Flatten gal took : 53 ms
[2025-06-03 09:17:07] [INFO ] Flatten gal took : 64 ms
[2025-06-03 09:17:07] [INFO ] Input system was already deterministic with 2589 transitions.
[2025-06-03 09:17:08] [INFO ] Flatten gal took : 101 ms
[2025-06-03 09:17:08] [INFO ] Flatten gal took : 105 ms
[2025-06-03 09:17:08] [INFO ] Time to serialize gal into /tmp/CTLFireability1132663915264300090.gal : 17 ms
[2025-06-03 09:17:08] [INFO ] Time to serialize properties into /tmp/CTLFireability16584344194220607302.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/CTLFireability1132663915264300090.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16584344194220607302.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:17:38] [INFO ] Flatten gal took : 92 ms
[2025-06-03 09:17:38] [INFO ] Applying decomposition
[2025-06-03 09:17:38] [INFO ] Flatten gal took : 60 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/graph17829106925514580526.txt' '-o' '/tmp/graph17829106925514580526.bin' '-w' '/tmp/graph17829106925514580526.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17829106925514580526.bin' '-l' '-1' '-v' '-w' '/tmp/graph17829106925514580526.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:17:38] [INFO ] Decomposing Gal with order
[2025-06-03 09:17:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:17:38] [INFO ] Removed a total of 2861 redundant transitions.
[2025-06-03 09:17:38] [INFO ] Flatten gal took : 172 ms
[2025-06-03 09:17:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 1180 labels/synchronizations in 65 ms.
[2025-06-03 09:17:38] [INFO ] Time to serialize gal into /tmp/CTLFireability2232679633957659081.gal : 16 ms
[2025-06-03 09:17:38] [INFO ] Time to serialize properties into /tmp/CTLFireability17042351213288125405.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/CTLFireability2232679633957659081.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17042351213288125405.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 : 1524/1524 places, 3381/3381 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 41 transitions
Trivial Post-agglo rules discarded 41 transitions
Performed 41 trivial Post agglomeration. Transition count delta: 41
Iterating post reduction 0 with 41 rules applied. Total rules applied 41 place count 1524 transition count 3340
Reduce places removed 41 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 42 rules applied. Total rules applied 83 place count 1483 transition count 3339
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 84 place count 1482 transition count 3339
Performed 48 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 48 Pre rules applied. Total rules applied 84 place count 1482 transition count 3291
Deduced a syphon composed of 48 places in 2 ms
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 3 with 96 rules applied. Total rules applied 180 place count 1434 transition count 3291
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 228 place count 1386 transition count 3148
Iterating global reduction 3 with 48 rules applied. Total rules applied 276 place count 1386 transition count 3148
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 276 place count 1386 transition count 3146
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 280 place count 1384 transition count 3146
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 304 place count 1360 transition count 3012
Iterating global reduction 3 with 24 rules applied. Total rules applied 328 place count 1360 transition count 3012
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: 36
Deduced a syphon composed of 36 places in 2 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 3 with 72 rules applied. Total rules applied 400 place count 1324 transition count 2976
Discarding 29 places :
Symmetric choice reduction at 3 with 29 rule applications. Total rules 429 place count 1295 transition count 2947
Iterating global reduction 3 with 29 rules applied. Total rules applied 458 place count 1295 transition count 2947
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 486 place count 1267 transition count 2779
Iterating global reduction 3 with 28 rules applied. Total rules applied 514 place count 1267 transition count 2779
Applied a total of 514 rules in 597 ms. Remains 1267 /1524 variables (removed 257) and now considering 2779/3381 (removed 602) transitions.
[2025-06-03 09:18:09] [INFO ] Flow matrix only has 2507 transitions (discarded 272 similar events)
// Phase 1: matrix 2507 rows 1267 cols
[2025-06-03 09:18:09] [INFO ] Computed 92 invariants in 56 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:18:12] [INFO ] Implicit Places using invariants in 3195 ms returned [9, 10, 95, 227, 272, 358, 359, 425, 426, 427, 428, 480, 482, 562, 585, 586, 596, 615, 625, 626, 645, 646, 659, 660, 661, 665, 684, 685, 703, 727, 752, 772, 780, 845, 890, 891, 935, 936, 937, 938, 996, 997, 1053, 1126]
[2025-06-03 09:18:12] [INFO ] Actually due to overlaps returned [772, 9, 10, 95, 227, 272, 358, 359, 425, 426, 427, 428, 480, 482, 562, 585, 586, 596, 615, 625, 626, 645, 646, 659, 660, 661, 684, 685, 703, 727, 752, 780, 845, 890, 891, 935, 936, 937, 938, 996, 997, 1053, 1126]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 3199 ms to find 43 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1224/1524 places, 2779/3381 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 1192 transition count 2747
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 1192 transition count 2747
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 96 place count 1160 transition count 2715
Iterating global reduction 0 with 32 rules applied. Total rules applied 128 place count 1160 transition count 2715
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 135 place count 1153 transition count 2673
Iterating global reduction 0 with 7 rules applied. Total rules applied 142 place count 1153 transition count 2673
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1143 transition count 2663
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 172 place count 1133 transition count 2653
Iterating global reduction 0 with 10 rules applied. Total rules applied 182 place count 1133 transition count 2653
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 199 place count 1116 transition count 2551
Iterating global reduction 0 with 17 rules applied. Total rules applied 216 place count 1116 transition count 2551
Applied a total of 216 rules in 569 ms. Remains 1116 /1224 variables (removed 108) and now considering 2551/2779 (removed 228) transitions.
[2025-06-03 09:18:13] [INFO ] Flow matrix only has 2279 transitions (discarded 272 similar events)
// Phase 1: matrix 2279 rows 1116 cols
[2025-06-03 09:18:13] [INFO ] Computed 49 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:18:15] [INFO ] Implicit Places using invariants in 1880 ms returned [607]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1886 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1115/1524 places, 2551/3381 transitions.
Applied a total of 0 rules in 120 ms. Remains 1115 /1115 variables (removed 0) and now considering 2551/2551 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 6376 ms. Remains : 1115/1524 places, 2551/3381 transitions.
[2025-06-03 09:18:15] [INFO ] Flatten gal took : 44 ms
[2025-06-03 09:18:15] [INFO ] Flatten gal took : 71 ms
[2025-06-03 09:18:15] [INFO ] Input system was already deterministic with 2551 transitions.
[2025-06-03 09:18:15] [INFO ] Flatten gal took : 92 ms
[2025-06-03 09:18:15] [INFO ] Flatten gal took : 92 ms
[2025-06-03 09:18:15] [INFO ] Time to serialize gal into /tmp/CTLFireability17883438997676865075.gal : 19 ms
[2025-06-03 09:18:15] [INFO ] Time to serialize properties into /tmp/CTLFireability1001912543819946906.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/CTLFireability17883438997676865075.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1001912543819946906.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:18:46] [INFO ] Flatten gal took : 94 ms
[2025-06-03 09:18:46] [INFO ] Applying decomposition
[2025-06-03 09:18:46] [INFO ] Flatten gal took : 115 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/graph2399618293432223362.txt' '-o' '/tmp/graph2399618293432223362.bin' '-w' '/tmp/graph2399618293432223362.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2399618293432223362.bin' '-l' '-1' '-v' '-w' '/tmp/graph2399618293432223362.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:18:46] [INFO ] Decomposing Gal with order
[2025-06-03 09:18:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:18:46] [INFO ] Removed a total of 2278 redundant transitions.
[2025-06-03 09:18:46] [INFO ] Flatten gal took : 414 ms
[2025-06-03 09:18:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 1381 labels/synchronizations in 80 ms.
[2025-06-03 09:18:47] [INFO ] Time to serialize gal into /tmp/CTLFireability1670082500530296177.gal : 24 ms
[2025-06-03 09:18:47] [INFO ] Time to serialize properties into /tmp/CTLFireability13362343096751058509.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/CTLFireability1670082500530296177.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13362343096751058509.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 1447 transition count 3214
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 1447 transition count 3214
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 208 place count 1393 transition count 3070
Iterating global reduction 0 with 54 rules applied. Total rules applied 262 place count 1393 transition count 3070
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 295 place count 1360 transition count 2872
Iterating global reduction 0 with 33 rules applied. Total rules applied 328 place count 1360 transition count 2872
Applied a total of 328 rules in 516 ms. Remains 1360 /1524 variables (removed 164) and now considering 2872/3381 (removed 509) transitions.
[2025-06-03 09:19:17] [INFO ] Flow matrix only has 2600 transitions (discarded 272 similar events)
// Phase 1: matrix 2600 rows 1360 cols
[2025-06-03 09:19:17] [INFO ] Computed 92 invariants in 59 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:19:22] [INFO ] Implicit Places using invariants in 5269 ms returned [10, 15, 102, 253, 304, 392, 393, 462, 463, 464, 465, 522, 523, 524, 567, 581, 602, 627, 628, 638, 661, 671, 672, 695, 696, 709, 710, 711, 715, 740, 741, 759, 786, 811, 833, 842, 909, 954, 955, 1003, 1004, 1005, 1006, 1065, 1205]
[2025-06-03 09:19:22] [INFO ] Actually due to overlaps returned [833, 10, 15, 102, 253, 304, 392, 393, 462, 463, 464, 465, 522, 523, 524, 567, 581, 602, 627, 628, 638, 661, 671, 672, 695, 696, 709, 710, 711, 740, 741, 759, 786, 811, 842, 909, 954, 955, 1003, 1004, 1005, 1006, 1065, 1205]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 5281 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1316/1524 places, 2872/3381 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 1273 transition count 2829
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 1273 transition count 2829
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 1230 transition count 2786
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 1230 transition count 2786
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 1187 transition count 2743
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 1187 transition count 2743
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 283 place count 1162 transition count 2593
Iterating global reduction 0 with 25 rules applied. Total rules applied 308 place count 1162 transition count 2593
Applied a total of 308 rules in 596 ms. Remains 1162 /1316 variables (removed 154) and now considering 2593/2872 (removed 279) transitions.
[2025-06-03 09:19:23] [INFO ] Flow matrix only has 2321 transitions (discarded 272 similar events)
// Phase 1: matrix 2321 rows 1162 cols
[2025-06-03 09:19:23] [INFO ] Computed 48 invariants in 41 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:19:26] [INFO ] Implicit Places using invariants in 3056 ms returned [625]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3066 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1161/1524 places, 2593/3381 transitions.
Applied a total of 0 rules in 110 ms. Remains 1161 /1161 variables (removed 0) and now considering 2593/2593 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 9572 ms. Remains : 1161/1524 places, 2593/3381 transitions.
[2025-06-03 09:19:26] [INFO ] Flatten gal took : 96 ms
[2025-06-03 09:19:26] [INFO ] Flatten gal took : 116 ms
[2025-06-03 09:19:27] [INFO ] Input system was already deterministic with 2593 transitions.
[2025-06-03 09:19:27] [INFO ] Flatten gal took : 137 ms
[2025-06-03 09:19:27] [INFO ] Flatten gal took : 110 ms
[2025-06-03 09:19:27] [INFO ] Time to serialize gal into /tmp/CTLFireability12269765563407272593.gal : 19 ms
[2025-06-03 09:19:27] [INFO ] Time to serialize properties into /tmp/CTLFireability7878596291092566783.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/CTLFireability12269765563407272593.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7878596291092566783.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:19:57] [INFO ] Flatten gal took : 68 ms
[2025-06-03 09:19:57] [INFO ] Applying decomposition
[2025-06-03 09:19:57] [INFO ] Flatten gal took : 71 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/graph2962004368335010329.txt' '-o' '/tmp/graph2962004368335010329.bin' '-w' '/tmp/graph2962004368335010329.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2962004368335010329.bin' '-l' '-1' '-v' '-w' '/tmp/graph2962004368335010329.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:19:57] [INFO ] Decomposing Gal with order
[2025-06-03 09:19:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:19:57] [INFO ] Removed a total of 3138 redundant transitions.
[2025-06-03 09:19:58] [INFO ] Flatten gal took : 219 ms
[2025-06-03 09:19:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1550 labels/synchronizations in 121 ms.
[2025-06-03 09:19:58] [INFO ] Time to serialize gal into /tmp/CTLFireability1824857521338937928.gal : 24 ms
[2025-06-03 09:19:58] [INFO ] Time to serialize properties into /tmp/CTLFireability8707558534981394139.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/CTLFireability1824857521338937928.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8707558534981394139.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 1444 transition count 3206
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 1444 transition count 3206
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 216 place count 1388 transition count 3050
Iterating global reduction 0 with 56 rules applied. Total rules applied 272 place count 1388 transition count 3050
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 305 place count 1355 transition count 2852
Iterating global reduction 0 with 33 rules applied. Total rules applied 338 place count 1355 transition count 2852
Applied a total of 338 rules in 368 ms. Remains 1355 /1524 variables (removed 169) and now considering 2852/3381 (removed 529) transitions.
[2025-06-03 09:20:28] [INFO ] Flow matrix only has 2580 transitions (discarded 272 similar events)
// Phase 1: matrix 2580 rows 1355 cols
[2025-06-03 09:20:28] [INFO ] Computed 92 invariants in 52 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:20:33] [INFO ] Implicit Places using invariants in 5002 ms returned [10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 580, 601, 626, 627, 637, 660, 670, 671, 694, 695, 708, 709, 710, 714, 739, 740, 758, 785, 810, 832, 841, 908, 953, 954, 1002, 1003, 1004, 1005, 1063, 1064, 1127, 1200]
[2025-06-03 09:20:33] [INFO ] Actually due to overlaps returned [832, 10, 15, 102, 253, 303, 391, 392, 461, 462, 463, 464, 521, 522, 523, 566, 580, 601, 626, 627, 637, 660, 670, 671, 694, 695, 708, 709, 710, 739, 740, 758, 785, 810, 841, 908, 953, 954, 1002, 1003, 1004, 1005, 1063, 1064, 1127, 1200]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 5006 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1309/1524 places, 2852/3381 transitions.
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 45 place count 1264 transition count 2807
Iterating global reduction 0 with 45 rules applied. Total rules applied 90 place count 1264 transition count 2807
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 135 place count 1219 transition count 2762
Iterating global reduction 0 with 45 rules applied. Total rules applied 180 place count 1219 transition count 2762
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 225 place count 1174 transition count 2717
Iterating global reduction 0 with 45 rules applied. Total rules applied 270 place count 1174 transition count 2717
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 297 place count 1147 transition count 2555
Iterating global reduction 0 with 27 rules applied. Total rules applied 324 place count 1147 transition count 2555
Applied a total of 324 rules in 592 ms. Remains 1147 /1309 variables (removed 162) and now considering 2555/2852 (removed 297) transitions.
[2025-06-03 09:20:34] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
// Phase 1: matrix 2283 rows 1147 cols
[2025-06-03 09:20:34] [INFO ] Computed 46 invariants in 40 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:20:37] [INFO ] Implicit Places using invariants in 3002 ms returned [624]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3006 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1146/1524 places, 2555/3381 transitions.
Applied a total of 0 rules in 111 ms. Remains 1146 /1146 variables (removed 0) and now considering 2555/2555 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 9086 ms. Remains : 1146/1524 places, 2555/3381 transitions.
[2025-06-03 09:20:37] [INFO ] Flatten gal took : 90 ms
[2025-06-03 09:20:37] [INFO ] Flatten gal took : 110 ms
[2025-06-03 09:20:37] [INFO ] Input system was already deterministic with 2555 transitions.
[2025-06-03 09:20:37] [INFO ] Flatten gal took : 103 ms
[2025-06-03 09:20:37] [INFO ] Flatten gal took : 75 ms
[2025-06-03 09:20:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4604781872647532855.gal : 12 ms
[2025-06-03 09:20:37] [INFO ] Time to serialize properties into /tmp/CTLFireability14158714115546834081.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/CTLFireability4604781872647532855.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14158714115546834081.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:21:08] [INFO ] Flatten gal took : 63 ms
[2025-06-03 09:21:08] [INFO ] Applying decomposition
[2025-06-03 09:21:08] [INFO ] Flatten gal took : 66 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/graph408764784185121209.txt' '-o' '/tmp/graph408764784185121209.bin' '-w' '/tmp/graph408764784185121209.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph408764784185121209.bin' '-l' '-1' '-v' '-w' '/tmp/graph408764784185121209.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:21:08] [INFO ] Decomposing Gal with order
[2025-06-03 09:21:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:21:08] [INFO ] Removed a total of 3002 redundant transitions.
[2025-06-03 09:21:08] [INFO ] Flatten gal took : 288 ms
[2025-06-03 09:21:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 1160 labels/synchronizations in 111 ms.
[2025-06-03 09:21:08] [INFO ] Time to serialize gal into /tmp/CTLFireability8515494817310425687.gal : 20 ms
[2025-06-03 09:21:08] [INFO ] Time to serialize properties into /tmp/CTLFireability1021453734379937033.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/CTLFireability8515494817310425687.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1021453734379937033.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1524/1524 places, 3381/3381 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 1447 transition count 3214
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 1447 transition count 3214
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 208 place count 1393 transition count 3065
Iterating global reduction 0 with 54 rules applied. Total rules applied 262 place count 1393 transition count 3065
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 293 place count 1362 transition count 2879
Iterating global reduction 0 with 31 rules applied. Total rules applied 324 place count 1362 transition count 2879
Applied a total of 324 rules in 299 ms. Remains 1362 /1524 variables (removed 162) and now considering 2879/3381 (removed 502) transitions.
[2025-06-03 09:21:39] [INFO ] Flow matrix only has 2607 transitions (discarded 272 similar events)
// Phase 1: matrix 2607 rows 1362 cols
[2025-06-03 09:21:39] [INFO ] Computed 92 invariants in 32 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:21:44] [INFO ] Implicit Places using invariants in 5169 ms returned [10, 15, 256, 306, 394, 395, 464, 465, 466, 467, 524, 525, 526, 569, 583, 604, 629, 630, 641, 664, 674, 675, 698, 699, 712, 713, 714, 718, 743, 744, 762, 789, 814, 836, 845, 912, 957, 958, 1006, 1007, 1008, 1009, 1068, 1134, 1207]
[2025-06-03 09:21:44] [INFO ] Actually due to overlaps returned [836, 10, 15, 256, 306, 394, 395, 464, 465, 466, 467, 524, 525, 526, 569, 583, 604, 629, 630, 641, 664, 674, 675, 698, 699, 712, 713, 714, 743, 744, 762, 789, 814, 845, 912, 957, 958, 1006, 1007, 1008, 1009, 1068, 1134, 1207]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 5176 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1318/1524 places, 2879/3381 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 1275 transition count 2836
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 1275 transition count 2836
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 1232 transition count 2793
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 1232 transition count 2793
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 1189 transition count 2750
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 1189 transition count 2750
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 283 place count 1164 transition count 2600
Iterating global reduction 0 with 25 rules applied. Total rules applied 308 place count 1164 transition count 2600
Applied a total of 308 rules in 604 ms. Remains 1164 /1318 variables (removed 154) and now considering 2600/2879 (removed 279) transitions.
[2025-06-03 09:21:45] [INFO ] Flow matrix only has 2328 transitions (discarded 272 similar events)
// Phase 1: matrix 2328 rows 1164 cols
[2025-06-03 09:21:45] [INFO ] Computed 48 invariants in 44 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 09:21:48] [INFO ] Implicit Places using invariants in 2955 ms returned [632]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2959 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1163/1524 places, 2600/3381 transitions.
Applied a total of 0 rules in 110 ms. Remains 1163 /1163 variables (removed 0) and now considering 2600/2600 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 9149 ms. Remains : 1163/1524 places, 2600/3381 transitions.
[2025-06-03 09:21:48] [INFO ] Flatten gal took : 92 ms
[2025-06-03 09:21:48] [INFO ] Flatten gal took : 108 ms
[2025-06-03 09:21:48] [INFO ] Input system was already deterministic with 2600 transitions.
[2025-06-03 09:21:48] [INFO ] Flatten gal took : 108 ms
[2025-06-03 09:21:48] [INFO ] Flatten gal took : 108 ms
[2025-06-03 09:21:48] [INFO ] Time to serialize gal into /tmp/CTLFireability18352045796775465450.gal : 28 ms
[2025-06-03 09:21:48] [INFO ] Time to serialize properties into /tmp/CTLFireability2294246580493413470.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/CTLFireability18352045796775465450.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2294246580493413470.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:22:19] [INFO ] Flatten gal took : 115 ms
[2025-06-03 09:22:19] [INFO ] Applying decomposition
[2025-06-03 09:22:19] [INFO ] Flatten gal took : 120 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/graph5422054587990272606.txt' '-o' '/tmp/graph5422054587990272606.bin' '-w' '/tmp/graph5422054587990272606.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5422054587990272606.bin' '-l' '-1' '-v' '-w' '/tmp/graph5422054587990272606.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:22:19] [INFO ] Decomposing Gal with order
[2025-06-03 09:22:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:22:19] [INFO ] Removed a total of 3217 redundant transitions.
[2025-06-03 09:22:19] [INFO ] Flatten gal took : 247 ms
[2025-06-03 09:22:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 1752 labels/synchronizations in 118 ms.
[2025-06-03 09:22:19] [INFO ] Time to serialize gal into /tmp/CTLFireability654237393153076380.gal : 17 ms
[2025-06-03 09:22:19] [INFO ] Time to serialize properties into /tmp/CTLFireability12148393056810169598.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/CTLFireability654237393153076380.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12148393056810169598.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.
[2025-06-03 09:22:50] [INFO ] Flatten gal took : 86 ms
[2025-06-03 09:22:50] [INFO ] Flatten gal took : 94 ms
[2025-06-03 09:22:50] [INFO ] Applying decomposition
[2025-06-03 09:22:50] [INFO ] Flatten gal took : 94 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/graph4165049570627601997.txt' '-o' '/tmp/graph4165049570627601997.bin' '-w' '/tmp/graph4165049570627601997.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4165049570627601997.bin' '-l' '-1' '-v' '-w' '/tmp/graph4165049570627601997.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:22:50] [INFO ] Decomposing Gal with order
[2025-06-03 09:22:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:22:51] [INFO ] Removed a total of 3024 redundant transitions.
[2025-06-03 09:22:51] [INFO ] Flatten gal took : 340 ms
[2025-06-03 09:22:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 1668 labels/synchronizations in 129 ms.
[2025-06-03 09:22:51] [INFO ] Time to serialize gal into /tmp/CTLFireability9725507292442917408.gal : 36 ms
[2025-06-03 09:22:51] [INFO ] Time to serialize properties into /tmp/CTLFireability1676535303474507544.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9725507292442917408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1676535303474507544.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 12 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:48:32] [INFO ] Flatten gal took : 729 ms
[2025-06-03 09:48:32] [INFO ] Time to serialize gal into /tmp/CTLFireability1375220990434996661.gal : 58 ms
[2025-06-03 09:48:32] [INFO ] Time to serialize properties into /tmp/CTLFireability9858649933704160292.ctl : 22 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/CTLFireability1375220990434996661.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9858649933704160292.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 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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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-S16C06"
export BK_EXAMINATION="CTLFireability"
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-S16C06, examination is CTLFireability"
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-174876524300314"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C06.tgz
mv MultiCrashLeafsetExtension-PT-S16C06 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;