About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16216.556 | 2363531.00 | 2506446.00 | 18953.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r229-tall-167856414000938.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r229-tall-167856414000938
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 14K Feb 26 02:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 02:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 02:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 26 03:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 03:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 03:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 03:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 28M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679629639002
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
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-S32C08
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-24 03:47:20] [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]
[2023-03-24 03:47:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-24 03:47:21] [INFO ] Load time of PNML (sax parser for PT used): 913 ms
[2023-03-24 03:47:21] [INFO ] Transformed 27452 places.
[2023-03-24 03:47:21] [INFO ] Transformed 41619 transitions.
[2023-03-24 03:47:21] [INFO ] Parsed PT model containing 27452 places and 41619 transitions and 159406 arcs in 1209 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 23 ms.
Support contains 230 out of 27452 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27452/27452 places, 41619/41619 transitions.
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 0 with 52 rules applied. Total rules applied 52 place count 27400 transition count 41619
Applied a total of 52 rules in 2223 ms. Remains 27400 /27452 variables (removed 52) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:47:24] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
// Phase 1: matrix 40563 rows 27400 cols
[2023-03-24 03:47:29] [INFO ] Computed 1701 place invariants in 5263 ms
[2023-03-24 03:47:32] [INFO ] Implicit Places using invariants in 7856 ms returned []
Implicit Place search using SMT only with invariants took 7883 ms to find 0 implicit places.
[2023-03-24 03:47:32] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:47:32] [INFO ] Invariant cache hit.
[2023-03-24 03:47:34] [INFO ] Dead Transitions using invariants and state equation in 2465 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 27400/27452 places, 41619/41619 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 12582 ms. Remains : 27400/27452 places, 41619/41619 transitions.
Support contains 230 out of 27400 places after structural reductions.
[2023-03-24 03:47:36] [INFO ] Flatten gal took : 1477 ms
[2023-03-24 03:47:38] [INFO ] Flatten gal took : 1298 ms
[2023-03-24 03:47:40] [INFO ] Input system was already deterministic with 41619 transitions.
Incomplete random walk after 10000 steps, including 121 resets, run finished after 890 ms. (steps per millisecond=11 ) properties (out of 105) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 88) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 87) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 87) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 87) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 86) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 85) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 85) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 84) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 83) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 83) seen :0
Running SMT prover for 83 properties.
[2023-03-24 03:47:43] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:47:43] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-24 03:48:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-24 03:48:08] [INFO ] After 25071ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 83 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 174 out of 27400 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27400/27400 places, 41619/41619 transitions.
Drop transitions removed 8057 transitions
Trivial Post-agglo rules discarded 8057 transitions
Performed 8057 trivial Post agglomeration. Transition count delta: 8057
Iterating post reduction 0 with 8057 rules applied. Total rules applied 8057 place count 27400 transition count 33562
Reduce places removed 8057 places and 0 transitions.
Performed 368 Post agglomeration using F-continuation condition.Transition count delta: 368
Iterating post reduction 1 with 8425 rules applied. Total rules applied 16482 place count 19343 transition count 33194
Reduce places removed 368 places and 0 transitions.
Iterating post reduction 2 with 368 rules applied. Total rules applied 16850 place count 18975 transition count 33194
Performed 504 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 504 Pre rules applied. Total rules applied 16850 place count 18975 transition count 32690
Deduced a syphon composed of 504 places in 40 ms
Reduce places removed 504 places and 0 transitions.
Iterating global reduction 3 with 1008 rules applied. Total rules applied 17858 place count 18471 transition count 32690
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 41 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 3 with 58 rules applied. Total rules applied 17916 place count 18442 transition count 32661
Free-agglomeration rule (complex) applied 1490 times.
Iterating global reduction 3 with 1490 rules applied. Total rules applied 19406 place count 18442 transition count 31171
Reduce places removed 1490 places and 0 transitions.
Iterating post reduction 3 with 1490 rules applied. Total rules applied 20896 place count 16952 transition count 31171
Discarding 7873 places :
Symmetric choice reduction at 4 with 7873 rule applications. Total rules 28769 place count 9079 transition count 23298
Iterating global reduction 4 with 7873 rules applied. Total rules applied 36642 place count 9079 transition count 23298
Partial Free-agglomeration rule applied 472 times.
Drop transitions removed 472 transitions
Iterating global reduction 4 with 472 rules applied. Total rules applied 37114 place count 9079 transition count 23298
Applied a total of 37114 rules in 12722 ms. Remains 9079 /27400 variables (removed 18321) and now considering 23298/41619 (removed 18321) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12724 ms. Remains : 9079/27400 places, 23298/41619 transitions.
Incomplete random walk after 10000 steps, including 200 resets, run finished after 1175 ms. (steps per millisecond=8 ) properties (out of 83) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 81) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 81) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 80) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 79) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 78) seen :0
Interrupted probabilistic random walk after 22516 steps, run timeout after 6001 ms. (steps per millisecond=3 ) properties seen :{7=1, 8=1, 21=1, 28=1, 53=1, 63=1, 73=1}
Probabilistic random walk after 22516 steps, saw 10555 distinct states, run finished after 6002 ms. (steps per millisecond=3 ) properties seen :7
Running SMT prover for 71 properties.
[2023-03-24 03:48:29] [INFO ] Flow matrix only has 21789 transitions (discarded 1509 similar events)
// Phase 1: matrix 21789 rows 9079 cols
[2023-03-24 03:48:30] [INFO ] Computed 1701 place invariants in 1031 ms
[2023-03-24 03:48:39] [INFO ] [Real]Absence check using 65 positive place invariants in 164 ms returned sat
[2023-03-24 03:48:39] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 650 ms returned sat
[2023-03-24 03:48:55] [INFO ] After 7457ms SMT Verify possible using state equation in real domain returned unsat :11 sat :54 real:5
[2023-03-24 03:48:55] [INFO ] State equation strengthened by 13378 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-24 03:48:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-24 03:48:55] [INFO ] After 25245ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 71 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 108 out of 9079 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9079/9079 places, 23298/23298 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 9079 transition count 23291
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 9072 transition count 23291
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 14 place count 9072 transition count 23281
Deduced a syphon composed of 10 places in 12 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 34 place count 9062 transition count 23281
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 45 place count 9051 transition count 23263
Iterating global reduction 2 with 11 rules applied. Total rules applied 56 place count 9051 transition count 23263
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 56 place count 9051 transition count 23262
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 58 place count 9050 transition count 23262
Free-agglomeration rule (complex) applied 14 times.
Iterating global reduction 2 with 14 rules applied. Total rules applied 72 place count 9050 transition count 23255
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 2 with 14 rules applied. Total rules applied 86 place count 9036 transition count 23255
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 88 place count 9034 transition count 23253
Iterating global reduction 3 with 2 rules applied. Total rules applied 90 place count 9034 transition count 23253
Partial Free-agglomeration rule applied 11 times.
Drop transitions removed 11 transitions
Iterating global reduction 3 with 11 rules applied. Total rules applied 101 place count 9034 transition count 23253
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 106 place count 9029 transition count 23248
Iterating global reduction 3 with 5 rules applied. Total rules applied 111 place count 9029 transition count 23248
Applied a total of 111 rules in 9992 ms. Remains 9029 /9079 variables (removed 50) and now considering 23248/23298 (removed 50) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9993 ms. Remains : 9029/9079 places, 23248/23298 transitions.
Incomplete random walk after 10000 steps, including 201 resets, run finished after 1324 ms. (steps per millisecond=7 ) properties (out of 60) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 53) seen :0
Running SMT prover for 53 properties.
[2023-03-24 03:49:07] [INFO ] Flow matrix only has 21738 transitions (discarded 1510 similar events)
// Phase 1: matrix 21738 rows 9029 cols
[2023-03-24 03:49:08] [INFO ] Computed 1701 place invariants in 1042 ms
[2023-03-24 03:49:15] [INFO ] [Real]Absence check using 65 positive place invariants in 155 ms returned sat
[2023-03-24 03:49:16] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 631 ms returned sat
[2023-03-24 03:49:33] [INFO ] After 9999ms SMT Verify possible using state equation in real domain returned unsat :0 sat :5 real:47
[2023-03-24 03:49:34] [INFO ] State equation strengthened by 13378 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-24 03:49:34] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-24 03:49:34] [INFO ] After 25185ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 53 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 97 out of 9029 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9029/9029 places, 23248/23248 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 9029 transition count 23245
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 9026 transition count 23245
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 6 place count 9026 transition count 23243
Deduced a syphon composed of 2 places in 13 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 10 place count 9024 transition count 23243
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 12 place count 9022 transition count 23241
Iterating global reduction 2 with 2 rules applied. Total rules applied 14 place count 9022 transition count 23241
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 14 place count 9022 transition count 23240
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 16 place count 9021 transition count 23240
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 20 place count 9021 transition count 23236
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 24 place count 9017 transition count 23236
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 26 place count 9015 transition count 23234
Iterating global reduction 3 with 2 rules applied. Total rules applied 28 place count 9015 transition count 23234
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 30 place count 9015 transition count 23234
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 31 place count 9014 transition count 23233
Iterating global reduction 3 with 1 rules applied. Total rules applied 32 place count 9014 transition count 23233
Applied a total of 32 rules in 11078 ms. Remains 9014 /9029 variables (removed 15) and now considering 23233/23248 (removed 15) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11078 ms. Remains : 9014/9029 places, 23233/23248 transitions.
Successfully simplified 11 atomic propositions for a total of 16 simplifications.
[2023-03-24 03:49:46] [INFO ] Flatten gal took : 991 ms
[2023-03-24 03:49:47] [INFO ] Flatten gal took : 1241 ms
[2023-03-24 03:49:49] [INFO ] Input system was already deterministic with 41619 transitions.
Computed a total of 21384 stabilizing places and 29650 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2478 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:49:52] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
// Phase 1: matrix 40563 rows 27400 cols
[2023-03-24 03:49:57] [INFO ] Computed 1701 place invariants in 4836 ms
[2023-03-24 03:49:59] [INFO ] Implicit Places using invariants in 7212 ms returned []
Implicit Place search using SMT only with invariants took 7223 ms to find 0 implicit places.
[2023-03-24 03:49:59] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:49:59] [INFO ] Invariant cache hit.
[2023-03-24 03:50:02] [INFO ] Dead Transitions using invariants and state equation in 2228 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11947 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:50:03] [INFO ] Flatten gal took : 934 ms
[2023-03-24 03:50:04] [INFO ] Flatten gal took : 1048 ms
[2023-03-24 03:50:06] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:50:07] [INFO ] Flatten gal took : 1014 ms
[2023-03-24 03:50:08] [INFO ] Flatten gal took : 1123 ms
[2023-03-24 03:50:08] [INFO ] Time to serialize gal into /tmp/CTLFireability1552574369883549261.gal : 359 ms
[2023-03-24 03:50:08] [INFO ] Time to serialize properties into /tmp/CTLFireability11129862900444089773.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1552574369883549261.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11129862900444089773.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:50:39] [INFO ] Flatten gal took : 994 ms
[2023-03-24 03:50:39] [INFO ] Applying decomposition
[2023-03-24 03:50:40] [INFO ] Flatten gal took : 1020 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph18096145339921765721.txt' '-o' '/tmp/graph18096145339921765721.bin' '-w' '/tmp/graph18096145339921765721.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18096145339921765721.bin' '-l' '-1' '-v' '-w' '/tmp/graph18096145339921765721.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:50:44] [INFO ] Decomposing Gal with order
[2023-03-24 03:50:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:51:04] [INFO ] Removed a total of 28408 redundant transitions.
[2023-03-24 03:51:05] [INFO ] Flatten gal took : 7330 ms
[2023-03-24 03:51:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 8130 labels/synchronizations in 1992 ms.
[2023-03-24 03:51:09] [INFO ] Time to serialize gal into /tmp/CTLFireability1827446731414763363.gal : 486 ms
[2023-03-24 03:51:09] [INFO ] Time to serialize properties into /tmp/CTLFireability8397061000707165161.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1827446731414763363.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8397061000707165161.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2343 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:51:42] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:51:42] [INFO ] Invariant cache hit.
[2023-03-24 03:51:44] [INFO ] Implicit Places using invariants in 2320 ms returned []
Implicit Place search using SMT only with invariants took 2332 ms to find 0 implicit places.
[2023-03-24 03:51:44] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:51:44] [INFO ] Invariant cache hit.
[2023-03-24 03:51:46] [INFO ] Dead Transitions using invariants and state equation in 2412 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7113 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:51:47] [INFO ] Flatten gal took : 935 ms
[2023-03-24 03:51:48] [INFO ] Flatten gal took : 1045 ms
[2023-03-24 03:51:50] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:51:52] [INFO ] Flatten gal took : 1166 ms
[2023-03-24 03:51:53] [INFO ] Flatten gal took : 1008 ms
[2023-03-24 03:51:53] [INFO ] Time to serialize gal into /tmp/CTLFireability12761677375894928769.gal : 167 ms
[2023-03-24 03:51:53] [INFO ] Time to serialize properties into /tmp/CTLFireability7526115933056849415.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12761677375894928769.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7526115933056849415.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:52:24] [INFO ] Flatten gal took : 1016 ms
[2023-03-24 03:52:24] [INFO ] Applying decomposition
[2023-03-24 03:52:25] [INFO ] Flatten gal took : 1053 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3791366126885000343.txt' '-o' '/tmp/graph3791366126885000343.bin' '-w' '/tmp/graph3791366126885000343.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3791366126885000343.bin' '-l' '-1' '-v' '-w' '/tmp/graph3791366126885000343.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:52:27] [INFO ] Decomposing Gal with order
[2023-03-24 03:52:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:52:45] [INFO ] Removed a total of 28635 redundant transitions.
[2023-03-24 03:52:45] [INFO ] Flatten gal took : 5358 ms
[2023-03-24 03:52:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 5987 labels/synchronizations in 1302 ms.
[2023-03-24 03:52:48] [INFO ] Time to serialize gal into /tmp/CTLFireability4141118765557321712.gal : 423 ms
[2023-03-24 03:52:48] [INFO ] Time to serialize properties into /tmp/CTLFireability16930921933133183469.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4141118765557321712.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16930921933133183469.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2654 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:53:21] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:53:21] [INFO ] Invariant cache hit.
[2023-03-24 03:53:23] [INFO ] Implicit Places using invariants in 2268 ms returned []
Implicit Place search using SMT only with invariants took 2270 ms to find 0 implicit places.
[2023-03-24 03:53:23] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:53:23] [INFO ] Invariant cache hit.
[2023-03-24 03:53:26] [INFO ] Dead Transitions using invariants and state equation in 2387 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7314 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:53:27] [INFO ] Flatten gal took : 933 ms
[2023-03-24 03:53:28] [INFO ] Flatten gal took : 1044 ms
[2023-03-24 03:53:30] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:53:31] [INFO ] Flatten gal took : 1008 ms
[2023-03-24 03:53:32] [INFO ] Flatten gal took : 1056 ms
[2023-03-24 03:53:32] [INFO ] Time to serialize gal into /tmp/CTLFireability17252479944163769205.gal : 172 ms
[2023-03-24 03:53:32] [INFO ] Time to serialize properties into /tmp/CTLFireability17285755200863438926.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17252479944163769205.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17285755200863438926.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:54:03] [INFO ] Flatten gal took : 1002 ms
[2023-03-24 03:54:03] [INFO ] Applying decomposition
[2023-03-24 03:54:04] [INFO ] Flatten gal took : 1032 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5436586726201850474.txt' '-o' '/tmp/graph5436586726201850474.bin' '-w' '/tmp/graph5436586726201850474.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5436586726201850474.bin' '-l' '-1' '-v' '-w' '/tmp/graph5436586726201850474.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:54:07] [INFO ] Decomposing Gal with order
[2023-03-24 03:54:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:54:23] [INFO ] Removed a total of 28301 redundant transitions.
[2023-03-24 03:54:24] [INFO ] Flatten gal took : 5355 ms
[2023-03-24 03:54:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 3261 labels/synchronizations in 1117 ms.
[2023-03-24 03:54:27] [INFO ] Time to serialize gal into /tmp/CTLFireability8111161218432626750.gal : 661 ms
[2023-03-24 03:54:27] [INFO ] Time to serialize properties into /tmp/CTLFireability10016991028186651688.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8111161218432626750.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10016991028186651688.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2453 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:54:59] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:54:59] [INFO ] Invariant cache hit.
[2023-03-24 03:55:02] [INFO ] Implicit Places using invariants in 2501 ms returned []
Implicit Place search using SMT only with invariants took 2506 ms to find 0 implicit places.
[2023-03-24 03:55:02] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:55:02] [INFO ] Invariant cache hit.
[2023-03-24 03:55:04] [INFO ] Dead Transitions using invariants and state equation in 2356 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7323 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:55:05] [INFO ] Flatten gal took : 923 ms
[2023-03-24 03:55:06] [INFO ] Flatten gal took : 1023 ms
[2023-03-24 03:55:08] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:55:09] [INFO ] Flatten gal took : 990 ms
[2023-03-24 03:55:10] [INFO ] Flatten gal took : 1033 ms
[2023-03-24 03:55:10] [INFO ] Time to serialize gal into /tmp/CTLFireability11635880085776218836.gal : 164 ms
[2023-03-24 03:55:10] [INFO ] Time to serialize properties into /tmp/CTLFireability9309330779719851162.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11635880085776218836.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9309330779719851162.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:55:41] [INFO ] Flatten gal took : 1013 ms
[2023-03-24 03:55:41] [INFO ] Applying decomposition
[2023-03-24 03:55:42] [INFO ] Flatten gal took : 1041 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph15057804552118889484.txt' '-o' '/tmp/graph15057804552118889484.bin' '-w' '/tmp/graph15057804552118889484.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15057804552118889484.bin' '-l' '-1' '-v' '-w' '/tmp/graph15057804552118889484.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:55:45] [INFO ] Decomposing Gal with order
[2023-03-24 03:55:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:56:02] [INFO ] Removed a total of 28462 redundant transitions.
[2023-03-24 03:56:03] [INFO ] Flatten gal took : 5605 ms
[2023-03-24 03:56:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 5619 labels/synchronizations in 1318 ms.
[2023-03-24 03:56:06] [INFO ] Time to serialize gal into /tmp/CTLFireability6550478128485175829.gal : 200 ms
[2023-03-24 03:56:06] [INFO ] Time to serialize properties into /tmp/CTLFireability16531247296023404319.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6550478128485175829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16531247296023404319.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2333 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:56:38] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:56:38] [INFO ] Invariant cache hit.
[2023-03-24 03:56:41] [INFO ] Implicit Places using invariants in 2254 ms returned []
Implicit Place search using SMT only with invariants took 2255 ms to find 0 implicit places.
[2023-03-24 03:56:41] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:56:41] [INFO ] Invariant cache hit.
[2023-03-24 03:56:43] [INFO ] Dead Transitions using invariants and state equation in 2330 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6920 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:56:44] [INFO ] Flatten gal took : 974 ms
[2023-03-24 03:56:45] [INFO ] Flatten gal took : 1050 ms
[2023-03-24 03:56:47] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:56:48] [INFO ] Flatten gal took : 1066 ms
[2023-03-24 03:56:50] [INFO ] Flatten gal took : 1123 ms
[2023-03-24 03:56:50] [INFO ] Time to serialize gal into /tmp/CTLFireability13881296142342290400.gal : 164 ms
[2023-03-24 03:56:50] [INFO ] Time to serialize properties into /tmp/CTLFireability1367345910775038291.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13881296142342290400.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1367345910775038291.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:57:21] [INFO ] Flatten gal took : 1204 ms
[2023-03-24 03:57:21] [INFO ] Applying decomposition
[2023-03-24 03:57:22] [INFO ] Flatten gal took : 1167 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11703107770136108538.txt' '-o' '/tmp/graph11703107770136108538.bin' '-w' '/tmp/graph11703107770136108538.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11703107770136108538.bin' '-l' '-1' '-v' '-w' '/tmp/graph11703107770136108538.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:57:25] [INFO ] Decomposing Gal with order
[2023-03-24 03:57:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:57:42] [INFO ] Removed a total of 28401 redundant transitions.
[2023-03-24 03:57:43] [INFO ] Flatten gal took : 5549 ms
[2023-03-24 03:57:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 3245 labels/synchronizations in 1182 ms.
[2023-03-24 03:57:45] [INFO ] Time to serialize gal into /tmp/CTLFireability3914644824874708733.gal : 224 ms
[2023-03-24 03:57:45] [INFO ] Time to serialize properties into /tmp/CTLFireability8450355326256272996.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3914644824874708733.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8450355326256272996.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2753 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:58:18] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:58:18] [INFO ] Invariant cache hit.
[2023-03-24 03:58:20] [INFO ] Implicit Places using invariants in 2304 ms returned []
Implicit Place search using SMT only with invariants took 2316 ms to find 0 implicit places.
[2023-03-24 03:58:20] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:58:20] [INFO ] Invariant cache hit.
[2023-03-24 03:58:23] [INFO ] Dead Transitions using invariants and state equation in 2249 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7334 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 03:58:24] [INFO ] Flatten gal took : 1074 ms
[2023-03-24 03:58:25] [INFO ] Flatten gal took : 1048 ms
[2023-03-24 03:58:27] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 03:58:28] [INFO ] Flatten gal took : 1225 ms
[2023-03-24 03:58:30] [INFO ] Flatten gal took : 1194 ms
[2023-03-24 03:58:30] [INFO ] Time to serialize gal into /tmp/CTLFireability16788492812066804940.gal : 194 ms
[2023-03-24 03:58:30] [INFO ] Time to serialize properties into /tmp/CTLFireability17822124724857992052.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16788492812066804940.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17822124724857992052.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 03:59:01] [INFO ] Flatten gal took : 1180 ms
[2023-03-24 03:59:01] [INFO ] Applying decomposition
[2023-03-24 03:59:02] [INFO ] Flatten gal took : 1234 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14446226215830702821.txt' '-o' '/tmp/graph14446226215830702821.bin' '-w' '/tmp/graph14446226215830702821.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14446226215830702821.bin' '-l' '-1' '-v' '-w' '/tmp/graph14446226215830702821.weights' '-q' '0' '-e' '0.001'
[2023-03-24 03:59:05] [INFO ] Decomposing Gal with order
[2023-03-24 03:59:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 03:59:23] [INFO ] Removed a total of 28243 redundant transitions.
[2023-03-24 03:59:24] [INFO ] Flatten gal took : 6229 ms
[2023-03-24 03:59:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 3535 labels/synchronizations in 1248 ms.
[2023-03-24 03:59:27] [INFO ] Time to serialize gal into /tmp/CTLFireability12860883434124592841.gal : 226 ms
[2023-03-24 03:59:27] [INFO ] Time to serialize properties into /tmp/CTLFireability16704087159849530852.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12860883434124592841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16704087159849530852.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2473 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 03:59:59] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 03:59:59] [INFO ] Invariant cache hit.
[2023-03-24 04:00:02] [INFO ] Implicit Places using invariants in 2290 ms returned []
Implicit Place search using SMT only with invariants took 2302 ms to find 0 implicit places.
[2023-03-24 04:00:02] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:00:02] [INFO ] Invariant cache hit.
[2023-03-24 04:00:04] [INFO ] Dead Transitions using invariants and state equation in 2285 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7072 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:00:05] [INFO ] Flatten gal took : 1105 ms
[2023-03-24 04:00:06] [INFO ] Flatten gal took : 1063 ms
[2023-03-24 04:00:08] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:00:09] [INFO ] Flatten gal took : 1014 ms
[2023-03-24 04:00:10] [INFO ] Flatten gal took : 1062 ms
[2023-03-24 04:00:10] [INFO ] Time to serialize gal into /tmp/CTLFireability2174930260097583832.gal : 165 ms
[2023-03-24 04:00:10] [INFO ] Time to serialize properties into /tmp/CTLFireability998238922565003073.ctl : 7 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2174930260097583832.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability998238922565003073.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-24 04:00:42] [INFO ] Flatten gal took : 1020 ms
[2023-03-24 04:00:42] [INFO ] Applying decomposition
[2023-03-24 04:00:43] [INFO ] Flatten gal took : 1059 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph18398196540212119226.txt' '-o' '/tmp/graph18398196540212119226.bin' '-w' '/tmp/graph18398196540212119226.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18398196540212119226.bin' '-l' '-1' '-v' '-w' '/tmp/graph18398196540212119226.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:00:45] [INFO ] Decomposing Gal with order
[2023-03-24 04:00:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:01:03] [INFO ] Removed a total of 28353 redundant transitions.
[2023-03-24 04:01:04] [INFO ] Flatten gal took : 5947 ms
[2023-03-24 04:01:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 5676 labels/synchronizations in 1204 ms.
[2023-03-24 04:01:06] [INFO ] Time to serialize gal into /tmp/CTLFireability8863124341533091969.gal : 222 ms
[2023-03-24 04:01:06] [INFO ] Time to serialize properties into /tmp/CTLFireability12366396535901120645.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8863124341533091969.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12366396535901120645.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Drop transitions removed 8383 transitions
Trivial Post-agglo rules discarded 8383 transitions
Performed 8383 trivial Post agglomeration. Transition count delta: 8383
Iterating post reduction 0 with 8383 rules applied. Total rules applied 8383 place count 27400 transition count 33236
Reduce places removed 8383 places and 0 transitions.
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Iterating post reduction 1 with 8447 rules applied. Total rules applied 16830 place count 19017 transition count 33172
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 2 with 64 rules applied. Total rules applied 16894 place count 18953 transition count 33172
Performed 523 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 523 Pre rules applied. Total rules applied 16894 place count 18953 transition count 32649
Deduced a syphon composed of 523 places in 33 ms
Reduce places removed 523 places and 0 transitions.
Iterating global reduction 3 with 1046 rules applied. Total rules applied 17940 place count 18430 transition count 32649
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 30 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 18006 place count 18397 transition count 32616
Applied a total of 18006 rules in 7813 ms. Remains 18397 /27400 variables (removed 9003) and now considering 32616/41619 (removed 9003) transitions.
[2023-03-24 04:01:44] [INFO ] Flow matrix only has 31560 transitions (discarded 1056 similar events)
// Phase 1: matrix 31560 rows 18397 cols
[2023-03-24 04:01:48] [INFO ] Computed 1701 place invariants in 3826 ms
[2023-03-24 04:01:50] [INFO ] Implicit Places using invariants in 5415 ms returned []
Implicit Place search using SMT only with invariants took 5436 ms to find 0 implicit places.
[2023-03-24 04:01:50] [INFO ] Flow matrix only has 31560 transitions (discarded 1056 similar events)
[2023-03-24 04:01:50] [INFO ] Invariant cache hit.
[2023-03-24 04:01:51] [INFO ] Dead Transitions using invariants and state equation in 1661 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 18397/27400 places, 32616/41619 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 14932 ms. Remains : 18397/27400 places, 32616/41619 transitions.
[2023-03-24 04:01:52] [INFO ] Flatten gal took : 789 ms
[2023-03-24 04:01:53] [INFO ] Flatten gal took : 867 ms
[2023-03-24 04:01:55] [INFO ] Input system was already deterministic with 32616 transitions.
[2023-03-24 04:01:56] [INFO ] Flatten gal took : 811 ms
[2023-03-24 04:01:57] [INFO ] Flatten gal took : 820 ms
[2023-03-24 04:01:57] [INFO ] Time to serialize gal into /tmp/CTLFireability18354425704216126912.gal : 137 ms
[2023-03-24 04:01:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16278270930612610826.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18354425704216126912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16278270930612610826.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:02:28] [INFO ] Flatten gal took : 803 ms
[2023-03-24 04:02:28] [INFO ] Applying decomposition
[2023-03-24 04:02:28] [INFO ] Flatten gal took : 836 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17612668435585380674.txt' '-o' '/tmp/graph17612668435585380674.bin' '-w' '/tmp/graph17612668435585380674.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17612668435585380674.bin' '-l' '-1' '-v' '-w' '/tmp/graph17612668435585380674.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:02:31] [INFO ] Decomposing Gal with order
[2023-03-24 04:02:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:02:44] [INFO ] Removed a total of 25323 redundant transitions.
[2023-03-24 04:02:45] [INFO ] Flatten gal took : 8218 ms
[2023-03-24 04:02:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 7707 labels/synchronizations in 1277 ms.
[2023-03-24 04:02:48] [INFO ] Time to serialize gal into /tmp/CTLFireability5884001808925772712.gal : 209 ms
[2023-03-24 04:02:48] [INFO ] Time to serialize properties into /tmp/CTLFireability7170063142501939525.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5884001808925772712.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7170063142501939525.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2551 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:03:21] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
// Phase 1: matrix 40563 rows 27400 cols
[2023-03-24 04:03:30] [INFO ] Computed 1701 place invariants in 9476 ms
[2023-03-24 04:03:33] [INFO ] Implicit Places using invariants in 11796 ms returned []
Implicit Place search using SMT only with invariants took 11806 ms to find 0 implicit places.
[2023-03-24 04:03:33] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:03:33] [INFO ] Invariant cache hit.
[2023-03-24 04:03:35] [INFO ] Dead Transitions using invariants and state equation in 2365 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16724 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:03:36] [INFO ] Flatten gal took : 965 ms
[2023-03-24 04:03:37] [INFO ] Flatten gal took : 1278 ms
[2023-03-24 04:03:39] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:03:41] [INFO ] Flatten gal took : 1151 ms
[2023-03-24 04:03:42] [INFO ] Flatten gal took : 1219 ms
[2023-03-24 04:03:42] [INFO ] Time to serialize gal into /tmp/CTLFireability10891038784118331729.gal : 189 ms
[2023-03-24 04:03:42] [INFO ] Time to serialize properties into /tmp/CTLFireability9778680067047333852.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10891038784118331729.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9778680067047333852.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:04:13] [INFO ] Flatten gal took : 1087 ms
[2023-03-24 04:04:13] [INFO ] Applying decomposition
[2023-03-24 04:04:15] [INFO ] Flatten gal took : 1169 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11127784758186770060.txt' '-o' '/tmp/graph11127784758186770060.bin' '-w' '/tmp/graph11127784758186770060.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11127784758186770060.bin' '-l' '-1' '-v' '-w' '/tmp/graph11127784758186770060.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:04:17] [INFO ] Decomposing Gal with order
[2023-03-24 04:04:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:04:35] [INFO ] Removed a total of 28403 redundant transitions.
[2023-03-24 04:04:35] [INFO ] Flatten gal took : 5770 ms
[2023-03-24 04:04:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 8103 labels/synchronizations in 1453 ms.
[2023-03-24 04:04:38] [INFO ] Time to serialize gal into /tmp/CTLFireability3617831541747524166.gal : 217 ms
[2023-03-24 04:04:38] [INFO ] Time to serialize properties into /tmp/CTLFireability12980492885531493623.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3617831541747524166.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12980492885531493623.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2530 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:05:11] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:05:11] [INFO ] Invariant cache hit.
[2023-03-24 04:05:13] [INFO ] Implicit Places using invariants in 2382 ms returned []
Implicit Place search using SMT only with invariants took 2383 ms to find 0 implicit places.
[2023-03-24 04:05:13] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:05:13] [INFO ] Invariant cache hit.
[2023-03-24 04:05:16] [INFO ] Dead Transitions using invariants and state equation in 2364 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7294 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:05:17] [INFO ] Flatten gal took : 1081 ms
[2023-03-24 04:05:18] [INFO ] Flatten gal took : 1233 ms
[2023-03-24 04:05:21] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:05:22] [INFO ] Flatten gal took : 1047 ms
[2023-03-24 04:05:23] [INFO ] Flatten gal took : 1074 ms
[2023-03-24 04:05:23] [INFO ] Time to serialize gal into /tmp/CTLFireability8949385290932206071.gal : 167 ms
[2023-03-24 04:05:23] [INFO ] Time to serialize properties into /tmp/CTLFireability3814236250074393089.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8949385290932206071.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3814236250074393089.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:05:54] [INFO ] Flatten gal took : 1032 ms
[2023-03-24 04:05:54] [INFO ] Applying decomposition
[2023-03-24 04:05:55] [INFO ] Flatten gal took : 1121 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17168875297909162014.txt' '-o' '/tmp/graph17168875297909162014.bin' '-w' '/tmp/graph17168875297909162014.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17168875297909162014.bin' '-l' '-1' '-v' '-w' '/tmp/graph17168875297909162014.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:05:58] [INFO ] Decomposing Gal with order
[2023-03-24 04:06:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:06:17] [INFO ] Removed a total of 28561 redundant transitions.
[2023-03-24 04:06:18] [INFO ] Flatten gal took : 6450 ms
[2023-03-24 04:06:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 7544 labels/synchronizations in 1467 ms.
[2023-03-24 04:06:21] [INFO ] Time to serialize gal into /tmp/CTLFireability4469571860241552162.gal : 224 ms
[2023-03-24 04:06:21] [INFO ] Time to serialize properties into /tmp/CTLFireability13156963081287036191.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4469571860241552162.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13156963081287036191.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2545 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:06:54] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:06:54] [INFO ] Invariant cache hit.
[2023-03-24 04:06:56] [INFO ] Implicit Places using invariants in 2382 ms returned []
Implicit Place search using SMT only with invariants took 2385 ms to find 0 implicit places.
[2023-03-24 04:06:56] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:06:56] [INFO ] Invariant cache hit.
[2023-03-24 04:06:59] [INFO ] Dead Transitions using invariants and state equation in 2410 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7348 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:07:00] [INFO ] Flatten gal took : 1072 ms
[2023-03-24 04:07:01] [INFO ] Flatten gal took : 1234 ms
[2023-03-24 04:07:04] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:07:05] [INFO ] Flatten gal took : 1178 ms
[2023-03-24 04:07:06] [INFO ] Flatten gal took : 1229 ms
[2023-03-24 04:07:06] [INFO ] Time to serialize gal into /tmp/CTLFireability3607948714258769467.gal : 186 ms
[2023-03-24 04:07:07] [INFO ] Time to serialize properties into /tmp/CTLFireability12309530956935220706.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3607948714258769467.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12309530956935220706.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:07:38] [INFO ] Flatten gal took : 1133 ms
[2023-03-24 04:07:38] [INFO ] Applying decomposition
[2023-03-24 04:07:39] [INFO ] Flatten gal took : 1165 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph2264788634415146415.txt' '-o' '/tmp/graph2264788634415146415.bin' '-w' '/tmp/graph2264788634415146415.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2264788634415146415.bin' '-l' '-1' '-v' '-w' '/tmp/graph2264788634415146415.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:07:41] [INFO ] Decomposing Gal with order
[2023-03-24 04:07:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:07:59] [INFO ] Removed a total of 28236 redundant transitions.
[2023-03-24 04:07:59] [INFO ] Flatten gal took : 6089 ms
[2023-03-24 04:08:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 3528 labels/synchronizations in 1335 ms.
[2023-03-24 04:08:02] [INFO ] Time to serialize gal into /tmp/CTLFireability14991245913045699062.gal : 237 ms
[2023-03-24 04:08:02] [INFO ] Time to serialize properties into /tmp/CTLFireability15634752643215638705.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14991245913045699062.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15634752643215638705.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2691 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:08:35] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:08:35] [INFO ] Invariant cache hit.
[2023-03-24 04:08:37] [INFO ] Implicit Places using invariants in 2127 ms returned []
Implicit Place search using SMT only with invariants took 2128 ms to find 0 implicit places.
[2023-03-24 04:08:37] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:08:37] [INFO ] Invariant cache hit.
[2023-03-24 04:08:39] [INFO ] Dead Transitions using invariants and state equation in 2106 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6926 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:08:40] [INFO ] Flatten gal took : 1075 ms
[2023-03-24 04:08:41] [INFO ] Flatten gal took : 1233 ms
[2023-03-24 04:08:44] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:08:45] [INFO ] Flatten gal took : 1040 ms
[2023-03-24 04:08:46] [INFO ] Flatten gal took : 1109 ms
[2023-03-24 04:08:46] [INFO ] Time to serialize gal into /tmp/CTLFireability8326374010418904842.gal : 292 ms
[2023-03-24 04:08:46] [INFO ] Time to serialize properties into /tmp/CTLFireability8343713432409239661.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8326374010418904842.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8343713432409239661.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:09:18] [INFO ] Flatten gal took : 1040 ms
[2023-03-24 04:09:18] [INFO ] Applying decomposition
[2023-03-24 04:09:19] [INFO ] Flatten gal took : 1077 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8100723371246793365.txt' '-o' '/tmp/graph8100723371246793365.bin' '-w' '/tmp/graph8100723371246793365.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8100723371246793365.bin' '-l' '-1' '-v' '-w' '/tmp/graph8100723371246793365.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:09:21] [INFO ] Decomposing Gal with order
[2023-03-24 04:09:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:09:41] [INFO ] Removed a total of 28480 redundant transitions.
[2023-03-24 04:09:41] [INFO ] Flatten gal took : 6147 ms
[2023-03-24 04:09:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 7828 labels/synchronizations in 1563 ms.
[2023-03-24 04:09:45] [INFO ] Time to serialize gal into /tmp/CTLFireability15609662778833916632.gal : 215 ms
[2023-03-24 04:09:45] [INFO ] Time to serialize properties into /tmp/CTLFireability7181761248996493295.ctl : 11 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15609662778833916632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7181761248996493295.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2527 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:10:17] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:10:17] [INFO ] Invariant cache hit.
[2023-03-24 04:10:20] [INFO ] Implicit Places using invariants in 2517 ms returned []
Implicit Place search using SMT only with invariants took 2520 ms to find 0 implicit places.
[2023-03-24 04:10:20] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:10:20] [INFO ] Invariant cache hit.
[2023-03-24 04:10:22] [INFO ] Dead Transitions using invariants and state equation in 2333 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7385 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:10:23] [INFO ] Flatten gal took : 964 ms
[2023-03-24 04:10:24] [INFO ] Flatten gal took : 1091 ms
[2023-03-24 04:10:26] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:10:28] [INFO ] Flatten gal took : 1197 ms
[2023-03-24 04:10:29] [INFO ] Flatten gal took : 1193 ms
[2023-03-24 04:10:29] [INFO ] Time to serialize gal into /tmp/CTLFireability7881130187235439822.gal : 179 ms
[2023-03-24 04:10:29] [INFO ] Time to serialize properties into /tmp/CTLFireability7022145782147072189.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7881130187235439822.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7022145782147072189.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:11:00] [INFO ] Flatten gal took : 1042 ms
[2023-03-24 04:11:00] [INFO ] Applying decomposition
[2023-03-24 04:11:01] [INFO ] Flatten gal took : 1075 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7052665956805784869.txt' '-o' '/tmp/graph7052665956805784869.bin' '-w' '/tmp/graph7052665956805784869.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7052665956805784869.bin' '-l' '-1' '-v' '-w' '/tmp/graph7052665956805784869.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:11:04] [INFO ] Decomposing Gal with order
[2023-03-24 04:11:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:11:23] [INFO ] Removed a total of 28399 redundant transitions.
[2023-03-24 04:11:24] [INFO ] Flatten gal took : 6357 ms
[2023-03-24 04:11:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 8169 labels/synchronizations in 1560 ms.
[2023-03-24 04:11:28] [INFO ] Time to serialize gal into /tmp/CTLFireability7744128134587412395.gal : 230 ms
[2023-03-24 04:11:28] [INFO ] Time to serialize properties into /tmp/CTLFireability8179740015627241459.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7744128134587412395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8179740015627241459.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2448 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:12:00] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:12:00] [INFO ] Invariant cache hit.
[2023-03-24 04:12:02] [INFO ] Implicit Places using invariants in 2330 ms returned []
Implicit Place search using SMT only with invariants took 2331 ms to find 0 implicit places.
[2023-03-24 04:12:02] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:12:02] [INFO ] Invariant cache hit.
[2023-03-24 04:12:05] [INFO ] Dead Transitions using invariants and state equation in 2606 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7387 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:12:06] [INFO ] Flatten gal took : 1095 ms
[2023-03-24 04:12:07] [INFO ] Flatten gal took : 1240 ms
[2023-03-24 04:12:10] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:12:11] [INFO ] Flatten gal took : 1183 ms
[2023-03-24 04:12:12] [INFO ] Flatten gal took : 1256 ms
[2023-03-24 04:12:13] [INFO ] Time to serialize gal into /tmp/CTLFireability4776096492875150524.gal : 195 ms
[2023-03-24 04:12:13] [INFO ] Time to serialize properties into /tmp/CTLFireability16018259140388755588.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4776096492875150524.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16018259140388755588.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:12:44] [INFO ] Flatten gal took : 1080 ms
[2023-03-24 04:12:44] [INFO ] Applying decomposition
[2023-03-24 04:12:45] [INFO ] Flatten gal took : 1131 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7271521029642626984.txt' '-o' '/tmp/graph7271521029642626984.bin' '-w' '/tmp/graph7271521029642626984.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7271521029642626984.bin' '-l' '-1' '-v' '-w' '/tmp/graph7271521029642626984.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:12:47] [INFO ] Decomposing Gal with order
[2023-03-24 04:12:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:13:08] [INFO ] Removed a total of 28295 redundant transitions.
[2023-03-24 04:13:09] [INFO ] Flatten gal took : 6356 ms
[2023-03-24 04:13:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 5598 labels/synchronizations in 1440 ms.
[2023-03-24 04:13:12] [INFO ] Time to serialize gal into /tmp/CTLFireability8059491459718524682.gal : 255 ms
[2023-03-24 04:13:12] [INFO ] Time to serialize properties into /tmp/CTLFireability16761312828937306625.ctl : 6 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8059491459718524682.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16761312828937306625.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Applied a total of 0 rules in 2678 ms. Remains 27400 /27400 variables (removed 0) and now considering 41619/41619 (removed 0) transitions.
[2023-03-24 04:13:44] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:13:44] [INFO ] Invariant cache hit.
[2023-03-24 04:13:47] [INFO ] Implicit Places using invariants in 2345 ms returned []
Implicit Place search using SMT only with invariants took 2357 ms to find 0 implicit places.
[2023-03-24 04:13:47] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2023-03-24 04:13:47] [INFO ] Invariant cache hit.
[2023-03-24 04:13:49] [INFO ] Dead Transitions using invariants and state equation in 2323 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7362 ms. Remains : 27400/27400 places, 41619/41619 transitions.
[2023-03-24 04:13:50] [INFO ] Flatten gal took : 939 ms
[2023-03-24 04:13:51] [INFO ] Flatten gal took : 1059 ms
[2023-03-24 04:13:53] [INFO ] Input system was already deterministic with 41619 transitions.
[2023-03-24 04:13:54] [INFO ] Flatten gal took : 1033 ms
[2023-03-24 04:13:55] [INFO ] Flatten gal took : 1180 ms
[2023-03-24 04:13:56] [INFO ] Time to serialize gal into /tmp/CTLFireability8024353253075104377.gal : 178 ms
[2023-03-24 04:13:56] [INFO ] Time to serialize properties into /tmp/CTLFireability8068289930768986964.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8024353253075104377.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8068289930768986964.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:14:27] [INFO ] Flatten gal took : 1185 ms
[2023-03-24 04:14:27] [INFO ] Applying decomposition
[2023-03-24 04:14:28] [INFO ] Flatten gal took : 1269 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17397312383333183564.txt' '-o' '/tmp/graph17397312383333183564.bin' '-w' '/tmp/graph17397312383333183564.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17397312383333183564.bin' '-l' '-1' '-v' '-w' '/tmp/graph17397312383333183564.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:14:31] [INFO ] Decomposing Gal with order
[2023-03-24 04:14:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:14:49] [INFO ] Removed a total of 28527 redundant transitions.
[2023-03-24 04:14:50] [INFO ] Flatten gal took : 6179 ms
[2023-03-24 04:14:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 3119 labels/synchronizations in 1144 ms.
[2023-03-24 04:14:52] [INFO ] Time to serialize gal into /tmp/CTLFireability11505557434344889859.gal : 369 ms
[2023-03-24 04:14:52] [INFO ] Time to serialize properties into /tmp/CTLFireability15170495409043275507.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11505557434344889859.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15170495409043275507.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 27400/27400 places, 41619/41619 transitions.
Drop transitions removed 8448 transitions
Trivial Post-agglo rules discarded 8448 transitions
Performed 8448 trivial Post agglomeration. Transition count delta: 8448
Iterating post reduction 0 with 8448 rules applied. Total rules applied 8448 place count 27400 transition count 33171
Reduce places removed 8448 places and 0 transitions.
Iterating post reduction 1 with 8448 rules applied. Total rules applied 16896 place count 18952 transition count 33171
Performed 528 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 528 Pre rules applied. Total rules applied 16896 place count 18952 transition count 32643
Deduced a syphon composed of 528 places in 43 ms
Reduce places removed 528 places and 0 transitions.
Iterating global reduction 2 with 1056 rules applied. Total rules applied 17952 place count 18424 transition count 32643
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 34 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 18018 place count 18391 transition count 32610
Applied a total of 18018 rules in 7324 ms. Remains 18391 /27400 variables (removed 9009) and now considering 32610/41619 (removed 9009) transitions.
[2023-03-24 04:15:30] [INFO ] Flow matrix only has 31554 transitions (discarded 1056 similar events)
// Phase 1: matrix 31554 rows 18391 cols
[2023-03-24 04:15:34] [INFO ] Computed 1701 place invariants in 4015 ms
[2023-03-24 04:15:35] [INFO ] Implicit Places using invariants in 5615 ms returned []
Implicit Place search using SMT only with invariants took 5619 ms to find 0 implicit places.
[2023-03-24 04:15:35] [INFO ] Flow matrix only has 31554 transitions (discarded 1056 similar events)
[2023-03-24 04:15:35] [INFO ] Invariant cache hit.
[2023-03-24 04:15:37] [INFO ] Dead Transitions using invariants and state equation in 1582 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 18391/27400 places, 32610/41619 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 14535 ms. Remains : 18391/27400 places, 32610/41619 transitions.
[2023-03-24 04:15:38] [INFO ] Flatten gal took : 715 ms
[2023-03-24 04:15:38] [INFO ] Flatten gal took : 879 ms
[2023-03-24 04:15:40] [INFO ] Input system was already deterministic with 32610 transitions.
[2023-03-24 04:15:41] [INFO ] Flatten gal took : 869 ms
[2023-03-24 04:15:42] [INFO ] Flatten gal took : 1008 ms
[2023-03-24 04:15:43] [INFO ] Time to serialize gal into /tmp/CTLFireability1600941811549737103.gal : 160 ms
[2023-03-24 04:15:43] [INFO ] Time to serialize properties into /tmp/CTLFireability5741521700607544777.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1600941811549737103.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5741521700607544777.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-24 04:16:14] [INFO ] Flatten gal took : 854 ms
[2023-03-24 04:16:14] [INFO ] Applying decomposition
[2023-03-24 04:16:14] [INFO ] Flatten gal took : 920 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph4652907816166634175.txt' '-o' '/tmp/graph4652907816166634175.bin' '-w' '/tmp/graph4652907816166634175.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4652907816166634175.bin' '-l' '-1' '-v' '-w' '/tmp/graph4652907816166634175.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:16:17] [INFO ] Decomposing Gal with order
[2023-03-24 04:16:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:16:30] [INFO ] Removed a total of 24355 redundant transitions.
[2023-03-24 04:16:30] [INFO ] Flatten gal took : 7934 ms
[2023-03-24 04:16:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 7342 labels/synchronizations in 1211 ms.
[2023-03-24 04:16:33] [INFO ] Time to serialize gal into /tmp/CTLFireability842578939360188622.gal : 188 ms
[2023-03-24 04:16:33] [INFO ] Time to serialize properties into /tmp/CTLFireability3201634458021604397.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability842578939360188622.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3201634458021604397.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-24 04:17:05] [INFO ] Flatten gal took : 1175 ms
[2023-03-24 04:17:06] [INFO ] Flatten gal took : 1249 ms
[2023-03-24 04:17:06] [INFO ] Applying decomposition
[2023-03-24 04:17:08] [INFO ] Flatten gal took : 1240 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph10039652529239619876.txt' '-o' '/tmp/graph10039652529239619876.bin' '-w' '/tmp/graph10039652529239619876.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10039652529239619876.bin' '-l' '-1' '-v' '-w' '/tmp/graph10039652529239619876.weights' '-q' '0' '-e' '0.001'
[2023-03-24 04:17:11] [INFO ] Decomposing Gal with order
[2023-03-24 04:17:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-24 04:17:29] [INFO ] Removed a total of 28552 redundant transitions.
[2023-03-24 04:17:30] [INFO ] Flatten gal took : 5875 ms
[2023-03-24 04:17:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 4351 labels/synchronizations in 1488 ms.
[2023-03-24 04:17:33] [INFO ] Time to serialize gal into /tmp/CTLFireability13572448797844700345.gal : 209 ms
[2023-03-24 04:17:33] [INFO ] Time to serialize properties into /tmp/CTLFireability3463707301075969642.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13572448797844700345.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3463707301075969642.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_STOP 1679632002533
--------------------
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
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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-S32C08"
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-5348"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C08, 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 r229-tall-167856414000938"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C08.tgz
mv MultiCrashLeafsetExtension-PT-S32C08 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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -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 ;