About the Execution of ITS-Tools for FunctionPointer-PT-c004
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16214.111 | 3600000.00 | 3941328.00 | 250758.30 | ???T?TF???FF???? | normal |
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.r165-tall-167838850800722.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 FunctionPointer-PT-c004, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r165-tall-167838850800722
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.5M
-rw-r--r-- 1 mcc users 7.7K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 11:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 12:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 12:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M 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 FunctionPointer-PT-c004-CTLFireability-00
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-01
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-02
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-03
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-04
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-05
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-06
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-07
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-08
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-09
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-10
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-11
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-12
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-13
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-14
FORMULA_NAME FunctionPointer-PT-c004-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679567653817
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=FunctionPointer-PT-c004
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-23 10:34:15] [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-23 10:34:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:34:15] [INFO ] Load time of PNML (sax parser for PT used): 322 ms
[2023-03-23 10:34:15] [INFO ] Transformed 2826 places.
[2023-03-23 10:34:15] [INFO ] Transformed 8960 transitions.
[2023-03-23 10:34:15] [INFO ] Parsed PT model containing 2826 places and 8960 transitions and 36096 arcs in 424 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 15 ms.
Deduced a syphon composed of 1198 places in 29 ms
Reduce places removed 1198 places and 2998 transitions.
FORMULA FunctionPointer-PT-c004-CTLFireability-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 77 out of 1628 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1628/1628 places, 5962/5962 transitions.
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 1611 transition count 5962
Discarding 267 places :
Symmetric choice reduction at 1 with 267 rule applications. Total rules 284 place count 1344 transition count 4062
Iterating global reduction 1 with 267 rules applied. Total rules applied 551 place count 1344 transition count 4062
Ensure Unique test removed 554 transitions
Reduce isomorphic transitions removed 554 transitions.
Iterating post reduction 1 with 554 rules applied. Total rules applied 1105 place count 1344 transition count 3508
Discarding 129 places :
Symmetric choice reduction at 2 with 129 rule applications. Total rules 1234 place count 1215 transition count 3250
Iterating global reduction 2 with 129 rules applied. Total rules applied 1363 place count 1215 transition count 3250
Ensure Unique test removed 148 transitions
Reduce isomorphic transitions removed 148 transitions.
Iterating post reduction 2 with 148 rules applied. Total rules applied 1511 place count 1215 transition count 3102
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 1522 place count 1204 transition count 3080
Iterating global reduction 3 with 11 rules applied. Total rules applied 1533 place count 1204 transition count 3080
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 1544 place count 1193 transition count 3058
Iterating global reduction 3 with 11 rules applied. Total rules applied 1555 place count 1193 transition count 3058
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 1566 place count 1182 transition count 3036
Iterating global reduction 3 with 11 rules applied. Total rules applied 1577 place count 1182 transition count 3036
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 1588 place count 1171 transition count 3014
Iterating global reduction 3 with 11 rules applied. Total rules applied 1599 place count 1171 transition count 3014
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 1610 place count 1160 transition count 2992
Iterating global reduction 3 with 11 rules applied. Total rules applied 1621 place count 1160 transition count 2992
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 1628 place count 1153 transition count 2978
Iterating global reduction 3 with 7 rules applied. Total rules applied 1635 place count 1153 transition count 2978
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1641 place count 1147 transition count 2966
Iterating global reduction 3 with 6 rules applied. Total rules applied 1647 place count 1147 transition count 2966
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 1656 place count 1138 transition count 2940
Iterating global reduction 3 with 9 rules applied. Total rules applied 1665 place count 1138 transition count 2940
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 1684 place count 1119 transition count 2864
Iterating global reduction 3 with 19 rules applied. Total rules applied 1703 place count 1119 transition count 2864
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 1720 place count 1102 transition count 2802
Iterating global reduction 3 with 17 rules applied. Total rules applied 1737 place count 1102 transition count 2802
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 1754 place count 1085 transition count 2768
Iterating global reduction 3 with 17 rules applied. Total rules applied 1771 place count 1085 transition count 2768
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 1788 place count 1068 transition count 2734
Iterating global reduction 3 with 17 rules applied. Total rules applied 1805 place count 1068 transition count 2734
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 1821 place count 1052 transition count 2702
Iterating global reduction 3 with 16 rules applied. Total rules applied 1837 place count 1052 transition count 2702
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 1853 place count 1036 transition count 2670
Iterating global reduction 3 with 16 rules applied. Total rules applied 1869 place count 1036 transition count 2670
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 1881 place count 1024 transition count 2646
Iterating global reduction 3 with 12 rules applied. Total rules applied 1893 place count 1024 transition count 2646
Applied a total of 1893 rules in 1580 ms. Remains 1024 /1628 variables (removed 604) and now considering 2646/5962 (removed 3316) transitions.
[2023-03-23 10:34:17] [INFO ] Flow matrix only has 1783 transitions (discarded 863 similar events)
// Phase 1: matrix 1783 rows 1024 cols
[2023-03-23 10:34:17] [INFO ] Computed 2 place invariants in 51 ms
[2023-03-23 10:34:18] [INFO ] Implicit Places using invariants in 826 ms returned []
[2023-03-23 10:34:18] [INFO ] Flow matrix only has 1783 transitions (discarded 863 similar events)
[2023-03-23 10:34:18] [INFO ] Invariant cache hit.
[2023-03-23 10:34:18] [INFO ] State equation strengthened by 408 read => feed constraints.
[2023-03-23 10:34:23] [INFO ] Implicit Places using invariants and state equation in 5326 ms returned []
Implicit Place search using SMT with State Equation took 6179 ms to find 0 implicit places.
[2023-03-23 10:34:23] [INFO ] Flow matrix only has 1783 transitions (discarded 863 similar events)
[2023-03-23 10:34:23] [INFO ] Invariant cache hit.
[2023-03-23 10:34:24] [INFO ] Dead Transitions using invariants and state equation in 847 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1024/1628 places, 2646/5962 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8609 ms. Remains : 1024/1628 places, 2646/5962 transitions.
Support contains 77 out of 1024 places after structural reductions.
[2023-03-23 10:34:24] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2023-03-23 10:34:24] [INFO ] Flatten gal took : 185 ms
[2023-03-23 10:34:24] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA FunctionPointer-PT-c004-CTLFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c004-CTLFireability-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c004-CTLFireability-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c004-CTLFireability-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-23 10:34:24] [INFO ] Flatten gal took : 123 ms
[2023-03-23 10:34:25] [INFO ] Input system was already deterministic with 2646 transitions.
Support contains 53 out of 1024 places (down from 77) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 495 ms. (steps per millisecond=20 ) properties (out of 35) 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 34) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 32) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 31) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 30) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 28) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 27) seen :0
Running SMT prover for 27 properties.
[2023-03-23 10:34:25] [INFO ] Flow matrix only has 1783 transitions (discarded 863 similar events)
[2023-03-23 10:34:25] [INFO ] Invariant cache hit.
[2023-03-23 10:34:26] [INFO ] [Real]Absence check using 1 positive place invariants in 4 ms returned sat
[2023-03-23 10:34:26] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-23 10:34:31] [INFO ] After 5369ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:26
[2023-03-23 10:34:31] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:34:31] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-23 10:34:36] [INFO ] After 4576ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :26
[2023-03-23 10:34:36] [INFO ] State equation strengthened by 408 read => feed constraints.
[2023-03-23 10:34:40] [INFO ] After 3782ms SMT Verify possible using 408 Read/Feed constraints in natural domain returned unsat :1 sat :26
[2023-03-23 10:34:40] [INFO ] Deduced a trap composed of 131 places in 206 ms of which 4 ms to minimize.
[2023-03-23 10:34:41] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 308 ms
[2023-03-23 10:34:44] [INFO ] After 7922ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :26
Attempting to minimize the solution found.
Minimization took 2971 ms.
[2023-03-23 10:34:47] [INFO ] After 16317ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :26
Fused 27 Parikh solutions to 26 different solutions.
Parikh walk visited 0 properties in 136 ms.
Support contains 35 out of 1024 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1024/1024 places, 2646/2646 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 1006 transition count 2600
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 1006 transition count 2600
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 42 place count 1006 transition count 2594
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 60 place count 988 transition count 2558
Iterating global reduction 1 with 18 rules applied. Total rules applied 78 place count 988 transition count 2558
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 86 place count 988 transition count 2550
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 100 place count 974 transition count 2504
Iterating global reduction 2 with 14 rules applied. Total rules applied 114 place count 974 transition count 2504
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 127 place count 961 transition count 2460
Iterating global reduction 2 with 13 rules applied. Total rules applied 140 place count 961 transition count 2460
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 155 place count 946 transition count 2424
Iterating global reduction 2 with 15 rules applied. Total rules applied 170 place count 946 transition count 2424
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 184 place count 932 transition count 2390
Iterating global reduction 2 with 14 rules applied. Total rules applied 198 place count 932 transition count 2390
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 210 place count 920 transition count 2366
Iterating global reduction 2 with 12 rules applied. Total rules applied 222 place count 920 transition count 2366
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 234 place count 908 transition count 2342
Iterating global reduction 2 with 12 rules applied. Total rules applied 246 place count 908 transition count 2342
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 260 place count 894 transition count 2308
Iterating global reduction 2 with 14 rules applied. Total rules applied 274 place count 894 transition count 2308
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 280 place count 888 transition count 2290
Iterating global reduction 2 with 6 rules applied. Total rules applied 286 place count 888 transition count 2290
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 292 place count 882 transition count 2278
Iterating global reduction 2 with 6 rules applied. Total rules applied 298 place count 882 transition count 2278
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 301 place count 879 transition count 2272
Iterating global reduction 2 with 3 rules applied. Total rules applied 304 place count 879 transition count 2272
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 307 place count 876 transition count 2266
Iterating global reduction 2 with 3 rules applied. Total rules applied 310 place count 876 transition count 2266
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 313 place count 873 transition count 2260
Iterating global reduction 2 with 3 rules applied. Total rules applied 316 place count 873 transition count 2260
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 319 place count 870 transition count 2254
Iterating global reduction 2 with 3 rules applied. Total rules applied 322 place count 870 transition count 2254
Drop transitions removed 62 transitions
Redundant transition composition rules discarded 62 transitions
Iterating global reduction 2 with 62 rules applied. Total rules applied 384 place count 870 transition count 2192
Applied a total of 384 rules in 895 ms. Remains 870 /1024 variables (removed 154) and now considering 2192/2646 (removed 454) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 895 ms. Remains : 870/1024 places, 2192/2646 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 229 ms. (steps per millisecond=43 ) properties (out of 26) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 25) 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 25) 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 25) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 25) seen :0
Interrupted probabilistic random walk after 157057 steps, run timeout after 3001 ms. (steps per millisecond=52 ) properties seen :{}
Probabilistic random walk after 157057 steps, saw 101960 distinct states, run finished after 3002 ms. (steps per millisecond=52 ) properties seen :0
Running SMT prover for 25 properties.
[2023-03-23 10:34:52] [INFO ] Flow matrix only has 1489 transitions (discarded 703 similar events)
// Phase 1: matrix 1489 rows 870 cols
[2023-03-23 10:34:52] [INFO ] Computed 2 place invariants in 17 ms
[2023-03-23 10:34:52] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:34:52] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-23 10:34:56] [INFO ] After 4300ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:25
[2023-03-23 10:34:57] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2023-03-23 10:34:57] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:35:01] [INFO ] After 3654ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :25
[2023-03-23 10:35:01] [INFO ] State equation strengthened by 358 read => feed constraints.
[2023-03-23 10:35:03] [INFO ] After 2798ms SMT Verify possible using 358 Read/Feed constraints in natural domain returned unsat :0 sat :25
[2023-03-23 10:35:04] [INFO ] Deduced a trap composed of 135 places in 168 ms of which 1 ms to minimize.
[2023-03-23 10:35:04] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 261 ms
[2023-03-23 10:35:06] [INFO ] Deduced a trap composed of 131 places in 240 ms of which 2 ms to minimize.
[2023-03-23 10:35:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 330 ms
[2023-03-23 10:35:07] [INFO ] After 6355ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :25
Attempting to minimize the solution found.
Minimization took 2419 ms.
[2023-03-23 10:35:09] [INFO ] After 13135ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :25
Parikh walk visited 0 properties in 101 ms.
Support contains 34 out of 870 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 870/870 places, 2192/2192 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 869 transition count 2190
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 869 transition count 2190
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 869 transition count 2188
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 5 place count 868 transition count 2186
Iterating global reduction 1 with 1 rules applied. Total rules applied 6 place count 868 transition count 2186
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 7 place count 867 transition count 2184
Iterating global reduction 1 with 1 rules applied. Total rules applied 8 place count 867 transition count 2184
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 11 place count 864 transition count 2172
Iterating global reduction 1 with 3 rules applied. Total rules applied 14 place count 864 transition count 2172
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 17 place count 861 transition count 2166
Iterating global reduction 1 with 3 rules applied. Total rules applied 20 place count 861 transition count 2166
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 23 place count 858 transition count 2160
Iterating global reduction 1 with 3 rules applied. Total rules applied 26 place count 858 transition count 2160
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 29 place count 855 transition count 2154
Iterating global reduction 1 with 3 rules applied. Total rules applied 32 place count 855 transition count 2154
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 35 place count 852 transition count 2148
Iterating global reduction 1 with 3 rules applied. Total rules applied 38 place count 852 transition count 2148
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 41 place count 849 transition count 2142
Iterating global reduction 1 with 3 rules applied. Total rules applied 44 place count 849 transition count 2142
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 47 place count 846 transition count 2136
Iterating global reduction 1 with 3 rules applied. Total rules applied 50 place count 846 transition count 2136
Applied a total of 50 rules in 354 ms. Remains 846 /870 variables (removed 24) and now considering 2136/2192 (removed 56) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 354 ms. Remains : 846/870 places, 2136/2192 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=50 ) properties (out of 25) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 24) seen :0
Interrupted probabilistic random walk after 155121 steps, run timeout after 3001 ms. (steps per millisecond=51 ) properties seen :{}
Probabilistic random walk after 155121 steps, saw 100704 distinct states, run finished after 3001 ms. (steps per millisecond=51 ) properties seen :0
Running SMT prover for 24 properties.
[2023-03-23 10:35:13] [INFO ] Flow matrix only has 1449 transitions (discarded 687 similar events)
// Phase 1: matrix 1449 rows 846 cols
[2023-03-23 10:35:13] [INFO ] Computed 2 place invariants in 15 ms
[2023-03-23 10:35:14] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:35:14] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 4 ms returned sat
[2023-03-23 10:35:17] [INFO ] After 3668ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:24
[2023-03-23 10:35:17] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2023-03-23 10:35:17] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:35:21] [INFO ] After 3353ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :24
[2023-03-23 10:35:21] [INFO ] State equation strengthened by 349 read => feed constraints.
[2023-03-23 10:35:24] [INFO ] After 3113ms SMT Verify possible using 349 Read/Feed constraints in natural domain returned unsat :0 sat :24
[2023-03-23 10:35:24] [INFO ] Deduced a trap composed of 131 places in 230 ms of which 1 ms to minimize.
[2023-03-23 10:35:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 326 ms
[2023-03-23 10:35:27] [INFO ] After 6186ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :24
Attempting to minimize the solution found.
Minimization took 2137 ms.
[2023-03-23 10:35:29] [INFO ] After 12345ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :24
Parikh walk visited 0 properties in 64 ms.
Support contains 33 out of 846 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 846/846 places, 2136/2136 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 845 transition count 2134
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 845 transition count 2134
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 844 transition count 2130
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 844 transition count 2130
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 843 transition count 2128
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 843 transition count 2128
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 842 transition count 2126
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 842 transition count 2126
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 841 transition count 2124
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 841 transition count 2124
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 840 transition count 2122
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 840 transition count 2122
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 839 transition count 2120
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 839 transition count 2120
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 15 place count 838 transition count 2118
Iterating global reduction 0 with 1 rules applied. Total rules applied 16 place count 838 transition count 2118
Applied a total of 16 rules in 284 ms. Remains 838 /846 variables (removed 8) and now considering 2118/2136 (removed 18) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 284 ms. Remains : 838/846 places, 2118/2136 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=76 ) properties (out of 24) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Interrupted probabilistic random walk after 158068 steps, run timeout after 3001 ms. (steps per millisecond=52 ) properties seen :{}
Probabilistic random walk after 158068 steps, saw 102617 distinct states, run finished after 3001 ms. (steps per millisecond=52 ) properties seen :0
Running SMT prover for 22 properties.
[2023-03-23 10:35:33] [INFO ] Flow matrix only has 1436 transitions (discarded 682 similar events)
// Phase 1: matrix 1436 rows 838 cols
[2023-03-23 10:35:33] [INFO ] Computed 2 place invariants in 14 ms
[2023-03-23 10:35:33] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:35:33] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-23 10:35:37] [INFO ] After 3563ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:22
[2023-03-23 10:35:37] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:35:37] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:35:40] [INFO ] After 3333ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :22
[2023-03-23 10:35:40] [INFO ] State equation strengthened by 346 read => feed constraints.
[2023-03-23 10:35:44] [INFO ] After 3058ms SMT Verify possible using 346 Read/Feed constraints in natural domain returned unsat :0 sat :22
[2023-03-23 10:35:46] [INFO ] Deduced a trap composed of 135 places in 194 ms of which 1 ms to minimize.
[2023-03-23 10:35:46] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 310 ms
[2023-03-23 10:35:47] [INFO ] After 6215ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :22
Attempting to minimize the solution found.
Minimization took 1921 ms.
[2023-03-23 10:35:49] [INFO ] After 12083ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :22
Parikh walk visited 0 properties in 51 ms.
Support contains 31 out of 838 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 838/838 places, 2118/2118 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 836 transition count 2112
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 836 transition count 2112
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 6 place count 836 transition count 2110
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 8 place count 834 transition count 2106
Iterating global reduction 1 with 2 rules applied. Total rules applied 10 place count 834 transition count 2106
Applied a total of 10 rules in 169 ms. Remains 834 /838 variables (removed 4) and now considering 2106/2118 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 170 ms. Remains : 834/838 places, 2106/2118 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=47 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 22) seen :0
Interrupted probabilistic random walk after 138018 steps, run timeout after 3001 ms. (steps per millisecond=45 ) properties seen :{}
Probabilistic random walk after 138018 steps, saw 89604 distinct states, run finished after 3001 ms. (steps per millisecond=45 ) properties seen :0
Running SMT prover for 22 properties.
[2023-03-23 10:35:52] [INFO ] Flow matrix only has 1428 transitions (discarded 678 similar events)
// Phase 1: matrix 1428 rows 834 cols
[2023-03-23 10:35:52] [INFO ] Computed 2 place invariants in 10 ms
[2023-03-23 10:35:53] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:35:53] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:35:56] [INFO ] After 3504ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:22
[2023-03-23 10:35:56] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2023-03-23 10:35:56] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-23 10:36:00] [INFO ] After 3154ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :22
[2023-03-23 10:36:00] [INFO ] State equation strengthened by 344 read => feed constraints.
[2023-03-23 10:36:02] [INFO ] After 2755ms SMT Verify possible using 344 Read/Feed constraints in natural domain returned unsat :0 sat :22
[2023-03-23 10:36:03] [INFO ] Deduced a trap composed of 131 places in 219 ms of which 1 ms to minimize.
[2023-03-23 10:36:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 311 ms
[2023-03-23 10:36:05] [INFO ] After 5546ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :22
Attempting to minimize the solution found.
Minimization took 1941 ms.
[2023-03-23 10:36:07] [INFO ] After 11233ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :22
Parikh walk visited 0 properties in 40 ms.
Support contains 31 out of 834 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 834/834 places, 2106/2106 transitions.
Applied a total of 0 rules in 125 ms. Remains 834 /834 variables (removed 0) and now considering 2106/2106 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 125 ms. Remains : 834/834 places, 2106/2106 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 834/834 places, 2106/2106 transitions.
Applied a total of 0 rules in 137 ms. Remains 834 /834 variables (removed 0) and now considering 2106/2106 (removed 0) transitions.
[2023-03-23 10:36:07] [INFO ] Flow matrix only has 1428 transitions (discarded 678 similar events)
[2023-03-23 10:36:07] [INFO ] Invariant cache hit.
[2023-03-23 10:36:08] [INFO ] Implicit Places using invariants in 371 ms returned []
[2023-03-23 10:36:08] [INFO ] Flow matrix only has 1428 transitions (discarded 678 similar events)
[2023-03-23 10:36:08] [INFO ] Invariant cache hit.
[2023-03-23 10:36:08] [INFO ] State equation strengthened by 344 read => feed constraints.
[2023-03-23 10:36:10] [INFO ] Implicit Places using invariants and state equation in 2281 ms returned []
Implicit Place search using SMT with State Equation took 2653 ms to find 0 implicit places.
[2023-03-23 10:36:10] [INFO ] Redundant transitions in 120 ms returned []
[2023-03-23 10:36:10] [INFO ] Flow matrix only has 1428 transitions (discarded 678 similar events)
[2023-03-23 10:36:10] [INFO ] Invariant cache hit.
[2023-03-23 10:36:11] [INFO ] Dead Transitions using invariants and state equation in 646 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3568 ms. Remains : 834/834 places, 2106/2106 transitions.
Successfully simplified 1 atomic propositions for a total of 11 simplifications.
[2023-03-23 10:36:11] [INFO ] Flatten gal took : 83 ms
[2023-03-23 10:36:11] [INFO ] Flatten gal took : 85 ms
[2023-03-23 10:36:11] [INFO ] Input system was already deterministic with 2646 transitions.
Computed a total of 192 stabilizing places and 512 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 1024/1024 places, 2646/2646 transitions.
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 46 place count 978 transition count 2530
Iterating global reduction 0 with 46 rules applied. Total rules applied 92 place count 978 transition count 2530
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 116 place count 978 transition count 2506
Discarding 40 places :
Symmetric choice reduction at 1 with 40 rule applications. Total rules 156 place count 938 transition count 2420
Iterating global reduction 1 with 40 rules applied. Total rules applied 196 place count 938 transition count 2420
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 200 place count 938 transition count 2416
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 235 place count 903 transition count 2302
Iterating global reduction 2 with 35 rules applied. Total rules applied 270 place count 903 transition count 2302
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 313 place count 860 transition count 2150
Iterating global reduction 2 with 43 rules applied. Total rules applied 356 place count 860 transition count 2150
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 400 place count 816 transition count 2032
Iterating global reduction 2 with 44 rules applied. Total rules applied 444 place count 816 transition count 2032
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 488 place count 772 transition count 1940
Iterating global reduction 2 with 44 rules applied. Total rules applied 532 place count 772 transition count 1940
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 573 place count 731 transition count 1858
Iterating global reduction 2 with 41 rules applied. Total rules applied 614 place count 731 transition count 1858
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 655 place count 690 transition count 1772
Iterating global reduction 2 with 41 rules applied. Total rules applied 696 place count 690 transition count 1772
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 736 place count 650 transition count 1682
Iterating global reduction 2 with 40 rules applied. Total rules applied 776 place count 650 transition count 1682
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 796 place count 630 transition count 1636
Iterating global reduction 2 with 20 rules applied. Total rules applied 816 place count 630 transition count 1636
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 823 place count 623 transition count 1622
Iterating global reduction 2 with 7 rules applied. Total rules applied 830 place count 623 transition count 1622
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 835 place count 618 transition count 1612
Iterating global reduction 2 with 5 rules applied. Total rules applied 840 place count 618 transition count 1612
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 845 place count 613 transition count 1602
Iterating global reduction 2 with 5 rules applied. Total rules applied 850 place count 613 transition count 1602
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 855 place count 608 transition count 1592
Iterating global reduction 2 with 5 rules applied. Total rules applied 860 place count 608 transition count 1592
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 863 place count 605 transition count 1586
Iterating global reduction 2 with 3 rules applied. Total rules applied 866 place count 605 transition count 1586
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 868 place count 605 transition count 1584
Applied a total of 868 rules in 602 ms. Remains 605 /1024 variables (removed 419) and now considering 1584/2646 (removed 1062) transitions.
[2023-03-23 10:36:12] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
// Phase 1: matrix 1057 rows 605 cols
[2023-03-23 10:36:12] [INFO ] Computed 2 place invariants in 10 ms
[2023-03-23 10:36:12] [INFO ] Implicit Places using invariants in 319 ms returned []
[2023-03-23 10:36:12] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:12] [INFO ] Invariant cache hit.
[2023-03-23 10:36:12] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:13] [INFO ] Implicit Places using invariants and state equation in 1452 ms returned []
Implicit Place search using SMT with State Equation took 1773 ms to find 0 implicit places.
[2023-03-23 10:36:14] [INFO ] Redundant transitions in 31 ms returned []
[2023-03-23 10:36:14] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:14] [INFO ] Invariant cache hit.
[2023-03-23 10:36:14] [INFO ] Dead Transitions using invariants and state equation in 481 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 605/1024 places, 1584/2646 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2894 ms. Remains : 605/1024 places, 1584/2646 transitions.
[2023-03-23 10:36:14] [INFO ] Flatten gal took : 40 ms
[2023-03-23 10:36:14] [INFO ] Flatten gal took : 46 ms
[2023-03-23 10:36:14] [INFO ] Input system was already deterministic with 1584 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=1250 ) properties (out of 1) seen :0
[2023-03-23 10:36:14] [INFO ] Flatten gal took : 56 ms
[2023-03-23 10:36:14] [INFO ] Flatten gal took : 40 ms
[2023-03-23 10:36:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13153090823851362773.gal : 22 ms
[2023-03-23 10:36:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7691413140013117931.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13153090823851362773.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7691413140013117931.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality7691413140013117931.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 31
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :31 after 1822
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1822 after 632283
Interrupted probabilistic random walk after 482772 steps, run timeout after 3001 ms. (steps per millisecond=160 ) properties seen :{}
Probabilistic random walk after 482772 steps, saw 313351 distinct states, run finished after 3001 ms. (steps per millisecond=160 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-23 10:36:17] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:17] [INFO ] Invariant cache hit.
[2023-03-23 10:36:17] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:36:17] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:36:18] [INFO ] After 387ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:18] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:36:18] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:18] [INFO ] After 313ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:18] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:18] [INFO ] After 138ms SMT Verify possible using 262 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:19] [INFO ] Deduced a trap composed of 131 places in 139 ms of which 1 ms to minimize.
[2023-03-23 10:36:19] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 221 ms
[2023-03-23 10:36:19] [INFO ] After 435ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 49 ms.
[2023-03-23 10:36:19] [INFO ] After 891ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 605 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 605/605 places, 1584/1584 transitions.
Applied a total of 0 rules in 80 ms. Remains 605 /605 variables (removed 0) and now considering 1584/1584 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 81 ms. Remains : 605/605 places, 1584/1584 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 383 ms. (steps per millisecond=261 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2023-03-23 10:36:19] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:19] [INFO ] Invariant cache hit.
[2023-03-23 10:36:19] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-23 10:36:19] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:19] [INFO ] After 211ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2023-03-23 10:36:19] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:19] [INFO ] After 44ms SMT Verify possible using 262 Read/Feed constraints in real domain returned unsat :0 sat :1
[2023-03-23 10:36:20] [INFO ] After 97ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:20] [INFO ] After 398ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:20] [INFO ] [Nat]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-23 10:36:20] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:20] [INFO ] After 209ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:20] [INFO ] After 53ms SMT Verify possible using 262 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:20] [INFO ] After 98ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 6 ms.
[2023-03-23 10:36:20] [INFO ] After 380ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :632283 after 3.86307e+07
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :3.86307e+07 after 4.42245e+07
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2610 ms. (steps per millisecond=383 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1508 ) properties (out of 1) seen :0
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :4.42245e+07 after 9.81773e+07
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :9.81773e+07 after 1.16005e+08
Interrupted probabilistic random walk after 1469176 steps, run timeout after 9001 ms. (steps per millisecond=163 ) properties seen :{}
Probabilistic random walk after 1469176 steps, saw 953532 distinct states, run finished after 9001 ms. (steps per millisecond=163 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-23 10:36:32] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:32] [INFO ] Invariant cache hit.
[2023-03-23 10:36:32] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2023-03-23 10:36:32] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:33] [INFO ] After 391ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:33] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:36:33] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:33] [INFO ] After 303ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:33] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:33] [INFO ] After 139ms SMT Verify possible using 262 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:33] [INFO ] Deduced a trap composed of 131 places in 132 ms of which 1 ms to minimize.
[2023-03-23 10:36:33] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 212 ms
[2023-03-23 10:36:33] [INFO ] After 426ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 45 ms.
[2023-03-23 10:36:33] [INFO ] After 870ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 605 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 605/605 places, 1584/1584 transitions.
Applied a total of 0 rules in 65 ms. Remains 605 /605 variables (removed 0) and now considering 1584/1584 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 65 ms. Remains : 605/605 places, 1584/1584 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 605/605 places, 1584/1584 transitions.
Applied a total of 0 rules in 66 ms. Remains 605 /605 variables (removed 0) and now considering 1584/1584 (removed 0) transitions.
[2023-03-23 10:36:34] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:34] [INFO ] Invariant cache hit.
[2023-03-23 10:36:34] [INFO ] Implicit Places using invariants in 322 ms returned []
[2023-03-23 10:36:34] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:34] [INFO ] Invariant cache hit.
[2023-03-23 10:36:34] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:35] [INFO ] Implicit Places using invariants and state equation in 1376 ms returned []
Implicit Place search using SMT with State Equation took 1703 ms to find 0 implicit places.
[2023-03-23 10:36:35] [INFO ] Redundant transitions in 93 ms returned []
[2023-03-23 10:36:35] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:35] [INFO ] Invariant cache hit.
[2023-03-23 10:36:36] [INFO ] Dead Transitions using invariants and state equation in 477 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2347 ms. Remains : 605/605 places, 1584/1584 transitions.
Incomplete random walk after 100003 steps, including 2 resets, run finished after 264 ms. (steps per millisecond=378 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2023-03-23 10:36:36] [INFO ] Flow matrix only has 1057 transitions (discarded 527 similar events)
[2023-03-23 10:36:36] [INFO ] Invariant cache hit.
[2023-03-23 10:36:36] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:36:36] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:36] [INFO ] After 219ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2023-03-23 10:36:36] [INFO ] State equation strengthened by 262 read => feed constraints.
[2023-03-23 10:36:36] [INFO ] After 44ms SMT Verify possible using 262 Read/Feed constraints in real domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] After 97ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:37] [INFO ] After 397ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:37] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-23 10:36:37] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-23 10:36:37] [INFO ] After 204ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] After 59ms SMT Verify possible using 262 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] After 115ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 4 ms.
[2023-03-23 10:36:37] [INFO ] After 389ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Finished random walk after 1 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=1 )
Incomplete random walk after 10000 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 1) seen :0
Finished Best-First random walk after 271 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=90 )
Graph (trivial) has 930 edges and 605 vertex of which 192 / 605 are part of one of the 64 SCC in 5 ms
Free SCC test removed 128 places
Drop transitions removed 320 transitions
Ensure Unique test removed 399 transitions
Reduce isomorphic transitions removed 719 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 12 place count 477 transition count 854
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 23 place count 466 transition count 854
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 67 Pre rules applied. Total rules applied 23 place count 466 transition count 787
Deduced a syphon composed of 67 places in 0 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 2 with 134 rules applied. Total rules applied 157 place count 399 transition count 787
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 220 place count 336 transition count 724
Iterating global reduction 2 with 63 rules applied. Total rules applied 283 place count 336 transition count 724
Ensure Unique test removed 126 transitions
Reduce isomorphic transitions removed 126 transitions.
Iterating post reduction 2 with 126 rules applied. Total rules applied 409 place count 336 transition count 598
Performed 127 Post agglomeration using F-continuation condition.Transition count delta: 127
Deduced a syphon composed of 127 places in 0 ms
Reduce places removed 127 places and 0 transitions.
Iterating global reduction 3 with 254 rules applied. Total rules applied 663 place count 209 transition count 471
Discarding 63 places :
Symmetric choice reduction at 3 with 63 rule applications. Total rules 726 place count 146 transition count 345
Iterating global reduction 3 with 63 rules applied. Total rules applied 789 place count 146 transition count 345
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 790 place count 146 transition count 344
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 790 place count 146 transition count 343
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 792 place count 145 transition count 343
Discarding 62 places :
Symmetric choice reduction at 4 with 62 rule applications. Total rules 854 place count 83 transition count 219
Iterating global reduction 4 with 62 rules applied. Total rules applied 916 place count 83 transition count 219
Discarding 62 places :
Symmetric choice reduction at 4 with 62 rule applications. Total rules 978 place count 21 transition count 95
Iterating global reduction 4 with 62 rules applied. Total rules applied 1040 place count 21 transition count 95
Ensure Unique test removed 62 transitions
Reduce isomorphic transitions removed 62 transitions.
Iterating post reduction 4 with 62 rules applied. Total rules applied 1102 place count 21 transition count 33
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1104 place count 20 transition count 34
Applied a total of 1104 rules in 89 ms. Remains 20 /605 variables (removed 585) and now considering 34/1584 (removed 1550) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 34 rows 20 cols
[2023-03-23 10:36:37] [INFO ] Computed 2 place invariants in 1 ms
[2023-03-23 10:36:37] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-23 10:36:37] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:37] [INFO ] After 7ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] State equation strengthened by 2 read => feed constraints.
[2023-03-23 10:36:37] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:37] [INFO ] After 48ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-23 10:36:37] [INFO ] [Nat]Absence check using 1 positive place invariants in 1 ms returned sat
[2023-03-23 10:36:37] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2023-03-23 10:36:37] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] After 5ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2023-03-23 10:36:37] [INFO ] After 37ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2023-03-23 10:36:37] [INFO ] Flatten gal took : 1 ms
[2023-03-23 10:36:37] [INFO ] Flatten gal took : 1 ms
[2023-03-23 10:36:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3437914456117330469.gal : 0 ms
[2023-03-23 10:36:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5783880884226818336.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3437914456117330469.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5783880884226818336.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality5783880884226818336.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 25
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :25 after 175
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :175 after 1568
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1568 after 4312
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :4312 after 9800
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :9800 after 20608
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :20608 after 42224
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :42224 after 85288
Detected timeout of ITS tools.
[2023-03-23 10:36:52] [INFO ] Flatten gal took : 2 ms
[2023-03-23 10:36:52] [INFO ] Applying decomposition
[2023-03-23 10:36:52] [INFO ] Flatten gal took : 1 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/graph18112685674599250762.txt' '-o' '/tmp/graph18112685674599250762.bin' '-w' '/tmp/graph18112685674599250762.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18112685674599250762.bin' '-l' '-1' '-v' '-w' '/tmp/graph18112685674599250762.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:36:52] [INFO ] Decomposing Gal with order
[2023-03-23 10:36:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:36:52] [INFO ] Removed a total of 35 redundant transitions.
[2023-03-23 10:36:52] [INFO ] Flatten gal took : 26 ms
[2023-03-23 10:36:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 2 ms.
[2023-03-23 10:36:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6464934346736785550.gal : 1 ms
[2023-03-23 10:36:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14544446033085108830.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality6464934346736785550.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14544446033085108830.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality14544446033085108830.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 35
Reachability property FunctionPointer-PT-c004-CTLFireability-00 is true.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 9 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,2507,0.008096,4060,80,37,406,175,116,460,29,429,0
Total reachable state count : 2507
Verifying 1 reachability properties.
Reachability property FunctionPointer-PT-c004-CTLFireability-00 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
FunctionPointer-PT-c004-CTLFireability-00,70,0.008337,4060,27,19,406,175,121,460,31,429,0
ITS runner failed with exception null
java.lang.InterruptedException
at java.base/java.lang.Object.wait(Native Method)
at java.base/java.lang.Thread.join(Thread.java:1304)
at java.base/java.lang.Thread.join(Thread.java:1372)
at fr.lip6.move.gal.application.runner.AbstractRunner.join(AbstractRunner.java:27)
at fr.lip6.move.gal.application.runner.its.ITSRunner.join(ITSRunner.java:177)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:675)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:63)
at java.base/java.lang.Thread.run(Thread.java:833)
[2023-03-23 10:36:52] [INFO ] Flatten gal took : 47 ms
[2023-03-23 10:36:52] [INFO ] Applying decomposition
[2023-03-23 10:36:52] [INFO ] Flatten gal took : 46 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/graph15539095761682351076.txt' '-o' '/tmp/graph15539095761682351076.bin' '-w' '/tmp/graph15539095761682351076.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15539095761682351076.bin' '-l' '-1' '-v' '-w' '/tmp/graph15539095761682351076.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:36:53] [INFO ] Decomposing Gal with order
[2023-03-23 10:36:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:36:53] [INFO ] Removed a total of 2627 redundant transitions.
[2023-03-23 10:36:53] [INFO ] Flatten gal took : 100 ms
[2023-03-23 10:36:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 1069 labels/synchronizations in 78 ms.
[2023-03-23 10:36:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality79085615069588154.gal : 12 ms
[2023-03-23 10:36:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3033446294943031653.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality79085615069588154.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3033446294943031653.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...305
Loading property file /tmp/ReachabilityCardinality3033446294943031653.prop.
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.16005e+08 after 2.34134e+08
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :2.34134e+08 after 2.35929e+08
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :2.35929e+08 after 2.49204e+08
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :2.49204e+08 after 3.20405e+08
Detected timeout of ITS tools.
Detected timeout of ITS tools.
[2023-03-23 10:46:53] [INFO ] Flatten gal took : 37 ms
[2023-03-23 10:46:53] [INFO ] Flatten gal took : 36 ms
[2023-03-23 10:46:53] [INFO ] Time to serialize gal into /tmp/CTLFireability750608840271047847.gal : 8 ms
[2023-03-23 10:46:53] [INFO ] Time to serialize properties into /tmp/CTLFireability5177712708974156779.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/CTLFireability750608840271047847.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5177712708974156779.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-23 10:47:23] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:47:23] [INFO ] Applying decomposition
[2023-03-23 10:47:23] [INFO ] Flatten gal took : 35 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/graph10382468213637614988.txt' '-o' '/tmp/graph10382468213637614988.bin' '-w' '/tmp/graph10382468213637614988.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10382468213637614988.bin' '-l' '-1' '-v' '-w' '/tmp/graph10382468213637614988.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:47:23] [INFO ] Decomposing Gal with order
[2023-03-23 10:47:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:47:23] [INFO ] Removed a total of 2629 redundant transitions.
[2023-03-23 10:47:24] [INFO ] Flatten gal took : 100 ms
[2023-03-23 10:47:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 1106 labels/synchronizations in 55 ms.
[2023-03-23 10:47:24] [INFO ] Time to serialize gal into /tmp/CTLFireability15033391769092500267.gal : 15 ms
[2023-03-23 10:47:24] [INFO ] Time to serialize properties into /tmp/CTLFireability11546099653657291001.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/CTLFireability15033391769092500267.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11546099653657291001.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 981 transition count 2538
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 981 transition count 2538
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 110 place count 981 transition count 2514
Discarding 38 places :
Symmetric choice reduction at 1 with 38 rule applications. Total rules 148 place count 943 transition count 2432
Iterating global reduction 1 with 38 rules applied. Total rules applied 186 place count 943 transition count 2432
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 190 place count 943 transition count 2428
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 223 place count 910 transition count 2320
Iterating global reduction 2 with 33 rules applied. Total rules applied 256 place count 910 transition count 2320
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 297 place count 869 transition count 2174
Iterating global reduction 2 with 41 rules applied. Total rules applied 338 place count 869 transition count 2174
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 380 place count 827 transition count 2060
Iterating global reduction 2 with 42 rules applied. Total rules applied 422 place count 827 transition count 2060
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 463 place count 786 transition count 1974
Iterating global reduction 2 with 41 rules applied. Total rules applied 504 place count 786 transition count 1974
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 543 place count 747 transition count 1896
Iterating global reduction 2 with 39 rules applied. Total rules applied 582 place count 747 transition count 1896
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 620 place count 709 transition count 1820
Iterating global reduction 2 with 38 rules applied. Total rules applied 658 place count 709 transition count 1820
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 695 place count 672 transition count 1738
Iterating global reduction 2 with 37 rules applied. Total rules applied 732 place count 672 transition count 1738
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 751 place count 653 transition count 1692
Iterating global reduction 2 with 19 rules applied. Total rules applied 770 place count 653 transition count 1692
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 776 place count 647 transition count 1680
Iterating global reduction 2 with 6 rules applied. Total rules applied 782 place count 647 transition count 1680
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 786 place count 643 transition count 1672
Iterating global reduction 2 with 4 rules applied. Total rules applied 790 place count 643 transition count 1672
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 794 place count 639 transition count 1664
Iterating global reduction 2 with 4 rules applied. Total rules applied 798 place count 639 transition count 1664
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 802 place count 635 transition count 1656
Iterating global reduction 2 with 4 rules applied. Total rules applied 806 place count 635 transition count 1656
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 810 place count 631 transition count 1648
Iterating global reduction 2 with 4 rules applied. Total rules applied 814 place count 631 transition count 1648
Applied a total of 814 rules in 522 ms. Remains 631 /1024 variables (removed 393) and now considering 1648/2646 (removed 998) transitions.
[2023-03-23 10:47:54] [INFO ] Flow matrix only has 1103 transitions (discarded 545 similar events)
// Phase 1: matrix 1103 rows 631 cols
[2023-03-23 10:47:54] [INFO ] Computed 2 place invariants in 13 ms
[2023-03-23 10:47:54] [INFO ] Implicit Places using invariants in 301 ms returned []
[2023-03-23 10:47:54] [INFO ] Flow matrix only has 1103 transitions (discarded 545 similar events)
[2023-03-23 10:47:54] [INFO ] Invariant cache hit.
[2023-03-23 10:47:55] [INFO ] State equation strengthened by 273 read => feed constraints.
[2023-03-23 10:47:56] [INFO ] Implicit Places using invariants and state equation in 1387 ms returned []
Implicit Place search using SMT with State Equation took 1690 ms to find 0 implicit places.
[2023-03-23 10:47:56] [INFO ] Flow matrix only has 1103 transitions (discarded 545 similar events)
[2023-03-23 10:47:56] [INFO ] Invariant cache hit.
[2023-03-23 10:47:56] [INFO ] Dead Transitions using invariants and state equation in 479 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 631/1024 places, 1648/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2694 ms. Remains : 631/1024 places, 1648/2646 transitions.
[2023-03-23 10:47:56] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:47:56] [INFO ] Flatten gal took : 36 ms
[2023-03-23 10:47:56] [INFO ] Input system was already deterministic with 1648 transitions.
[2023-03-23 10:47:57] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:47:57] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:47:57] [INFO ] Time to serialize gal into /tmp/CTLFireability4677030706168544360.gal : 7 ms
[2023-03-23 10:47:57] [INFO ] Time to serialize properties into /tmp/CTLFireability11071651637792390269.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/CTLFireability4677030706168544360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11071651637792390269.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-23 10:48:27] [INFO ] Flatten gal took : 38 ms
[2023-03-23 10:48:27] [INFO ] Applying decomposition
[2023-03-23 10:48:27] [INFO ] Flatten gal took : 37 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/graph13778459500460889567.txt' '-o' '/tmp/graph13778459500460889567.bin' '-w' '/tmp/graph13778459500460889567.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph13778459500460889567.bin' '-l' '-1' '-v' '-w' '/tmp/graph13778459500460889567.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:48:27] [INFO ] Decomposing Gal with order
[2023-03-23 10:48:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:48:27] [INFO ] Removed a total of 2739 redundant transitions.
[2023-03-23 10:48:27] [INFO ] Flatten gal took : 67 ms
[2023-03-23 10:48:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 1155 labels/synchronizations in 41 ms.
[2023-03-23 10:48:27] [INFO ] Time to serialize gal into /tmp/CTLFireability8749161360974651430.gal : 8 ms
[2023-03-23 10:48:27] [INFO ] Time to serialize properties into /tmp/CTLFireability12055492352799046524.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/CTLFireability8749161360974651430.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12055492352799046524.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 984 transition count 2544
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 984 transition count 2544
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 98 place count 984 transition count 2526
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 135 place count 947 transition count 2448
Iterating global reduction 1 with 37 rules applied. Total rules applied 172 place count 947 transition count 2448
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 176 place count 947 transition count 2444
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 208 place count 915 transition count 2336
Iterating global reduction 2 with 32 rules applied. Total rules applied 240 place count 915 transition count 2336
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 277 place count 878 transition count 2202
Iterating global reduction 2 with 37 rules applied. Total rules applied 314 place count 878 transition count 2202
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 352 place count 840 transition count 2102
Iterating global reduction 2 with 38 rules applied. Total rules applied 390 place count 840 transition count 2102
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 428 place count 802 transition count 2022
Iterating global reduction 2 with 38 rules applied. Total rules applied 466 place count 802 transition count 2022
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 501 place count 767 transition count 1952
Iterating global reduction 2 with 35 rules applied. Total rules applied 536 place count 767 transition count 1952
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 571 place count 732 transition count 1882
Iterating global reduction 2 with 35 rules applied. Total rules applied 606 place count 732 transition count 1882
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 641 place count 697 transition count 1804
Iterating global reduction 2 with 35 rules applied. Total rules applied 676 place count 697 transition count 1804
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 692 place count 681 transition count 1764
Iterating global reduction 2 with 16 rules applied. Total rules applied 708 place count 681 transition count 1764
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 714 place count 675 transition count 1752
Iterating global reduction 2 with 6 rules applied. Total rules applied 720 place count 675 transition count 1752
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 724 place count 671 transition count 1744
Iterating global reduction 2 with 4 rules applied. Total rules applied 728 place count 671 transition count 1744
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 732 place count 667 transition count 1736
Iterating global reduction 2 with 4 rules applied. Total rules applied 736 place count 667 transition count 1736
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 740 place count 663 transition count 1728
Iterating global reduction 2 with 4 rules applied. Total rules applied 744 place count 663 transition count 1728
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 748 place count 659 transition count 1720
Iterating global reduction 2 with 4 rules applied. Total rules applied 752 place count 659 transition count 1720
Applied a total of 752 rules in 311 ms. Remains 659 /1024 variables (removed 365) and now considering 1720/2646 (removed 926) transitions.
[2023-03-23 10:48:57] [INFO ] Flow matrix only has 1149 transitions (discarded 571 similar events)
// Phase 1: matrix 1149 rows 659 cols
[2023-03-23 10:48:57] [INFO ] Computed 2 place invariants in 13 ms
[2023-03-23 10:48:58] [INFO ] Implicit Places using invariants in 305 ms returned []
[2023-03-23 10:48:58] [INFO ] Flow matrix only has 1149 transitions (discarded 571 similar events)
[2023-03-23 10:48:58] [INFO ] Invariant cache hit.
[2023-03-23 10:48:58] [INFO ] State equation strengthened by 281 read => feed constraints.
[2023-03-23 10:48:59] [INFO ] Implicit Places using invariants and state equation in 1640 ms returned []
Implicit Place search using SMT with State Equation took 1947 ms to find 0 implicit places.
[2023-03-23 10:48:59] [INFO ] Flow matrix only has 1149 transitions (discarded 571 similar events)
[2023-03-23 10:48:59] [INFO ] Invariant cache hit.
[2023-03-23 10:49:00] [INFO ] Dead Transitions using invariants and state equation in 514 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 659/1024 places, 1720/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2772 ms. Remains : 659/1024 places, 1720/2646 transitions.
[2023-03-23 10:49:00] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:49:00] [INFO ] Flatten gal took : 36 ms
[2023-03-23 10:49:00] [INFO ] Input system was already deterministic with 1720 transitions.
[2023-03-23 10:49:00] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:49:00] [INFO ] Flatten gal took : 37 ms
[2023-03-23 10:49:00] [INFO ] Time to serialize gal into /tmp/CTLFireability1036193994477001361.gal : 13 ms
[2023-03-23 10:49:00] [INFO ] Time to serialize properties into /tmp/CTLFireability9460739173773422663.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/CTLFireability1036193994477001361.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9460739173773422663.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-23 10:49:30] [INFO ] Flatten gal took : 37 ms
[2023-03-23 10:49:30] [INFO ] Applying decomposition
[2023-03-23 10:49:30] [INFO ] Flatten gal took : 35 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/graph17797355892321145431.txt' '-o' '/tmp/graph17797355892321145431.bin' '-w' '/tmp/graph17797355892321145431.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17797355892321145431.bin' '-l' '-1' '-v' '-w' '/tmp/graph17797355892321145431.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:49:30] [INFO ] Decomposing Gal with order
[2023-03-23 10:49:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:49:31] [INFO ] Removed a total of 2897 redundant transitions.
[2023-03-23 10:49:31] [INFO ] Flatten gal took : 68 ms
[2023-03-23 10:49:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 1289 labels/synchronizations in 38 ms.
[2023-03-23 10:49:31] [INFO ] Time to serialize gal into /tmp/CTLFireability3468838752900831279.gal : 9 ms
[2023-03-23 10:49:31] [INFO ] Time to serialize properties into /tmp/CTLFireability17448172178831957958.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/CTLFireability3468838752900831279.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17448172178831957958.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 981 transition count 2538
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 981 transition count 2538
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 108 place count 981 transition count 2516
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 145 place count 944 transition count 2436
Iterating global reduction 1 with 37 rules applied. Total rules applied 182 place count 944 transition count 2436
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 186 place count 944 transition count 2432
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 218 place count 912 transition count 2326
Iterating global reduction 2 with 32 rules applied. Total rules applied 250 place count 912 transition count 2326
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 289 place count 873 transition count 2188
Iterating global reduction 2 with 39 rules applied. Total rules applied 328 place count 873 transition count 2188
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 368 place count 833 transition count 2082
Iterating global reduction 2 with 40 rules applied. Total rules applied 408 place count 833 transition count 2082
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 448 place count 793 transition count 1998
Iterating global reduction 2 with 40 rules applied. Total rules applied 488 place count 793 transition count 1998
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 526 place count 755 transition count 1922
Iterating global reduction 2 with 38 rules applied. Total rules applied 564 place count 755 transition count 1922
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 602 place count 717 transition count 1842
Iterating global reduction 2 with 38 rules applied. Total rules applied 640 place count 717 transition count 1842
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 678 place count 679 transition count 1754
Iterating global reduction 2 with 38 rules applied. Total rules applied 716 place count 679 transition count 1754
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 735 place count 660 transition count 1708
Iterating global reduction 2 with 19 rules applied. Total rules applied 754 place count 660 transition count 1708
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 762 place count 652 transition count 1692
Iterating global reduction 2 with 8 rules applied. Total rules applied 770 place count 652 transition count 1692
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 776 place count 646 transition count 1680
Iterating global reduction 2 with 6 rules applied. Total rules applied 782 place count 646 transition count 1680
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 788 place count 640 transition count 1668
Iterating global reduction 2 with 6 rules applied. Total rules applied 794 place count 640 transition count 1668
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 800 place count 634 transition count 1656
Iterating global reduction 2 with 6 rules applied. Total rules applied 806 place count 634 transition count 1656
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 810 place count 630 transition count 1648
Iterating global reduction 2 with 4 rules applied. Total rules applied 814 place count 630 transition count 1648
Drop transitions removed 8 transitions
Redundant transition composition rules discarded 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 822 place count 630 transition count 1640
Applied a total of 822 rules in 446 ms. Remains 630 /1024 variables (removed 394) and now considering 1640/2646 (removed 1006) transitions.
[2023-03-23 10:50:01] [INFO ] Flow matrix only has 1097 transitions (discarded 543 similar events)
// Phase 1: matrix 1097 rows 630 cols
[2023-03-23 10:50:01] [INFO ] Computed 2 place invariants in 13 ms
[2023-03-23 10:50:01] [INFO ] Implicit Places using invariants in 349 ms returned []
[2023-03-23 10:50:01] [INFO ] Flow matrix only has 1097 transitions (discarded 543 similar events)
[2023-03-23 10:50:01] [INFO ] Invariant cache hit.
[2023-03-23 10:50:02] [INFO ] State equation strengthened by 271 read => feed constraints.
[2023-03-23 10:50:03] [INFO ] Implicit Places using invariants and state equation in 1874 ms returned []
Implicit Place search using SMT with State Equation took 2225 ms to find 0 implicit places.
[2023-03-23 10:50:03] [INFO ] Redundant transitions in 35 ms returned []
[2023-03-23 10:50:03] [INFO ] Flow matrix only has 1097 transitions (discarded 543 similar events)
[2023-03-23 10:50:03] [INFO ] Invariant cache hit.
[2023-03-23 10:50:04] [INFO ] Dead Transitions using invariants and state equation in 501 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 630/1024 places, 1640/2646 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3213 ms. Remains : 630/1024 places, 1640/2646 transitions.
[2023-03-23 10:50:04] [INFO ] Flatten gal took : 29 ms
[2023-03-23 10:50:04] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:50:04] [INFO ] Input system was already deterministic with 1640 transitions.
[2023-03-23 10:50:04] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:50:04] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:50:04] [INFO ] Time to serialize gal into /tmp/CTLFireability8684141691908101474.gal : 6 ms
[2023-03-23 10:50:04] [INFO ] Time to serialize properties into /tmp/CTLFireability6774316921918252882.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/CTLFireability8684141691908101474.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6774316921918252882.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-23 10:50:34] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:50:34] [INFO ] Applying decomposition
[2023-03-23 10:50:34] [INFO ] Flatten gal took : 32 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/graph11246367592040884286.txt' '-o' '/tmp/graph11246367592040884286.bin' '-w' '/tmp/graph11246367592040884286.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11246367592040884286.bin' '-l' '-1' '-v' '-w' '/tmp/graph11246367592040884286.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:50:34] [INFO ] Decomposing Gal with order
[2023-03-23 10:50:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:50:34] [INFO ] Removed a total of 2734 redundant transitions.
[2023-03-23 10:50:34] [INFO ] Flatten gal took : 57 ms
[2023-03-23 10:50:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 1219 labels/synchronizations in 36 ms.
[2023-03-23 10:50:34] [INFO ] Time to serialize gal into /tmp/CTLFireability1333781031495599644.gal : 9 ms
[2023-03-23 10:50:34] [INFO ] Time to serialize properties into /tmp/CTLFireability16093069473177318682.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/CTLFireability1333781031495599644.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16093069473177318682.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 982 transition count 2538
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 982 transition count 2538
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 104 place count 982 transition count 2518
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 141 place count 945 transition count 2440
Iterating global reduction 1 with 37 rules applied. Total rules applied 178 place count 945 transition count 2440
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 182 place count 945 transition count 2436
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 214 place count 913 transition count 2332
Iterating global reduction 2 with 32 rules applied. Total rules applied 246 place count 913 transition count 2332
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 285 place count 874 transition count 2194
Iterating global reduction 2 with 39 rules applied. Total rules applied 324 place count 874 transition count 2194
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 364 place count 834 transition count 2088
Iterating global reduction 2 with 40 rules applied. Total rules applied 404 place count 834 transition count 2088
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 443 place count 795 transition count 2006
Iterating global reduction 2 with 39 rules applied. Total rules applied 482 place count 795 transition count 2006
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 519 place count 758 transition count 1932
Iterating global reduction 2 with 37 rules applied. Total rules applied 556 place count 758 transition count 1932
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 593 place count 721 transition count 1854
Iterating global reduction 2 with 37 rules applied. Total rules applied 630 place count 721 transition count 1854
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 668 place count 683 transition count 1766
Iterating global reduction 2 with 38 rules applied. Total rules applied 706 place count 683 transition count 1766
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 725 place count 664 transition count 1720
Iterating global reduction 2 with 19 rules applied. Total rules applied 744 place count 664 transition count 1720
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 752 place count 656 transition count 1704
Iterating global reduction 2 with 8 rules applied. Total rules applied 760 place count 656 transition count 1704
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 766 place count 650 transition count 1692
Iterating global reduction 2 with 6 rules applied. Total rules applied 772 place count 650 transition count 1692
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 778 place count 644 transition count 1680
Iterating global reduction 2 with 6 rules applied. Total rules applied 784 place count 644 transition count 1680
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 790 place count 638 transition count 1668
Iterating global reduction 2 with 6 rules applied. Total rules applied 796 place count 638 transition count 1668
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 800 place count 634 transition count 1660
Iterating global reduction 2 with 4 rules applied. Total rules applied 804 place count 634 transition count 1660
Applied a total of 804 rules in 314 ms. Remains 634 /1024 variables (removed 390) and now considering 1660/2646 (removed 986) transitions.
[2023-03-23 10:51:05] [INFO ] Flow matrix only has 1109 transitions (discarded 551 similar events)
// Phase 1: matrix 1109 rows 634 cols
[2023-03-23 10:51:05] [INFO ] Computed 2 place invariants in 18 ms
[2023-03-23 10:51:05] [INFO ] Implicit Places using invariants in 299 ms returned []
[2023-03-23 10:51:05] [INFO ] Flow matrix only has 1109 transitions (discarded 551 similar events)
[2023-03-23 10:51:05] [INFO ] Invariant cache hit.
[2023-03-23 10:51:05] [INFO ] State equation strengthened by 273 read => feed constraints.
[2023-03-23 10:51:07] [INFO ] Implicit Places using invariants and state equation in 1382 ms returned []
Implicit Place search using SMT with State Equation took 1683 ms to find 0 implicit places.
[2023-03-23 10:51:07] [INFO ] Flow matrix only has 1109 transitions (discarded 551 similar events)
[2023-03-23 10:51:07] [INFO ] Invariant cache hit.
[2023-03-23 10:51:07] [INFO ] Dead Transitions using invariants and state equation in 496 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 634/1024 places, 1660/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2494 ms. Remains : 634/1024 places, 1660/2646 transitions.
[2023-03-23 10:51:07] [INFO ] Flatten gal took : 30 ms
[2023-03-23 10:51:07] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:51:07] [INFO ] Input system was already deterministic with 1660 transitions.
[2023-03-23 10:51:07] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:51:07] [INFO ] Flatten gal took : 36 ms
[2023-03-23 10:51:07] [INFO ] Time to serialize gal into /tmp/CTLFireability6473582064186866043.gal : 7 ms
[2023-03-23 10:51:07] [INFO ] Time to serialize properties into /tmp/CTLFireability9383333332694675692.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/CTLFireability6473582064186866043.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9383333332694675692.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-23 10:51:37] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:51:37] [INFO ] Applying decomposition
[2023-03-23 10:51:37] [INFO ] Flatten gal took : 34 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/graph5556891313194857491.txt' '-o' '/tmp/graph5556891313194857491.bin' '-w' '/tmp/graph5556891313194857491.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5556891313194857491.bin' '-l' '-1' '-v' '-w' '/tmp/graph5556891313194857491.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:51:37] [INFO ] Decomposing Gal with order
[2023-03-23 10:51:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:51:38] [INFO ] Removed a total of 2761 redundant transitions.
[2023-03-23 10:51:38] [INFO ] Flatten gal took : 58 ms
[2023-03-23 10:51:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 1279 labels/synchronizations in 35 ms.
[2023-03-23 10:51:38] [INFO ] Time to serialize gal into /tmp/CTLFireability6070025065893098137.gal : 8 ms
[2023-03-23 10:51:38] [INFO ] Time to serialize properties into /tmp/CTLFireability11351587282018260928.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/CTLFireability6070025065893098137.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11351587282018260928.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 982 transition count 2540
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 982 transition count 2540
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 110 place count 982 transition count 2514
Discarding 36 places :
Symmetric choice reduction at 1 with 36 rule applications. Total rules 146 place count 946 transition count 2436
Iterating global reduction 1 with 36 rules applied. Total rules applied 182 place count 946 transition count 2436
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 186 place count 946 transition count 2432
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 217 place count 915 transition count 2334
Iterating global reduction 2 with 31 rules applied. Total rules applied 248 place count 915 transition count 2334
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 287 place count 876 transition count 2198
Iterating global reduction 2 with 39 rules applied. Total rules applied 326 place count 876 transition count 2198
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 366 place count 836 transition count 2088
Iterating global reduction 2 with 40 rules applied. Total rules applied 406 place count 836 transition count 2088
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 446 place count 796 transition count 2004
Iterating global reduction 2 with 40 rules applied. Total rules applied 486 place count 796 transition count 2004
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 523 place count 759 transition count 1930
Iterating global reduction 2 with 37 rules applied. Total rules applied 560 place count 759 transition count 1930
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 597 place count 722 transition count 1852
Iterating global reduction 2 with 37 rules applied. Total rules applied 634 place count 722 transition count 1852
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 670 place count 686 transition count 1770
Iterating global reduction 2 with 36 rules applied. Total rules applied 706 place count 686 transition count 1770
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 726 place count 666 transition count 1724
Iterating global reduction 2 with 20 rules applied. Total rules applied 746 place count 666 transition count 1724
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 753 place count 659 transition count 1710
Iterating global reduction 2 with 7 rules applied. Total rules applied 760 place count 659 transition count 1710
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 765 place count 654 transition count 1700
Iterating global reduction 2 with 5 rules applied. Total rules applied 770 place count 654 transition count 1700
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 775 place count 649 transition count 1690
Iterating global reduction 2 with 5 rules applied. Total rules applied 780 place count 649 transition count 1690
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 785 place count 644 transition count 1680
Iterating global reduction 2 with 5 rules applied. Total rules applied 790 place count 644 transition count 1680
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 793 place count 641 transition count 1674
Iterating global reduction 2 with 3 rules applied. Total rules applied 796 place count 641 transition count 1674
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 2 with 10 rules applied. Total rules applied 806 place count 641 transition count 1664
Applied a total of 806 rules in 521 ms. Remains 641 /1024 variables (removed 383) and now considering 1664/2646 (removed 982) transitions.
[2023-03-23 10:52:08] [INFO ] Flow matrix only has 1113 transitions (discarded 551 similar events)
// Phase 1: matrix 1113 rows 641 cols
[2023-03-23 10:52:08] [INFO ] Computed 2 place invariants in 9 ms
[2023-03-23 10:52:09] [INFO ] Implicit Places using invariants in 288 ms returned []
[2023-03-23 10:52:09] [INFO ] Flow matrix only has 1113 transitions (discarded 551 similar events)
[2023-03-23 10:52:09] [INFO ] Invariant cache hit.
[2023-03-23 10:52:09] [INFO ] State equation strengthened by 274 read => feed constraints.
[2023-03-23 10:52:10] [INFO ] Implicit Places using invariants and state equation in 1663 ms returned []
Implicit Place search using SMT with State Equation took 1952 ms to find 0 implicit places.
[2023-03-23 10:52:10] [INFO ] Redundant transitions in 31 ms returned []
[2023-03-23 10:52:10] [INFO ] Flow matrix only has 1113 transitions (discarded 551 similar events)
[2023-03-23 10:52:10] [INFO ] Invariant cache hit.
[2023-03-23 10:52:11] [INFO ] Dead Transitions using invariants and state equation in 498 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 641/1024 places, 1664/2646 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3018 ms. Remains : 641/1024 places, 1664/2646 transitions.
[2023-03-23 10:52:11] [INFO ] Flatten gal took : 29 ms
[2023-03-23 10:52:11] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:52:11] [INFO ] Input system was already deterministic with 1664 transitions.
[2023-03-23 10:52:11] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:52:11] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:52:11] [INFO ] Time to serialize gal into /tmp/CTLFireability15937109850876664598.gal : 5 ms
[2023-03-23 10:52:11] [INFO ] Time to serialize properties into /tmp/CTLFireability4529503115283935314.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/CTLFireability15937109850876664598.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4529503115283935314.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-23 10:52:41] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:52:41] [INFO ] Applying decomposition
[2023-03-23 10:52:41] [INFO ] Flatten gal took : 34 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/graph9532531256409769979.txt' '-o' '/tmp/graph9532531256409769979.bin' '-w' '/tmp/graph9532531256409769979.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph9532531256409769979.bin' '-l' '-1' '-v' '-w' '/tmp/graph9532531256409769979.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:52:41] [INFO ] Decomposing Gal with order
[2023-03-23 10:52:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:52:41] [INFO ] Removed a total of 2768 redundant transitions.
[2023-03-23 10:52:41] [INFO ] Flatten gal took : 56 ms
[2023-03-23 10:52:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 1237 labels/synchronizations in 35 ms.
[2023-03-23 10:52:41] [INFO ] Time to serialize gal into /tmp/CTLFireability5562082894844862865.gal : 10 ms
[2023-03-23 10:52:41] [INFO ] Time to serialize properties into /tmp/CTLFireability4221710609121338357.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/CTLFireability5562082894844862865.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4221710609121338357.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 981 transition count 2540
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 981 transition count 2540
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 108 place count 981 transition count 2518
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 145 place count 944 transition count 2438
Iterating global reduction 1 with 37 rules applied. Total rules applied 182 place count 944 transition count 2438
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 190 place count 944 transition count 2430
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 222 place count 912 transition count 2326
Iterating global reduction 2 with 32 rules applied. Total rules applied 254 place count 912 transition count 2326
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 291 place count 875 transition count 2198
Iterating global reduction 2 with 37 rules applied. Total rules applied 328 place count 875 transition count 2198
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 367 place count 836 transition count 2096
Iterating global reduction 2 with 39 rules applied. Total rules applied 406 place count 836 transition count 2096
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 445 place count 797 transition count 2012
Iterating global reduction 2 with 39 rules applied. Total rules applied 484 place count 797 transition count 2012
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 520 place count 761 transition count 1940
Iterating global reduction 2 with 36 rules applied. Total rules applied 556 place count 761 transition count 1940
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 593 place count 724 transition count 1860
Iterating global reduction 2 with 37 rules applied. Total rules applied 630 place count 724 transition count 1860
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 667 place count 687 transition count 1772
Iterating global reduction 2 with 37 rules applied. Total rules applied 704 place count 687 transition count 1772
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 723 place count 668 transition count 1726
Iterating global reduction 2 with 19 rules applied. Total rules applied 742 place count 668 transition count 1726
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 752 place count 658 transition count 1706
Iterating global reduction 2 with 10 rules applied. Total rules applied 762 place count 658 transition count 1706
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 769 place count 651 transition count 1692
Iterating global reduction 2 with 7 rules applied. Total rules applied 776 place count 651 transition count 1692
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 783 place count 644 transition count 1678
Iterating global reduction 2 with 7 rules applied. Total rules applied 790 place count 644 transition count 1678
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 797 place count 637 transition count 1664
Iterating global reduction 2 with 7 rules applied. Total rules applied 804 place count 637 transition count 1664
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 808 place count 633 transition count 1656
Iterating global reduction 2 with 4 rules applied. Total rules applied 812 place count 633 transition count 1656
Applied a total of 812 rules in 341 ms. Remains 633 /1024 variables (removed 391) and now considering 1656/2646 (removed 990) transitions.
[2023-03-23 10:53:12] [INFO ] Flow matrix only has 1105 transitions (discarded 551 similar events)
// Phase 1: matrix 1105 rows 633 cols
[2023-03-23 10:53:12] [INFO ] Computed 2 place invariants in 13 ms
[2023-03-23 10:53:12] [INFO ] Implicit Places using invariants in 342 ms returned []
[2023-03-23 10:53:12] [INFO ] Flow matrix only has 1105 transitions (discarded 551 similar events)
[2023-03-23 10:53:12] [INFO ] Invariant cache hit.
[2023-03-23 10:53:12] [INFO ] State equation strengthened by 271 read => feed constraints.
[2023-03-23 10:53:13] [INFO ] Implicit Places using invariants and state equation in 1448 ms returned []
Implicit Place search using SMT with State Equation took 1792 ms to find 0 implicit places.
[2023-03-23 10:53:13] [INFO ] Flow matrix only has 1105 transitions (discarded 551 similar events)
[2023-03-23 10:53:13] [INFO ] Invariant cache hit.
[2023-03-23 10:53:14] [INFO ] Dead Transitions using invariants and state equation in 487 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 633/1024 places, 1656/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2621 ms. Remains : 633/1024 places, 1656/2646 transitions.
[2023-03-23 10:53:14] [INFO ] Flatten gal took : 29 ms
[2023-03-23 10:53:14] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:53:14] [INFO ] Input system was already deterministic with 1656 transitions.
[2023-03-23 10:53:14] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:53:14] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:53:14] [INFO ] Time to serialize gal into /tmp/CTLFireability15429023648176295297.gal : 5 ms
[2023-03-23 10:53:14] [INFO ] Time to serialize properties into /tmp/CTLFireability3465569556332574449.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/CTLFireability15429023648176295297.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3465569556332574449.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-23 10:53:44] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:53:44] [INFO ] Applying decomposition
[2023-03-23 10:53:44] [INFO ] Flatten gal took : 33 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/graph18215527849224702941.txt' '-o' '/tmp/graph18215527849224702941.bin' '-w' '/tmp/graph18215527849224702941.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph18215527849224702941.bin' '-l' '-1' '-v' '-w' '/tmp/graph18215527849224702941.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:53:44] [INFO ] Decomposing Gal with order
[2023-03-23 10:53:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:53:44] [INFO ] Removed a total of 2767 redundant transitions.
[2023-03-23 10:53:44] [INFO ] Flatten gal took : 53 ms
[2023-03-23 10:53:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 1216 labels/synchronizations in 30 ms.
[2023-03-23 10:53:45] [INFO ] Time to serialize gal into /tmp/CTLFireability2416850025112979068.gal : 7 ms
[2023-03-23 10:53:45] [INFO ] Time to serialize properties into /tmp/CTLFireability15341579000912193541.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/CTLFireability2416850025112979068.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15341579000912193541.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 45 place count 979 transition count 2534
Iterating global reduction 0 with 45 rules applied. Total rules applied 90 place count 979 transition count 2534
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 114 place count 979 transition count 2510
Discarding 39 places :
Symmetric choice reduction at 1 with 39 rule applications. Total rules 153 place count 940 transition count 2426
Iterating global reduction 1 with 39 rules applied. Total rules applied 192 place count 940 transition count 2426
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 196 place count 940 transition count 2422
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 230 place count 906 transition count 2310
Iterating global reduction 2 with 34 rules applied. Total rules applied 264 place count 906 transition count 2310
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 306 place count 864 transition count 2160
Iterating global reduction 2 with 42 rules applied. Total rules applied 348 place count 864 transition count 2160
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 391 place count 821 transition count 2044
Iterating global reduction 2 with 43 rules applied. Total rules applied 434 place count 821 transition count 2044
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 477 place count 778 transition count 1954
Iterating global reduction 2 with 43 rules applied. Total rules applied 520 place count 778 transition count 1954
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 561 place count 737 transition count 1872
Iterating global reduction 2 with 41 rules applied. Total rules applied 602 place count 737 transition count 1872
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 643 place count 696 transition count 1786
Iterating global reduction 2 with 41 rules applied. Total rules applied 684 place count 696 transition count 1786
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 724 place count 656 transition count 1696
Iterating global reduction 2 with 40 rules applied. Total rules applied 764 place count 656 transition count 1696
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 784 place count 636 transition count 1650
Iterating global reduction 2 with 20 rules applied. Total rules applied 804 place count 636 transition count 1650
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 811 place count 629 transition count 1636
Iterating global reduction 2 with 7 rules applied. Total rules applied 818 place count 629 transition count 1636
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 823 place count 624 transition count 1626
Iterating global reduction 2 with 5 rules applied. Total rules applied 828 place count 624 transition count 1626
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 833 place count 619 transition count 1616
Iterating global reduction 2 with 5 rules applied. Total rules applied 838 place count 619 transition count 1616
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 843 place count 614 transition count 1606
Iterating global reduction 2 with 5 rules applied. Total rules applied 848 place count 614 transition count 1606
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 851 place count 611 transition count 1600
Iterating global reduction 2 with 3 rules applied. Total rules applied 854 place count 611 transition count 1600
Applied a total of 854 rules in 322 ms. Remains 611 /1024 variables (removed 413) and now considering 1600/2646 (removed 1046) transitions.
[2023-03-23 10:54:15] [INFO ] Flow matrix only has 1069 transitions (discarded 531 similar events)
// Phase 1: matrix 1069 rows 611 cols
[2023-03-23 10:54:15] [INFO ] Computed 2 place invariants in 15 ms
[2023-03-23 10:54:15] [INFO ] Implicit Places using invariants in 286 ms returned []
[2023-03-23 10:54:15] [INFO ] Flow matrix only has 1069 transitions (discarded 531 similar events)
[2023-03-23 10:54:15] [INFO ] Invariant cache hit.
[2023-03-23 10:54:15] [INFO ] State equation strengthened by 265 read => feed constraints.
[2023-03-23 10:54:16] [INFO ] Implicit Places using invariants and state equation in 1307 ms returned []
Implicit Place search using SMT with State Equation took 1593 ms to find 0 implicit places.
[2023-03-23 10:54:16] [INFO ] Flow matrix only has 1069 transitions (discarded 531 similar events)
[2023-03-23 10:54:16] [INFO ] Invariant cache hit.
[2023-03-23 10:54:17] [INFO ] Dead Transitions using invariants and state equation in 474 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 611/1024 places, 1600/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2390 ms. Remains : 611/1024 places, 1600/2646 transitions.
[2023-03-23 10:54:17] [INFO ] Flatten gal took : 28 ms
[2023-03-23 10:54:17] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:54:17] [INFO ] Input system was already deterministic with 1600 transitions.
[2023-03-23 10:54:17] [INFO ] Flatten gal took : 31 ms
[2023-03-23 10:54:17] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:54:17] [INFO ] Time to serialize gal into /tmp/CTLFireability16872347417042117595.gal : 6 ms
[2023-03-23 10:54:17] [INFO ] Time to serialize properties into /tmp/CTLFireability8173191980191956246.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/CTLFireability16872347417042117595.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8173191980191956246.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-23 10:54:47] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:54:47] [INFO ] Applying decomposition
[2023-03-23 10:54:47] [INFO ] Flatten gal took : 32 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/graph8789514631309659930.txt' '-o' '/tmp/graph8789514631309659930.bin' '-w' '/tmp/graph8789514631309659930.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8789514631309659930.bin' '-l' '-1' '-v' '-w' '/tmp/graph8789514631309659930.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:54:47] [INFO ] Decomposing Gal with order
[2023-03-23 10:54:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:54:47] [INFO ] Removed a total of 2652 redundant transitions.
[2023-03-23 10:54:47] [INFO ] Flatten gal took : 51 ms
[2023-03-23 10:54:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 1122 labels/synchronizations in 29 ms.
[2023-03-23 10:54:47] [INFO ] Time to serialize gal into /tmp/CTLFireability523021440499126695.gal : 7 ms
[2023-03-23 10:54:47] [INFO ] Time to serialize properties into /tmp/CTLFireability7732564139261053383.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/CTLFireability523021440499126695.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7732564139261053383.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 1024/1024 places, 2646/2646 transitions.
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 45 place count 979 transition count 2532
Iterating global reduction 0 with 45 rules applied. Total rules applied 90 place count 979 transition count 2532
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 112 place count 979 transition count 2510
Discarding 40 places :
Symmetric choice reduction at 1 with 40 rule applications. Total rules 152 place count 939 transition count 2424
Iterating global reduction 1 with 40 rules applied. Total rules applied 192 place count 939 transition count 2424
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 196 place count 939 transition count 2420
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 231 place count 904 transition count 2306
Iterating global reduction 2 with 35 rules applied. Total rules applied 266 place count 904 transition count 2306
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 309 place count 861 transition count 2154
Iterating global reduction 2 with 43 rules applied. Total rules applied 352 place count 861 transition count 2154
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 396 place count 817 transition count 2036
Iterating global reduction 2 with 44 rules applied. Total rules applied 440 place count 817 transition count 2036
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 484 place count 773 transition count 1944
Iterating global reduction 2 with 44 rules applied. Total rules applied 528 place count 773 transition count 1944
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 568 place count 733 transition count 1864
Iterating global reduction 2 with 40 rules applied. Total rules applied 608 place count 733 transition count 1864
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 648 place count 693 transition count 1780
Iterating global reduction 2 with 40 rules applied. Total rules applied 688 place count 693 transition count 1780
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 727 place count 654 transition count 1694
Iterating global reduction 2 with 39 rules applied. Total rules applied 766 place count 654 transition count 1694
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 785 place count 635 transition count 1652
Iterating global reduction 2 with 19 rules applied. Total rules applied 804 place count 635 transition count 1652
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 810 place count 629 transition count 1640
Iterating global reduction 2 with 6 rules applied. Total rules applied 816 place count 629 transition count 1640
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 820 place count 625 transition count 1632
Iterating global reduction 2 with 4 rules applied. Total rules applied 824 place count 625 transition count 1632
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 828 place count 621 transition count 1624
Iterating global reduction 2 with 4 rules applied. Total rules applied 832 place count 621 transition count 1624
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 836 place count 617 transition count 1616
Iterating global reduction 2 with 4 rules applied. Total rules applied 840 place count 617 transition count 1616
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 842 place count 615 transition count 1612
Iterating global reduction 2 with 2 rules applied. Total rules applied 844 place count 615 transition count 1612
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 848 place count 615 transition count 1608
Applied a total of 848 rules in 505 ms. Remains 615 /1024 variables (removed 409) and now considering 1608/2646 (removed 1038) transitions.
[2023-03-23 10:55:18] [INFO ] Flow matrix only has 1073 transitions (discarded 535 similar events)
// Phase 1: matrix 1073 rows 615 cols
[2023-03-23 10:55:18] [INFO ] Computed 2 place invariants in 7 ms
[2023-03-23 10:55:18] [INFO ] Implicit Places using invariants in 273 ms returned []
[2023-03-23 10:55:18] [INFO ] Flow matrix only has 1073 transitions (discarded 535 similar events)
[2023-03-23 10:55:18] [INFO ] Invariant cache hit.
[2023-03-23 10:55:19] [INFO ] State equation strengthened by 265 read => feed constraints.
[2023-03-23 10:55:20] [INFO ] Implicit Places using invariants and state equation in 1304 ms returned []
Implicit Place search using SMT with State Equation took 1578 ms to find 0 implicit places.
[2023-03-23 10:55:20] [INFO ] Redundant transitions in 28 ms returned []
[2023-03-23 10:55:20] [INFO ] Flow matrix only has 1073 transitions (discarded 535 similar events)
[2023-03-23 10:55:20] [INFO ] Invariant cache hit.
[2023-03-23 10:55:20] [INFO ] Dead Transitions using invariants and state equation in 468 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 615/1024 places, 1608/2646 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2585 ms. Remains : 615/1024 places, 1608/2646 transitions.
[2023-03-23 10:55:20] [INFO ] Flatten gal took : 29 ms
[2023-03-23 10:55:20] [INFO ] Flatten gal took : 34 ms
[2023-03-23 10:55:20] [INFO ] Input system was already deterministic with 1608 transitions.
[2023-03-23 10:55:20] [INFO ] Flatten gal took : 31 ms
[2023-03-23 10:55:20] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:55:20] [INFO ] Time to serialize gal into /tmp/CTLFireability4434735821450063989.gal : 6 ms
[2023-03-23 10:55:20] [INFO ] Time to serialize properties into /tmp/CTLFireability5376663975065121511.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/CTLFireability4434735821450063989.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5376663975065121511.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-23 10:55:50] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:55:50] [INFO ] Applying decomposition
[2023-03-23 10:55:50] [INFO ] Flatten gal took : 32 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/graph4666816772971400312.txt' '-o' '/tmp/graph4666816772971400312.bin' '-w' '/tmp/graph4666816772971400312.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4666816772971400312.bin' '-l' '-1' '-v' '-w' '/tmp/graph4666816772971400312.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:55:51] [INFO ] Decomposing Gal with order
[2023-03-23 10:55:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:55:51] [INFO ] Removed a total of 2677 redundant transitions.
[2023-03-23 10:55:51] [INFO ] Flatten gal took : 53 ms
[2023-03-23 10:55:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 1108 labels/synchronizations in 29 ms.
[2023-03-23 10:55:51] [INFO ] Time to serialize gal into /tmp/CTLFireability16821721236642691053.gal : 7 ms
[2023-03-23 10:55:51] [INFO ] Time to serialize properties into /tmp/CTLFireability9503836060103564018.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/CTLFireability16821721236642691053.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9503836060103564018.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 45 place count 979 transition count 2532
Iterating global reduction 0 with 45 rules applied. Total rules applied 90 place count 979 transition count 2532
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 114 place count 979 transition count 2508
Discarding 39 places :
Symmetric choice reduction at 1 with 39 rule applications. Total rules 153 place count 940 transition count 2424
Iterating global reduction 1 with 39 rules applied. Total rules applied 192 place count 940 transition count 2424
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 196 place count 940 transition count 2420
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 230 place count 906 transition count 2310
Iterating global reduction 2 with 34 rules applied. Total rules applied 264 place count 906 transition count 2310
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 306 place count 864 transition count 2162
Iterating global reduction 2 with 42 rules applied. Total rules applied 348 place count 864 transition count 2162
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 391 place count 821 transition count 2046
Iterating global reduction 2 with 43 rules applied. Total rules applied 434 place count 821 transition count 2046
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 477 place count 778 transition count 1956
Iterating global reduction 2 with 43 rules applied. Total rules applied 520 place count 778 transition count 1956
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 559 place count 739 transition count 1878
Iterating global reduction 2 with 39 rules applied. Total rules applied 598 place count 739 transition count 1878
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 637 place count 700 transition count 1796
Iterating global reduction 2 with 39 rules applied. Total rules applied 676 place count 700 transition count 1796
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 714 place count 662 transition count 1710
Iterating global reduction 2 with 38 rules applied. Total rules applied 752 place count 662 transition count 1710
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 772 place count 642 transition count 1664
Iterating global reduction 2 with 20 rules applied. Total rules applied 792 place count 642 transition count 1664
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 799 place count 635 transition count 1650
Iterating global reduction 2 with 7 rules applied. Total rules applied 806 place count 635 transition count 1650
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 811 place count 630 transition count 1640
Iterating global reduction 2 with 5 rules applied. Total rules applied 816 place count 630 transition count 1640
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 821 place count 625 transition count 1630
Iterating global reduction 2 with 5 rules applied. Total rules applied 826 place count 625 transition count 1630
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 831 place count 620 transition count 1620
Iterating global reduction 2 with 5 rules applied. Total rules applied 836 place count 620 transition count 1620
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 839 place count 617 transition count 1614
Iterating global reduction 2 with 3 rules applied. Total rules applied 842 place count 617 transition count 1614
Applied a total of 842 rules in 291 ms. Remains 617 /1024 variables (removed 407) and now considering 1614/2646 (removed 1032) transitions.
[2023-03-23 10:56:21] [INFO ] Flow matrix only has 1079 transitions (discarded 535 similar events)
// Phase 1: matrix 1079 rows 617 cols
[2023-03-23 10:56:21] [INFO ] Computed 2 place invariants in 16 ms
[2023-03-23 10:56:21] [INFO ] Implicit Places using invariants in 282 ms returned []
[2023-03-23 10:56:21] [INFO ] Flow matrix only has 1079 transitions (discarded 535 similar events)
[2023-03-23 10:56:21] [INFO ] Invariant cache hit.
[2023-03-23 10:56:22] [INFO ] State equation strengthened by 267 read => feed constraints.
[2023-03-23 10:56:23] [INFO ] Implicit Places using invariants and state equation in 1309 ms returned []
Implicit Place search using SMT with State Equation took 1592 ms to find 0 implicit places.
[2023-03-23 10:56:23] [INFO ] Flow matrix only has 1079 transitions (discarded 535 similar events)
[2023-03-23 10:56:23] [INFO ] Invariant cache hit.
[2023-03-23 10:56:23] [INFO ] Dead Transitions using invariants and state equation in 463 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 617/1024 places, 1614/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2347 ms. Remains : 617/1024 places, 1614/2646 transitions.
[2023-03-23 10:56:23] [INFO ] Flatten gal took : 29 ms
[2023-03-23 10:56:23] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:56:23] [INFO ] Input system was already deterministic with 1614 transitions.
[2023-03-23 10:56:23] [INFO ] Flatten gal took : 32 ms
[2023-03-23 10:56:23] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:56:23] [INFO ] Time to serialize gal into /tmp/CTLFireability15168492547784093693.gal : 5 ms
[2023-03-23 10:56:23] [INFO ] Time to serialize properties into /tmp/CTLFireability1553345374773835781.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/CTLFireability15168492547784093693.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1553345374773835781.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-23 10:56:53] [INFO ] Flatten gal took : 33 ms
[2023-03-23 10:56:53] [INFO ] Applying decomposition
[2023-03-23 10:56:53] [INFO ] Flatten gal took : 33 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/graph12547664405336037803.txt' '-o' '/tmp/graph12547664405336037803.bin' '-w' '/tmp/graph12547664405336037803.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph12547664405336037803.bin' '-l' '-1' '-v' '-w' '/tmp/graph12547664405336037803.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:56:53] [INFO ] Decomposing Gal with order
[2023-03-23 10:56:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:56:54] [INFO ] Removed a total of 2681 redundant transitions.
[2023-03-23 10:56:54] [INFO ] Flatten gal took : 53 ms
[2023-03-23 10:56:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 1117 labels/synchronizations in 29 ms.
[2023-03-23 10:56:54] [INFO ] Time to serialize gal into /tmp/CTLFireability11114435356924092386.gal : 7 ms
[2023-03-23 10:56:54] [INFO ] Time to serialize properties into /tmp/CTLFireability6333637240639410996.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/CTLFireability11114435356924092386.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6333637240639410996.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 : 1024/1024 places, 2646/2646 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 985 transition count 2546
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 985 transition count 2546
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 102 place count 985 transition count 2522
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 136 place count 951 transition count 2450
Iterating global reduction 1 with 34 rules applied. Total rules applied 170 place count 951 transition count 2450
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 174 place count 951 transition count 2446
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 203 place count 922 transition count 2354
Iterating global reduction 2 with 29 rules applied. Total rules applied 232 place count 922 transition count 2354
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 269 place count 885 transition count 2224
Iterating global reduction 2 with 37 rules applied. Total rules applied 306 place count 885 transition count 2224
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 344 place count 847 transition count 2120
Iterating global reduction 2 with 38 rules applied. Total rules applied 382 place count 847 transition count 2120
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 420 place count 809 transition count 2040
Iterating global reduction 2 with 38 rules applied. Total rules applied 458 place count 809 transition count 2040
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 493 place count 774 transition count 1970
Iterating global reduction 2 with 35 rules applied. Total rules applied 528 place count 774 transition count 1970
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 563 place count 739 transition count 1896
Iterating global reduction 2 with 35 rules applied. Total rules applied 598 place count 739 transition count 1896
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 632 place count 705 transition count 1818
Iterating global reduction 2 with 34 rules applied. Total rules applied 666 place count 705 transition count 1818
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 685 place count 686 transition count 1774
Iterating global reduction 2 with 19 rules applied. Total rules applied 704 place count 686 transition count 1774
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 711 place count 679 transition count 1760
Iterating global reduction 2 with 7 rules applied. Total rules applied 718 place count 679 transition count 1760
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 723 place count 674 transition count 1750
Iterating global reduction 2 with 5 rules applied. Total rules applied 728 place count 674 transition count 1750
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 733 place count 669 transition count 1740
Iterating global reduction 2 with 5 rules applied. Total rules applied 738 place count 669 transition count 1740
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 743 place count 664 transition count 1730
Iterating global reduction 2 with 5 rules applied. Total rules applied 748 place count 664 transition count 1730
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 751 place count 661 transition count 1724
Iterating global reduction 2 with 3 rules applied. Total rules applied 754 place count 661 transition count 1724
Applied a total of 754 rules in 312 ms. Remains 661 /1024 variables (removed 363) and now considering 1724/2646 (removed 922) transitions.
[2023-03-23 10:57:24] [INFO ] Flow matrix only has 1156 transitions (discarded 568 similar events)
// Phase 1: matrix 1156 rows 661 cols
[2023-03-23 10:57:24] [INFO ] Computed 2 place invariants in 14 ms
[2023-03-23 10:57:24] [INFO ] Implicit Places using invariants in 283 ms returned []
[2023-03-23 10:57:24] [INFO ] Flow matrix only has 1156 transitions (discarded 568 similar events)
[2023-03-23 10:57:24] [INFO ] Invariant cache hit.
[2023-03-23 10:57:24] [INFO ] State equation strengthened by 284 read => feed constraints.
[2023-03-23 10:57:26] [INFO ] Implicit Places using invariants and state equation in 1463 ms returned []
Implicit Place search using SMT with State Equation took 1747 ms to find 0 implicit places.
[2023-03-23 10:57:26] [INFO ] Flow matrix only has 1156 transitions (discarded 568 similar events)
[2023-03-23 10:57:26] [INFO ] Invariant cache hit.
[2023-03-23 10:57:26] [INFO ] Dead Transitions using invariants and state equation in 500 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 661/1024 places, 1724/2646 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2560 ms. Remains : 661/1024 places, 1724/2646 transitions.
[2023-03-23 10:57:26] [INFO ] Flatten gal took : 31 ms
[2023-03-23 10:57:26] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:57:26] [INFO ] Input system was already deterministic with 1724 transitions.
[2023-03-23 10:57:26] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:57:26] [INFO ] Flatten gal took : 35 ms
[2023-03-23 10:57:26] [INFO ] Time to serialize gal into /tmp/CTLFireability16564714021791148353.gal : 5 ms
[2023-03-23 10:57:26] [INFO ] Time to serialize properties into /tmp/CTLFireability1194692059603901267.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/CTLFireability16564714021791148353.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1194692059603901267.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-23 10:57:56] [INFO ] Flatten gal took : 39 ms
[2023-03-23 10:57:56] [INFO ] Applying decomposition
[2023-03-23 10:57:57] [INFO ] Flatten gal took : 37 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/graph4522308707436235609.txt' '-o' '/tmp/graph4522308707436235609.bin' '-w' '/tmp/graph4522308707436235609.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph4522308707436235609.bin' '-l' '-1' '-v' '-w' '/tmp/graph4522308707436235609.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:57:57] [INFO ] Decomposing Gal with order
[2023-03-23 10:57:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:57:57] [INFO ] Removed a total of 2874 redundant transitions.
[2023-03-23 10:57:57] [INFO ] Flatten gal took : 56 ms
[2023-03-23 10:57:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 1360 labels/synchronizations in 34 ms.
[2023-03-23 10:57:57] [INFO ] Time to serialize gal into /tmp/CTLFireability5108582431951436781.gal : 8 ms
[2023-03-23 10:57:57] [INFO ] Time to serialize properties into /tmp/CTLFireability11649726511728825302.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/CTLFireability5108582431951436781.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11649726511728825302.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.
[2023-03-23 10:58:27] [INFO ] Flatten gal took : 54 ms
[2023-03-23 10:58:27] [INFO ] Flatten gal took : 66 ms
[2023-03-23 10:58:27] [INFO ] Applying decomposition
[2023-03-23 10:58:27] [INFO ] Flatten gal took : 56 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/graph3254521016667072828.txt' '-o' '/tmp/graph3254521016667072828.bin' '-w' '/tmp/graph3254521016667072828.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3254521016667072828.bin' '-l' '-1' '-v' '-w' '/tmp/graph3254521016667072828.weights' '-q' '0' '-e' '0.001'
[2023-03-23 10:58:27] [INFO ] Decomposing Gal with order
[2023-03-23 10:58:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 10:58:27] [INFO ] Removed a total of 4334 redundant transitions.
[2023-03-23 10:58:27] [INFO ] Flatten gal took : 114 ms
[2023-03-23 10:58:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 2262 labels/synchronizations in 69 ms.
[2023-03-23 10:58:27] [INFO ] Time to serialize gal into /tmp/CTLFireability6716753816644060655.gal : 13 ms
[2023-03-23 10:58:27] [INFO ] Time to serialize properties into /tmp/CTLFireability2671674208737958207.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/CTLFireability6716753816644060655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2671674208737958207.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 11 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 11:26:34] [INFO ] Flatten gal took : 278 ms
[2023-03-23 11:26:34] [INFO ] Time to serialize gal into /tmp/CTLFireability11907634259048464425.gal : 45 ms
[2023-03-23 11:26:34] [INFO ] Time to serialize properties into /tmp/CTLFireability2999513259278104341.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/CTLFireability11907634259048464425.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2999513259278104341.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 11 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 4353536 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124448 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ 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="FunctionPointer-PT-c004"
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 FunctionPointer-PT-c004, 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 r165-tall-167838850800722"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c004.tgz
mv FunctionPointer-PT-c004 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 ;