About the Execution of ITS-Tools for DLCround-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3843.292 | 3600000.00 | 4192575.00 | 14593.80 | T?T???T?FF??F??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r064-tall-162038397100345.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCround-PT-07b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038397100345
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 106K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 15:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 15:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 15:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 963K May 5 16:51 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 DLCround-PT-07b-CTLCardinality-00
FORMULA_NAME DLCround-PT-07b-CTLCardinality-01
FORMULA_NAME DLCround-PT-07b-CTLCardinality-02
FORMULA_NAME DLCround-PT-07b-CTLCardinality-03
FORMULA_NAME DLCround-PT-07b-CTLCardinality-04
FORMULA_NAME DLCround-PT-07b-CTLCardinality-05
FORMULA_NAME DLCround-PT-07b-CTLCardinality-06
FORMULA_NAME DLCround-PT-07b-CTLCardinality-07
FORMULA_NAME DLCround-PT-07b-CTLCardinality-08
FORMULA_NAME DLCround-PT-07b-CTLCardinality-09
FORMULA_NAME DLCround-PT-07b-CTLCardinality-10
FORMULA_NAME DLCround-PT-07b-CTLCardinality-11
FORMULA_NAME DLCround-PT-07b-CTLCardinality-12
FORMULA_NAME DLCround-PT-07b-CTLCardinality-13
FORMULA_NAME DLCround-PT-07b-CTLCardinality-14
FORMULA_NAME DLCround-PT-07b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620779160918
Running Version 0
[2021-05-12 00:26:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-12 00:26:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 00:26:36] [INFO ] Load time of PNML (sax parser for PT used): 2181 ms
[2021-05-12 00:26:36] [INFO ] Transformed 2703 places.
[2021-05-12 00:26:37] [INFO ] Transformed 4071 transitions.
[2021-05-12 00:26:37] [INFO ] Found NUPN structural information;
[2021-05-12 00:26:37] [INFO ] Parsed PT model containing 2703 places and 4071 transitions in 3505 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 381 ms.
Support contains 638 out of 2703 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2703/2703 places, 4071/4071 transitions.
Discarding 310 places :
Symmetric choice reduction at 0 with 310 rule applications. Total rules 310 place count 2393 transition count 3761
Iterating global reduction 0 with 310 rules applied. Total rules applied 620 place count 2393 transition count 3761
Discarding 156 places :
Symmetric choice reduction at 0 with 156 rule applications. Total rules 776 place count 2237 transition count 3605
Iterating global reduction 0 with 156 rules applied. Total rules applied 932 place count 2237 transition count 3605
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 934 place count 2237 transition count 3603
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 953 place count 2218 transition count 3563
Iterating global reduction 1 with 19 rules applied. Total rules applied 972 place count 2218 transition count 3563
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 981 place count 2209 transition count 3554
Iterating global reduction 1 with 9 rules applied. Total rules applied 990 place count 2209 transition count 3554
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 997 place count 2202 transition count 3547
Iterating global reduction 1 with 7 rules applied. Total rules applied 1004 place count 2202 transition count 3547
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 1008 place count 2198 transition count 3543
Iterating global reduction 1 with 4 rules applied. Total rules applied 1012 place count 2198 transition count 3543
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 1013 place count 2197 transition count 3542
Iterating global reduction 1 with 1 rules applied. Total rules applied 1014 place count 2197 transition count 3542
Applied a total of 1014 rules in 13393 ms. Remains 2197 /2703 variables (removed 506) and now considering 3542/4071 (removed 529) transitions.
// Phase 1: matrix 3542 rows 2197 cols
[2021-05-12 00:26:53] [INFO ] Computed 132 place invariants in 430 ms
[2021-05-12 00:26:57] [INFO ] Implicit Places using invariants in 5196 ms returned []
// Phase 1: matrix 3542 rows 2197 cols
[2021-05-12 00:26:58] [INFO ] Computed 132 place invariants in 317 ms
[2021-05-12 00:27:00] [INFO ] Implicit Places using invariants and state equation in 2611 ms returned []
Implicit Place search using SMT with State Equation took 7954 ms to find 0 implicit places.
// Phase 1: matrix 3542 rows 2197 cols
[2021-05-12 00:27:00] [INFO ] Computed 132 place invariants in 173 ms
[2021-05-12 00:27:02] [INFO ] Dead Transitions using invariants and state equation in 2220 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2197/2703 places, 3542/4071 transitions.
[2021-05-12 00:27:07] [INFO ] Flatten gal took : 2322 ms
[2021-05-12 00:27:09] [INFO ] Flatten gal took : 2016 ms
[2021-05-12 00:27:14] [INFO ] Input system was already deterministic with 3542 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 17125 ms. (steps per millisecond=5 ) properties (out of 68) seen :23
Running SMT prover for 45 properties.
// Phase 1: matrix 3542 rows 2197 cols
[2021-05-12 00:27:32] [INFO ] Computed 132 place invariants in 112 ms
[2021-05-12 00:27:53] [INFO ] [Real]Absence check using 132 positive place invariants in 1031 ms returned sat
[2021-05-12 00:27:54] [INFO ] SMT Verify possible in real domain returnedunsat :6 sat :0 real:39
[2021-05-12 00:28:11] [INFO ] [Nat]Absence check using 132 positive place invariants in 703 ms returned sat
[2021-05-12 00:28:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-12 00:28:28] [INFO ] [Nat]Absence check using state equation in 15488 ms returned unsat :37 sat :8
Attempting to minimize the solution found.
Minimization took 2604 ms.
[2021-05-12 00:28:31] [INFO ] SMT Verify possible in nat domain returned unsat :37 sat :8
Successfully simplified 43 atomic propositions for a total of 16 simplifications.
[2021-05-12 00:28:31] [INFO ] Initial state test concluded for 2 properties.
FORMULA DLCround-PT-07b-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-07b-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Graph (trivial) has 1995 edges and 2197 vertex of which 442 / 2197 are part of one of the 35 SCC in 22 ms
Free SCC test removed 407 places
Ensure Unique test removed 431 transitions
Reduce isomorphic transitions removed 431 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 534 transitions
Trivial Post-agglo rules discarded 534 transitions
Performed 534 trivial Post agglomeration. Transition count delta: 534
Iterating post reduction 0 with 534 rules applied. Total rules applied 535 place count 1789 transition count 2576
Reduce places removed 534 places and 0 transitions.
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 1 with 579 rules applied. Total rules applied 1114 place count 1255 transition count 2531
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 25 rules applied. Total rules applied 1139 place count 1232 transition count 2529
Reduce places removed 1 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 7 rules applied. Total rules applied 1146 place count 1231 transition count 2523
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 1152 place count 1225 transition count 2523
Performed 98 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 98 Pre rules applied. Total rules applied 1152 place count 1225 transition count 2425
Deduced a syphon composed of 98 places in 26 ms
Reduce places removed 98 places and 0 transitions.
Iterating global reduction 5 with 196 rules applied. Total rules applied 1348 place count 1127 transition count 2425
Discarding 207 places :
Symmetric choice reduction at 5 with 207 rule applications. Total rules 1555 place count 920 transition count 2147
Iterating global reduction 5 with 207 rules applied. Total rules applied 1762 place count 920 transition count 2147
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1763 place count 920 transition count 2146
Performed 94 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 94 Pre rules applied. Total rules applied 1763 place count 920 transition count 2052
Deduced a syphon composed of 94 places in 51 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 6 with 188 rules applied. Total rules applied 1951 place count 826 transition count 2052
Discarding 19 places :
Symmetric choice reduction at 6 with 19 rule applications. Total rules 1970 place count 807 transition count 1864
Iterating global reduction 6 with 19 rules applied. Total rules applied 1989 place count 807 transition count 1864
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 2001 place count 807 transition count 1852
Performed 252 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 252 places in 1 ms
Reduce places removed 252 places and 0 transitions.
Iterating global reduction 7 with 504 rules applied. Total rules applied 2505 place count 555 transition count 1594
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 7 with 8 rules applied. Total rules applied 2513 place count 555 transition count 1586
Discarding 26 places :
Symmetric choice reduction at 8 with 26 rule applications. Total rules 2539 place count 529 transition count 1300
Iterating global reduction 8 with 26 rules applied. Total rules applied 2565 place count 529 transition count 1300
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 8 with 9 rules applied. Total rules applied 2574 place count 529 transition count 1291
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 15 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 9 with 10 rules applied. Total rules applied 2584 place count 524 transition count 1286
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 2588 place count 520 transition count 1242
Iterating global reduction 9 with 4 rules applied. Total rules applied 2592 place count 520 transition count 1242
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 2596 place count 520 transition count 1238
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: -285
Deduced a syphon composed of 36 places in 8 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 10 with 72 rules applied. Total rules applied 2668 place count 484 transition count 1523
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 10 with 6 rules applied. Total rules applied 2674 place count 484 transition count 1517
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2678 place count 480 transition count 1443
Iterating global reduction 11 with 4 rules applied. Total rules applied 2682 place count 480 transition count 1443
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 2686 place count 480 transition count 1439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2694 place count 476 transition count 1466
Drop transitions removed 64 transitions
Redundant transition composition rules discarded 64 transitions
Iterating global reduction 12 with 64 rules applied. Total rules applied 2758 place count 476 transition count 1402
Discarding 9 places :
Symmetric choice reduction at 12 with 9 rule applications. Total rules 2767 place count 467 transition count 1384
Iterating global reduction 12 with 9 rules applied. Total rules applied 2776 place count 467 transition count 1384
Discarding 9 places :
Symmetric choice reduction at 12 with 9 rule applications. Total rules 2785 place count 458 transition count 1264
Iterating global reduction 12 with 9 rules applied. Total rules applied 2794 place count 458 transition count 1264
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 12 with 9 rules applied. Total rules applied 2803 place count 458 transition count 1255
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 2804 place count 457 transition count 1254
Applied a total of 2804 rules in 6042 ms. Remains 457 /2197 variables (removed 1740) and now considering 1254/3542 (removed 2288) transitions.
[2021-05-12 00:28:38] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-12 00:28:39] [INFO ] Flatten gal took : 838 ms
FORMULA DLCround-PT-07b-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-12 00:28:39] [INFO ] Flatten gal took : 258 ms
[2021-05-12 00:28:41] [INFO ] Input system was already deterministic with 1254 transitions.
Graph (trivial) has 1989 edges and 2197 vertex of which 463 / 2197 are part of one of the 36 SCC in 51 ms
Free SCC test removed 427 places
Ensure Unique test removed 451 transitions
Reduce isomorphic transitions removed 451 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 521 transitions
Trivial Post-agglo rules discarded 521 transitions
Performed 521 trivial Post agglomeration. Transition count delta: 521
Iterating post reduction 0 with 521 rules applied. Total rules applied 522 place count 1769 transition count 2569
Reduce places removed 521 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 1 with 563 rules applied. Total rules applied 1085 place count 1248 transition count 2527
Reduce places removed 22 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 24 rules applied. Total rules applied 1109 place count 1226 transition count 2525
Reduce places removed 1 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 3 with 10 rules applied. Total rules applied 1119 place count 1225 transition count 2516
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 4 with 9 rules applied. Total rules applied 1128 place count 1216 transition count 2516
Performed 98 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 98 Pre rules applied. Total rules applied 1128 place count 1216 transition count 2418
Deduced a syphon composed of 98 places in 155 ms
Reduce places removed 98 places and 0 transitions.
Iterating global reduction 5 with 196 rules applied. Total rules applied 1324 place count 1118 transition count 2418
Discarding 206 places :
Symmetric choice reduction at 5 with 206 rule applications. Total rules 1530 place count 912 transition count 2141
Iterating global reduction 5 with 206 rules applied. Total rules applied 1736 place count 912 transition count 2141
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1737 place count 912 transition count 2140
Performed 90 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 90 Pre rules applied. Total rules applied 1737 place count 912 transition count 2050
Deduced a syphon composed of 90 places in 19 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 6 with 180 rules applied. Total rules applied 1917 place count 822 transition count 2050
Discarding 22 places :
Symmetric choice reduction at 6 with 22 rule applications. Total rules 1939 place count 800 transition count 1839
Iterating global reduction 6 with 22 rules applied. Total rules applied 1961 place count 800 transition count 1839
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 1973 place count 800 transition count 1827
Performed 249 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 249 places in 1 ms
Reduce places removed 249 places and 0 transitions.
Iterating global reduction 7 with 498 rules applied. Total rules applied 2471 place count 551 transition count 1573
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 7 with 8 rules applied. Total rules applied 2479 place count 551 transition count 1565
Discarding 25 places :
Symmetric choice reduction at 8 with 25 rule applications. Total rules 2504 place count 526 transition count 1290
Iterating global reduction 8 with 25 rules applied. Total rules applied 2529 place count 526 transition count 1290
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 8 with 12 rules applied. Total rules applied 2541 place count 526 transition count 1278
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 2549 place count 522 transition count 1274
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2551 place count 520 transition count 1252
Iterating global reduction 9 with 2 rules applied. Total rules applied 2553 place count 520 transition count 1252
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2555 place count 520 transition count 1250
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: -201
Deduced a syphon composed of 26 places in 1 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 10 with 52 rules applied. Total rules applied 2607 place count 494 transition count 1451
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 2611 place count 494 transition count 1447
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2615 place count 490 transition count 1371
Iterating global reduction 11 with 4 rules applied. Total rules applied 2619 place count 490 transition count 1371
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 2623 place count 490 transition count 1367
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2631 place count 486 transition count 1395
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 12 with 50 rules applied. Total rules applied 2681 place count 486 transition count 1345
Discarding 11 places :
Symmetric choice reduction at 12 with 11 rule applications. Total rules 2692 place count 475 transition count 1323
Iterating global reduction 12 with 11 rules applied. Total rules applied 2703 place count 475 transition count 1323
Discarding 11 places :
Symmetric choice reduction at 12 with 11 rule applications. Total rules 2714 place count 464 transition count 1193
Iterating global reduction 12 with 11 rules applied. Total rules applied 2725 place count 464 transition count 1193
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 12 with 11 rules applied. Total rules applied 2736 place count 464 transition count 1182
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 2737 place count 463 transition count 1181
Applied a total of 2737 rules in 4031 ms. Remains 463 /2197 variables (removed 1734) and now considering 1181/3542 (removed 2361) transitions.
[2021-05-12 00:28:47] [INFO ] Flatten gal took : 589 ms
[2021-05-12 00:28:47] [INFO ] Flatten gal took : 707 ms
[2021-05-12 00:28:48] [INFO ] Input system was already deterministic with 1181 transitions.
[2021-05-12 00:28:49] [INFO ] Flatten gal took : 683 ms
[2021-05-12 00:28:50] [INFO ] Flatten gal took : 935 ms
[2021-05-12 00:28:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality16615439615191923491.gal : 240 ms
[2021-05-12 00:28:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality12026229378605720363.ctl : 19 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality16615439615191923491.gal, -t, CGAL, -ctl, /tmp/CTLCardinality12026229378605720363.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality16615439615191923491.gal -t CGAL -ctl /tmp/CTLCardinality12026229378605720363.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 00:29:22] [INFO ] Flatten gal took : 485 ms
[2021-05-12 00:29:22] [INFO ] Applying decomposition
[2021-05-12 00:29:23] [INFO ] Flatten gal took : 631 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14509462017446992024.txt, -o, /tmp/graph14509462017446992024.bin, -w, /tmp/graph14509462017446992024.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14509462017446992024.bin, -l, -1, -v, -w, /tmp/graph14509462017446992024.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 00:29:25] [INFO ] Decomposing Gal with order
[2021-05-12 00:29:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:29:27] [INFO ] Removed a total of 3058 redundant transitions.
[2021-05-12 00:29:27] [INFO ] Flatten gal took : 1801 ms
[2021-05-12 00:29:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 389 labels/synchronizations in 699 ms.
[2021-05-12 00:29:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality59954707778497203.gal : 305 ms
[2021-05-12 00:29:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality6241398372594816085.ctl : 38 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality59954707778497203.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6241398372594816085.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality59954707778497203.gal -t CGAL -ctl /tmp/CTLCardinality6241398372594816085.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 2008 edges and 2197 vertex of which 432 / 2197 are part of one of the 35 SCC in 9 ms
Free SCC test removed 397 places
Ensure Unique test removed 420 transitions
Reduce isomorphic transitions removed 420 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 557 transitions
Trivial Post-agglo rules discarded 557 transitions
Performed 557 trivial Post agglomeration. Transition count delta: 557
Iterating post reduction 0 with 557 rules applied. Total rules applied 558 place count 1799 transition count 2564
Reduce places removed 557 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 1 with 601 rules applied. Total rules applied 1159 place count 1242 transition count 2520
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 25 rules applied. Total rules applied 1184 place count 1219 transition count 2518
Reduce places removed 1 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 7 rules applied. Total rules applied 1191 place count 1218 transition count 2512
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 1197 place count 1212 transition count 2512
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 96 Pre rules applied. Total rules applied 1197 place count 1212 transition count 2416
Deduced a syphon composed of 96 places in 99 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 5 with 192 rules applied. Total rules applied 1389 place count 1116 transition count 2416
Discarding 210 places :
Symmetric choice reduction at 5 with 210 rule applications. Total rules 1599 place count 906 transition count 2145
Iterating global reduction 5 with 210 rules applied. Total rules applied 1809 place count 906 transition count 2145
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1810 place count 906 transition count 2144
Performed 93 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 93 Pre rules applied. Total rules applied 1810 place count 906 transition count 2051
Deduced a syphon composed of 93 places in 30 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 6 with 186 rules applied. Total rules applied 1996 place count 813 transition count 2051
Discarding 23 places :
Symmetric choice reduction at 6 with 23 rule applications. Total rules 2019 place count 790 transition count 1822
Iterating global reduction 6 with 23 rules applied. Total rules applied 2042 place count 790 transition count 1822
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 6 with 14 rules applied. Total rules applied 2056 place count 790 transition count 1808
Performed 254 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 254 places in 1 ms
Reduce places removed 254 places and 0 transitions.
Iterating global reduction 7 with 508 rules applied. Total rules applied 2564 place count 536 transition count 1549
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 7 with 9 rules applied. Total rules applied 2573 place count 536 transition count 1540
Discarding 27 places :
Symmetric choice reduction at 8 with 27 rule applications. Total rules 2600 place count 509 transition count 1243
Iterating global reduction 8 with 27 rules applied. Total rules applied 2627 place count 509 transition count 1243
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 8 with 10 rules applied. Total rules applied 2637 place count 509 transition count 1233
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 9 with 12 rules applied. Total rules applied 2649 place count 503 transition count 1227
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 2653 place count 499 transition count 1183
Iterating global reduction 9 with 4 rules applied. Total rules applied 2657 place count 499 transition count 1183
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 2661 place count 499 transition count 1179
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: -243
Deduced a syphon composed of 33 places in 1 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 10 with 66 rules applied. Total rules applied 2727 place count 466 transition count 1422
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 2732 place count 466 transition count 1417
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2736 place count 462 transition count 1345
Iterating global reduction 11 with 4 rules applied. Total rules applied 2740 place count 462 transition count 1345
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 2744 place count 462 transition count 1341
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2752 place count 458 transition count 1369
Drop transitions removed 67 transitions
Redundant transition composition rules discarded 67 transitions
Iterating global reduction 12 with 67 rules applied. Total rules applied 2819 place count 458 transition count 1302
Discarding 14 places :
Symmetric choice reduction at 12 with 14 rule applications. Total rules 2833 place count 444 transition count 1274
Iterating global reduction 12 with 14 rules applied. Total rules applied 2847 place count 444 transition count 1274
Discarding 14 places :
Symmetric choice reduction at 12 with 14 rule applications. Total rules 2861 place count 430 transition count 1084
Iterating global reduction 12 with 14 rules applied. Total rules applied 2875 place count 430 transition count 1084
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 12 with 14 rules applied. Total rules applied 2889 place count 430 transition count 1070
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 2890 place count 429 transition count 1069
Applied a total of 2890 rules in 5864 ms. Remains 429 /2197 variables (removed 1768) and now considering 1069/3542 (removed 2473) transitions.
[2021-05-12 00:30:08] [INFO ] Flatten gal took : 493 ms
[2021-05-12 00:30:08] [INFO ] Flatten gal took : 388 ms
[2021-05-12 00:30:10] [INFO ] Input system was already deterministic with 1069 transitions.
[2021-05-12 00:30:10] [INFO ] Flatten gal took : 375 ms
[2021-05-12 00:30:10] [INFO ] Flatten gal took : 117 ms
[2021-05-12 00:30:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality10691781455904362517.gal : 59 ms
[2021-05-12 00:30:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality1313467155563438697.ctl : 24 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality10691781455904362517.gal, -t, CGAL, -ctl, /tmp/CTLCardinality1313467155563438697.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality10691781455904362517.gal -t CGAL -ctl /tmp/CTLCardinality1313467155563438697.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 00:30:41] [INFO ] Flatten gal took : 860 ms
[2021-05-12 00:30:41] [INFO ] Applying decomposition
[2021-05-12 00:30:42] [INFO ] Flatten gal took : 541 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17377615896658709603.txt, -o, /tmp/graph17377615896658709603.bin, -w, /tmp/graph17377615896658709603.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17377615896658709603.bin, -l, -1, -v, -w, /tmp/graph17377615896658709603.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 00:30:43] [INFO ] Decomposing Gal with order
[2021-05-12 00:30:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:30:43] [INFO ] Removed a total of 2835 redundant transitions.
[2021-05-12 00:30:43] [INFO ] Flatten gal took : 538 ms
[2021-05-12 00:30:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 275 labels/synchronizations in 497 ms.
[2021-05-12 00:30:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality2147904793297374342.gal : 9 ms
[2021-05-12 00:30:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality1395014991948932420.ctl : 8 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality2147904793297374342.gal, -t, CGAL, -ctl, /tmp/CTLCardinality1395014991948932420.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality2147904793297374342.gal -t CGAL -ctl /tmp/CTLCardinality1395014991948932420.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 2019 edges and 2197 vertex of which 472 / 2197 are part of one of the 36 SCC in 2 ms
Free SCC test removed 436 places
Ensure Unique test removed 462 transitions
Reduce isomorphic transitions removed 462 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 532 transitions
Trivial Post-agglo rules discarded 532 transitions
Performed 532 trivial Post agglomeration. Transition count delta: 532
Iterating post reduction 0 with 532 rules applied. Total rules applied 533 place count 1760 transition count 2547
Reduce places removed 532 places and 0 transitions.
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Drop transitions removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 1 with 579 rules applied. Total rules applied 1112 place count 1228 transition count 2500
Reduce places removed 25 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 27 rules applied. Total rules applied 1139 place count 1203 transition count 2498
Reduce places removed 1 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 3 rules applied. Total rules applied 1142 place count 1202 transition count 2496
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 1144 place count 1200 transition count 2496
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 96 Pre rules applied. Total rules applied 1144 place count 1200 transition count 2400
Deduced a syphon composed of 96 places in 254 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 5 with 192 rules applied. Total rules applied 1336 place count 1104 transition count 2400
Discarding 214 places :
Symmetric choice reduction at 5 with 214 rule applications. Total rules 1550 place count 890 transition count 2115
Iterating global reduction 5 with 214 rules applied. Total rules applied 1764 place count 890 transition count 2115
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1765 place count 890 transition count 2114
Performed 99 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 99 Pre rules applied. Total rules applied 1765 place count 890 transition count 2015
Deduced a syphon composed of 99 places in 128 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 6 with 198 rules applied. Total rules applied 1963 place count 791 transition count 2015
Discarding 22 places :
Symmetric choice reduction at 6 with 22 rule applications. Total rules 1985 place count 769 transition count 1794
Iterating global reduction 6 with 22 rules applied. Total rules applied 2007 place count 769 transition count 1794
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 2019 place count 769 transition count 1782
Performed 247 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 247 places in 0 ms
Reduce places removed 247 places and 0 transitions.
Iterating global reduction 7 with 494 rules applied. Total rules applied 2513 place count 522 transition count 1530
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 2523 place count 522 transition count 1520
Discarding 26 places :
Symmetric choice reduction at 8 with 26 rule applications. Total rules 2549 place count 496 transition count 1234
Iterating global reduction 8 with 26 rules applied. Total rules applied 2575 place count 496 transition count 1234
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 8 with 11 rules applied. Total rules applied 2586 place count 496 transition count 1223
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 9 with 10 rules applied. Total rules applied 2596 place count 491 transition count 1218
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 2600 place count 487 transition count 1174
Iterating global reduction 9 with 4 rules applied. Total rules applied 2604 place count 487 transition count 1174
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 2608 place count 487 transition count 1170
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -101
Deduced a syphon composed of 13 places in 0 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 10 with 26 rules applied. Total rules applied 2634 place count 474 transition count 1271
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 2638 place count 474 transition count 1267
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2642 place count 470 transition count 1199
Iterating global reduction 11 with 4 rules applied. Total rules applied 2646 place count 470 transition count 1199
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 2650 place count 470 transition count 1195
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2658 place count 466 transition count 1221
Drop transitions removed 33 transitions
Redundant transition composition rules discarded 33 transitions
Iterating global reduction 12 with 33 rules applied. Total rules applied 2691 place count 466 transition count 1188
Discarding 15 places :
Symmetric choice reduction at 12 with 15 rule applications. Total rules 2706 place count 451 transition count 1158
Iterating global reduction 12 with 15 rules applied. Total rules applied 2721 place count 451 transition count 1158
Discarding 15 places :
Symmetric choice reduction at 12 with 15 rule applications. Total rules 2736 place count 436 transition count 989
Iterating global reduction 12 with 15 rules applied. Total rules applied 2751 place count 436 transition count 989
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 12 with 15 rules applied. Total rules applied 2766 place count 436 transition count 974
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 2767 place count 435 transition count 973
Applied a total of 2767 rules in 3913 ms. Remains 435 /2197 variables (removed 1762) and now considering 973/3542 (removed 2569) transitions.
[2021-05-12 00:31:20] [INFO ] Flatten gal took : 389 ms
[2021-05-12 00:31:21] [INFO ] Flatten gal took : 923 ms
[2021-05-12 00:31:21] [INFO ] Input system was already deterministic with 973 transitions.
[2021-05-12 00:31:22] [INFO ] Flatten gal took : 534 ms
[2021-05-12 00:31:22] [INFO ] Flatten gal took : 321 ms
[2021-05-12 00:31:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality1763392780730843809.gal : 24 ms
[2021-05-12 00:31:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality14414650505475635099.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality1763392780730843809.gal, -t, CGAL, -ctl, /tmp/CTLCardinality14414650505475635099.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality1763392780730843809.gal -t CGAL -ctl /tmp/CTLCardinality14414650505475635099.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.06534e+66,14.5566,21460,2,1226,5,62142,6,0,2691,50907,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-12 00:31:54] [INFO ] Flatten gal took : 1029 ms
[2021-05-12 00:31:54] [INFO ] Applying decomposition
[2021-05-12 00:31:54] [INFO ] Flatten gal took : 931 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14008540295011236571.txt, -o, /tmp/graph14008540295011236571.bin, -w, /tmp/graph14008540295011236571.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14008540295011236571.bin, -l, -1, -v, -w, /tmp/graph14008540295011236571.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 00:31:55] [INFO ] Decomposing Gal with order
[2021-05-12 00:31:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:31:56] [INFO ] Removed a total of 2774 redundant transitions.
[2021-05-12 00:31:56] [INFO ] Flatten gal took : 453 ms
[2021-05-12 00:31:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 170 labels/synchronizations in 2391 ms.
[2021-05-12 00:32:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality7630539053502452159.gal : 75 ms
[2021-05-12 00:32:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality9444925931503684219.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality7630539053502452159.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9444925931503684219.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality7630539053502452159.gal -t CGAL -ctl /tmp/CTLCardinality9444925931503684219.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 2009 edges and 2197 vertex of which 434 / 2197 are part of one of the 38 SCC in 57 ms
Free SCC test removed 396 places
Ensure Unique test removed 417 transitions
Reduce isomorphic transitions removed 417 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 551 transitions
Trivial Post-agglo rules discarded 551 transitions
Performed 551 trivial Post agglomeration. Transition count delta: 551
Iterating post reduction 0 with 551 rules applied. Total rules applied 552 place count 1800 transition count 2573
Reduce places removed 551 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 1 with 594 rules applied. Total rules applied 1146 place count 1249 transition count 2530
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 25 rules applied. Total rules applied 1171 place count 1226 transition count 2528
Reduce places removed 1 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 6 rules applied. Total rules applied 1177 place count 1225 transition count 2523
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 1182 place count 1220 transition count 2523
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 96 Pre rules applied. Total rules applied 1182 place count 1220 transition count 2427
Deduced a syphon composed of 96 places in 30 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 5 with 192 rules applied. Total rules applied 1374 place count 1124 transition count 2427
Discarding 213 places :
Symmetric choice reduction at 5 with 213 rule applications. Total rules 1587 place count 911 transition count 2143
Iterating global reduction 5 with 213 rules applied. Total rules applied 1800 place count 911 transition count 2143
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1801 place count 911 transition count 2142
Performed 98 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 98 Pre rules applied. Total rules applied 1801 place count 911 transition count 2044
Deduced a syphon composed of 98 places in 38 ms
Reduce places removed 98 places and 0 transitions.
Iterating global reduction 6 with 196 rules applied. Total rules applied 1997 place count 813 transition count 2044
Discarding 24 places :
Symmetric choice reduction at 6 with 24 rule applications. Total rules 2021 place count 789 transition count 1814
Iterating global reduction 6 with 24 rules applied. Total rules applied 2045 place count 789 transition count 1814
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 6 with 13 rules applied. Total rules applied 2058 place count 789 transition count 1801
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2059 place count 788 transition count 1790
Iterating global reduction 7 with 1 rules applied. Total rules applied 2060 place count 788 transition count 1790
Performed 257 Post agglomeration using F-continuation condition with reduction of 4 identical transitions.
Deduced a syphon composed of 257 places in 1 ms
Reduce places removed 257 places and 0 transitions.
Iterating global reduction 7 with 514 rules applied. Total rules applied 2574 place count 531 transition count 1529
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 2584 place count 531 transition count 1519
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 2608 place count 507 transition count 1255
Iterating global reduction 8 with 24 rules applied. Total rules applied 2632 place count 507 transition count 1255
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 8 with 7 rules applied. Total rules applied 2639 place count 507 transition count 1248
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 9 with 10 rules applied. Total rules applied 2649 place count 502 transition count 1243
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2651 place count 500 transition count 1221
Iterating global reduction 9 with 2 rules applied. Total rules applied 2653 place count 500 transition count 1221
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2655 place count 500 transition count 1219
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: -121
Deduced a syphon composed of 16 places in 1 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 10 with 32 rules applied. Total rules applied 2687 place count 484 transition count 1340
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 10 with 7 rules applied. Total rules applied 2694 place count 484 transition count 1333
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2698 place count 480 transition count 1263
Iterating global reduction 11 with 4 rules applied. Total rules applied 2702 place count 480 transition count 1263
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 2706 place count 480 transition count 1259
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2714 place count 476 transition count 1285
Drop transitions removed 33 transitions
Redundant transition composition rules discarded 33 transitions
Iterating global reduction 12 with 33 rules applied. Total rules applied 2747 place count 476 transition count 1252
Discarding 12 places :
Symmetric choice reduction at 12 with 12 rule applications. Total rules 2759 place count 464 transition count 1228
Iterating global reduction 12 with 12 rules applied. Total rules applied 2771 place count 464 transition count 1228
Discarding 12 places :
Symmetric choice reduction at 12 with 12 rule applications. Total rules 2783 place count 452 transition count 1092
Iterating global reduction 12 with 12 rules applied. Total rules applied 2795 place count 452 transition count 1092
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 12 with 12 rules applied. Total rules applied 2807 place count 452 transition count 1080
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 13 with 2 rules applied. Total rules applied 2809 place count 452 transition count 1080
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 2810 place count 451 transition count 1079
Applied a total of 2810 rules in 2921 ms. Remains 451 /2197 variables (removed 1746) and now considering 1079/3542 (removed 2463) transitions.
[2021-05-12 00:32:34] [INFO ] Flatten gal took : 542 ms
[2021-05-12 00:32:34] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA DLCround-PT-07b-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-12 00:32:34] [INFO ] Flatten gal took : 862 ms
[2021-05-12 00:32:35] [INFO ] Input system was already deterministic with 1079 transitions.
Graph (trivial) has 2006 edges and 2197 vertex of which 447 / 2197 are part of one of the 36 SCC in 1 ms
Free SCC test removed 411 places
Ensure Unique test removed 435 transitions
Reduce isomorphic transitions removed 435 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 544 transitions
Trivial Post-agglo rules discarded 544 transitions
Performed 544 trivial Post agglomeration. Transition count delta: 544
Iterating post reduction 0 with 544 rules applied. Total rules applied 545 place count 1785 transition count 2562
Reduce places removed 544 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 1 with 586 rules applied. Total rules applied 1131 place count 1241 transition count 2520
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 23 rules applied. Total rules applied 1154 place count 1220 transition count 2518
Reduce places removed 1 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 7 rules applied. Total rules applied 1161 place count 1219 transition count 2512
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 1167 place count 1213 transition count 2512
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 96 Pre rules applied. Total rules applied 1167 place count 1213 transition count 2416
Deduced a syphon composed of 96 places in 162 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 5 with 192 rules applied. Total rules applied 1359 place count 1117 transition count 2416
Discarding 211 places :
Symmetric choice reduction at 5 with 211 rule applications. Total rules 1570 place count 906 transition count 2134
Iterating global reduction 5 with 211 rules applied. Total rules applied 1781 place count 906 transition count 2134
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1782 place count 906 transition count 2133
Performed 97 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 97 Pre rules applied. Total rules applied 1782 place count 906 transition count 2036
Deduced a syphon composed of 97 places in 15 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 6 with 194 rules applied. Total rules applied 1976 place count 809 transition count 2036
Discarding 22 places :
Symmetric choice reduction at 6 with 22 rule applications. Total rules 1998 place count 787 transition count 1815
Iterating global reduction 6 with 22 rules applied. Total rules applied 2020 place count 787 transition count 1815
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 6 with 13 rules applied. Total rules applied 2033 place count 787 transition count 1802
Performed 253 Post agglomeration using F-continuation condition with reduction of 3 identical transitions.
Deduced a syphon composed of 253 places in 0 ms
Reduce places removed 253 places and 0 transitions.
Iterating global reduction 7 with 506 rules applied. Total rules applied 2539 place count 534 transition count 1546
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 2549 place count 534 transition count 1536
Discarding 25 places :
Symmetric choice reduction at 8 with 25 rule applications. Total rules 2574 place count 509 transition count 1261
Iterating global reduction 8 with 25 rules applied. Total rules applied 2599 place count 509 transition count 1261
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 8 with 10 rules applied. Total rules applied 2609 place count 509 transition count 1251
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 9 with 10 rules applied. Total rules applied 2619 place count 504 transition count 1246
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 2621 place count 502 transition count 1224
Iterating global reduction 9 with 2 rules applied. Total rules applied 2623 place count 502 transition count 1224
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 2625 place count 502 transition count 1222
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: -209
Deduced a syphon composed of 27 places in 1 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 10 with 54 rules applied. Total rules applied 2679 place count 475 transition count 1431
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 2683 place count 475 transition count 1427
Discarding 3 places :
Symmetric choice reduction at 11 with 3 rule applications. Total rules 2686 place count 472 transition count 1375
Iterating global reduction 11 with 3 rules applied. Total rules applied 2689 place count 472 transition count 1375
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 11 with 2 rules applied. Total rules applied 2691 place count 472 transition count 1373
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 21 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 12 with 4 rules applied. Total rules applied 2695 place count 470 transition count 1387
Drop transitions removed 59 transitions
Redundant transition composition rules discarded 59 transitions
Iterating global reduction 12 with 59 rules applied. Total rules applied 2754 place count 470 transition count 1328
Discarding 12 places :
Symmetric choice reduction at 12 with 12 rule applications. Total rules 2766 place count 458 transition count 1304
Iterating global reduction 12 with 12 rules applied. Total rules applied 2778 place count 458 transition count 1304
Discarding 12 places :
Symmetric choice reduction at 12 with 12 rule applications. Total rules 2790 place count 446 transition count 1154
Iterating global reduction 12 with 12 rules applied. Total rules applied 2802 place count 446 transition count 1154
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 12 with 12 rules applied. Total rules applied 2814 place count 446 transition count 1142
Applied a total of 2814 rules in 2600 ms. Remains 446 /2197 variables (removed 1751) and now considering 1142/3542 (removed 2400) transitions.
[2021-05-12 00:32:38] [INFO ] Flatten gal took : 185 ms
[2021-05-12 00:32:39] [INFO ] Flatten gal took : 137 ms
[2021-05-12 00:32:39] [INFO ] Input system was already deterministic with 1142 transitions.
[2021-05-12 00:32:40] [INFO ] Flatten gal took : 949 ms
[2021-05-12 00:32:41] [INFO ] Flatten gal took : 483 ms
[2021-05-12 00:32:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality13201855056216880546.gal : 65 ms
[2021-05-12 00:32:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality14578449505515790067.ctl : 39 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality13201855056216880546.gal, -t, CGAL, -ctl, /tmp/CTLCardinality14578449505515790067.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality13201855056216880546.gal -t CGAL -ctl /tmp/CTLCardinality14578449505515790067.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 00:33:11] [INFO ] Flatten gal took : 435 ms
[2021-05-12 00:33:11] [INFO ] Applying decomposition
[2021-05-12 00:33:12] [INFO ] Flatten gal took : 438 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8326180777494412422.txt, -o, /tmp/graph8326180777494412422.bin, -w, /tmp/graph8326180777494412422.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph8326180777494412422.bin, -l, -1, -v, -w, /tmp/graph8326180777494412422.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 00:33:13] [INFO ] Decomposing Gal with order
[2021-05-12 00:33:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:33:14] [INFO ] Removed a total of 3078 redundant transitions.
[2021-05-12 00:33:15] [INFO ] Flatten gal took : 1227 ms
[2021-05-12 00:33:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 429 labels/synchronizations in 501 ms.
[2021-05-12 00:33:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality3878878786012990936.gal : 39 ms
[2021-05-12 00:33:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality4183718715536969054.ctl : 161 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality3878878786012990936.gal, -t, CGAL, -ctl, /tmp/CTLCardinality4183718715536969054.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality3878878786012990936.gal -t CGAL -ctl /tmp/CTLCardinality4183718715536969054.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 00:33:48] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-12 00:33:48] [INFO ] Flatten gal took : 1089 ms
FORMULA DLCround-PT-07b-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-07b-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-12 00:33:49] [INFO ] Flatten gal took : 859 ms
[2021-05-12 00:33:49] [INFO ] Applying decomposition
[2021-05-12 00:33:50] [INFO ] Flatten gal took : 648 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13104384981583860818.txt, -o, /tmp/graph13104384981583860818.bin, -w, /tmp/graph13104384981583860818.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13104384981583860818.bin, -l, -1, -v, -w, /tmp/graph13104384981583860818.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 00:33:51] [INFO ] Decomposing Gal with order
[2021-05-12 00:33:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:33:56] [INFO ] Removed a total of 2907 redundant transitions.
[2021-05-12 00:33:56] [INFO ] Flatten gal took : 1683 ms
[2021-05-12 00:33:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 571 labels/synchronizations in 1436 ms.
[2021-05-12 00:34:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality18001814467136048518.gal : 407 ms
[2021-05-12 00:34:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality13649519270748590348.ctl : 51 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality18001814467136048518.gal, -t, CGAL, -ctl, /tmp/CTLCardinality13649519270748590348.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality18001814467136048518.gal -t CGAL -ctl /tmp/CTLCardinality13649519270748590348.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 10 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 00:56:31] [INFO ] Applying decomposition
[2021-05-12 00:56:32] [INFO ] Flatten gal took : 1049 ms
[2021-05-12 00:56:32] [INFO ] Decomposing Gal with order
[2021-05-12 00:56:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 00:56:38] [INFO ] Removed a total of 2382 redundant transitions.
[2021-05-12 00:56:39] [INFO ] Flatten gal took : 1308 ms
[2021-05-12 00:57:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 14829 labels/synchronizations in 16008 ms.
[2021-05-12 00:57:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality6474563343786719964.gal : 317 ms
[2021-05-12 00:57:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality15046264602113516835.ctl : 30 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality6474563343786719964.gal, -t, CGAL, -ctl, /tmp/CTLCardinality15046264602113516835.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality6474563343786719964.gal -t CGAL -ctl /tmp/CTLCardinality15046264602113516835.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 10 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 01:20:00] [INFO ] Flatten gal took : 1170 ms
[2021-05-12 01:20:01] [INFO ] Input system was already deterministic with 3542 transitions.
[2021-05-12 01:20:01] [INFO ] Transformed 2197 places.
[2021-05-12 01:20:02] [INFO ] Transformed 3542 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-12 01:20:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality2578395912100238874.gal : 75 ms
[2021-05-12 01:20:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality16644731351480793396.ctl : 92 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality2578395912100238874.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16644731351480793396.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality2578395912100238874.gal -t CGAL -ctl /tmp/CTLCardinality16644731351480793396.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 10 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="DLCround-PT-07b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCround-PT-07b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-tall-162038397100345"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-07b.tgz
mv DLCround-PT-07b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;