About the Execution of ITS-Tools for DiscoveryGPU-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2279.052 | 3600000.00 | 4008991.00 | 16009.70 | TF???????T?????? | 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.r083-tall-162048875200258.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 DiscoveryGPU-PT-07b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048875200258
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K 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.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 10:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 10:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 17:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 17:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:11 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 54K 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 DiscoveryGPU-PT-07b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620785577908
Running Version 0
[2021-05-12 02:13:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -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 02:13:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 02:13:32] [INFO ] Load time of PNML (sax parser for PT used): 594 ms
[2021-05-12 02:13:32] [INFO ] Transformed 212 places.
[2021-05-12 02:13:32] [INFO ] Transformed 224 transitions.
[2021-05-12 02:13:32] [INFO ] Found NUPN structural information;
[2021-05-12 02:13:32] [INFO ] Parsed PT model containing 212 places and 224 transitions in 1388 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 275 ms.
[2021-05-12 02:13:33] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-12 02:13:33] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-12 02:13:33] [INFO ] Reduced 1 identical enabling conditions.
[2021-05-12 02:13:33] [INFO ] Reduced 1 identical enabling conditions.
Support contains 179 out of 212 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 212/212 places, 224/224 transitions.
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 198 transition count 224
Applied a total of 14 rules in 356 ms. Remains 198 /212 variables (removed 14) and now considering 224/224 (removed 0) transitions.
// Phase 1: matrix 224 rows 198 cols
[2021-05-12 02:13:35] [INFO ] Computed 2 place invariants in 125 ms
[2021-05-12 02:13:37] [INFO ] Implicit Places using invariants in 2580 ms returned []
// Phase 1: matrix 224 rows 198 cols
[2021-05-12 02:13:37] [INFO ] Computed 2 place invariants in 88 ms
[2021-05-12 02:13:39] [INFO ] Implicit Places using invariants and state equation in 1708 ms returned []
Implicit Place search using SMT with State Equation took 4961 ms to find 0 implicit places.
// Phase 1: matrix 224 rows 198 cols
[2021-05-12 02:13:39] [INFO ] Computed 2 place invariants in 3 ms
[2021-05-12 02:13:41] [INFO ] Dead Transitions using invariants and state equation in 1787 ms returned []
Finished structural reductions, in 1 iterations. Remains : 198/212 places, 224/224 transitions.
[2021-05-12 02:13:44] [INFO ] Flatten gal took : 700 ms
[2021-05-12 02:13:45] [INFO ] Flatten gal took : 280 ms
[2021-05-12 02:13:46] [INFO ] Input system was already deterministic with 224 transitions.
Finished random walk after 19565 steps, including 85 resets, run visited all 71 properties in 1596 ms. (steps per millisecond=12 )
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 197 transition count 184
Reduce places removed 39 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 42 rules applied. Total rules applied 81 place count 158 transition count 181
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 84 place count 155 transition count 181
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 12 Pre rules applied. Total rules applied 84 place count 155 transition count 169
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 3 with 24 rules applied. Total rules applied 108 place count 143 transition count 169
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 120 place count 131 transition count 157
Iterating global reduction 3 with 12 rules applied. Total rules applied 132 place count 131 transition count 157
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 137 place count 126 transition count 152
Iterating global reduction 3 with 5 rules applied. Total rules applied 142 place count 126 transition count 152
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 147 place count 121 transition count 147
Iterating global reduction 3 with 5 rules applied. Total rules applied 152 place count 121 transition count 147
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 157 place count 116 transition count 142
Iterating global reduction 3 with 5 rules applied. Total rules applied 162 place count 116 transition count 142
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 166 place count 112 transition count 134
Iterating global reduction 3 with 4 rules applied. Total rules applied 170 place count 112 transition count 134
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 173 place count 109 transition count 131
Iterating global reduction 3 with 3 rules applied. Total rules applied 176 place count 109 transition count 131
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 3 with 76 rules applied. Total rules applied 252 place count 71 transition count 93
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 254 place count 69 transition count 89
Iterating global reduction 3 with 2 rules applied. Total rules applied 256 place count 69 transition count 89
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 258 place count 67 transition count 87
Iterating global reduction 3 with 2 rules applied. Total rules applied 260 place count 67 transition count 87
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 262 place count 65 transition count 83
Iterating global reduction 3 with 2 rules applied. Total rules applied 264 place count 65 transition count 83
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 265 place count 64 transition count 82
Iterating global reduction 3 with 1 rules applied. Total rules applied 266 place count 64 transition count 82
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 268 place count 63 transition count 82
Partial Post-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 272 place count 63 transition count 82
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 273 place count 62 transition count 81
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 274 place count 61 transition count 80
Applied a total of 274 rules in 1749 ms. Remains 61 /198 variables (removed 137) and now considering 80/224 (removed 144) transitions.
[2021-05-12 02:13:51] [INFO ] Flatten gal took : 59 ms
[2021-05-12 02:13:51] [INFO ] Flatten gal took : 90 ms
[2021-05-12 02:13:51] [INFO ] Input system was already deterministic with 80 transitions.
[2021-05-12 02:13:51] [INFO ] Flatten gal took : 74 ms
[2021-05-12 02:13:51] [INFO ] Flatten gal took : 64 ms
[2021-05-12 02:13:52] [INFO ] Time to serialize gal into /tmp/CTLFireability4193250026991633559.gal : 93 ms
[2021-05-12 02:13:52] [INFO ] Time to serialize properties into /tmp/CTLFireability15636966313530171956.ctl : 29 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/CTLFireability4193250026991633559.gal, -t, CGAL, -ctl, /tmp/CTLFireability15636966313530171956.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/CTLFireability4193250026991633559.gal -t CGAL -ctl /tmp/CTLFireability15636966313530171956.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,6.43527e+07,1.90932,8224,2,914,5,22339,6,0,319,15626,0
Converting to forward existential form...Done !
original formula: EG(EF(((((((((((p64==1)||(p192==1))||(p23==1))||(p138==1))||(p137==1))||(p45==1))||(p79==1))||((p175==1)&&(p203==1)))||((p17==1)&&(p210==1)))||((p109==1)&&(p210==1)))))
=> equivalent forward existential formula: [FwdG(Init,E(TRUE U ((((((((((p64==1)||(p192==1))||(p23==1))||(p138==1))||(p137==1))||(p45==1))||(p79==1))||((p175==1)&&(p203==1)))||((p17==1)&&(p210==1)))||((p109==1)&&(p210==1)))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t2, t6, t8, t13, t18, t25, t31, t32, t41, t52, t55, t61, t69, t72, t73, t74, t75, t77, t78, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/61/19/80
Detected timeout of ITS tools.
[2021-05-12 02:14:23] [INFO ] Flatten gal took : 189 ms
[2021-05-12 02:14:23] [INFO ] Applying decomposition
[2021-05-12 02:14:23] [INFO ] Flatten gal took : 110 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/graph14868466733513826532.txt, -o, /tmp/graph14868466733513826532.bin, -w, /tmp/graph14868466733513826532.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/graph14868466733513826532.bin, -l, -1, -v, -w, /tmp/graph14868466733513826532.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:14:24] [INFO ] Decomposing Gal with order
[2021-05-12 02:14:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:14:24] [INFO ] Removed a total of 28 redundant transitions.
[2021-05-12 02:14:25] [INFO ] Flatten gal took : 626 ms
[2021-05-12 02:14:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 13 labels/synchronizations in 50 ms.
[2021-05-12 02:14:25] [INFO ] Time to serialize gal into /tmp/CTLFireability10339194197883831068.gal : 123 ms
[2021-05-12 02:14:25] [INFO ] Time to serialize properties into /tmp/CTLFireability14349386716272422513.ctl : 1 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/CTLFireability10339194197883831068.gal, -t, CGAL, -ctl, /tmp/CTLFireability14349386716272422513.ctl], 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/CTLFireability10339194197883831068.gal -t CGAL -ctl /tmp/CTLFireability14349386716272422513.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 197 transition count 188
Reduce places removed 35 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 1 with 42 rules applied. Total rules applied 77 place count 162 transition count 181
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 84 place count 155 transition count 181
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 84 place count 155 transition count 171
Deduced a syphon composed of 10 places in 2 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 104 place count 145 transition count 171
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 116 place count 133 transition count 159
Iterating global reduction 3 with 12 rules applied. Total rules applied 128 place count 133 transition count 159
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 134 place count 127 transition count 153
Iterating global reduction 3 with 6 rules applied. Total rules applied 140 place count 127 transition count 153
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 144 place count 123 transition count 149
Iterating global reduction 3 with 4 rules applied. Total rules applied 148 place count 123 transition count 149
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 151 place count 120 transition count 146
Iterating global reduction 3 with 3 rules applied. Total rules applied 154 place count 120 transition count 146
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 156 place count 118 transition count 142
Iterating global reduction 3 with 2 rules applied. Total rules applied 158 place count 118 transition count 142
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 159 place count 117 transition count 141
Iterating global reduction 3 with 1 rules applied. Total rules applied 160 place count 117 transition count 141
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 1 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 226 place count 84 transition count 108
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 228 place count 83 transition count 108
Partial Post-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 3 with 5 rules applied. Total rules applied 233 place count 83 transition count 108
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 234 place count 82 transition count 107
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 235 place count 81 transition count 106
Applied a total of 235 rules in 646 ms. Remains 81 /198 variables (removed 117) and now considering 106/224 (removed 118) transitions.
[2021-05-12 02:14:56] [INFO ] Flatten gal took : 55 ms
[2021-05-12 02:14:56] [INFO ] Flatten gal took : 54 ms
[2021-05-12 02:14:56] [INFO ] Input system was already deterministic with 106 transitions.
[2021-05-12 02:14:56] [INFO ] Flatten gal took : 136 ms
[2021-05-12 02:14:57] [INFO ] Flatten gal took : 194 ms
[2021-05-12 02:14:57] [INFO ] Time to serialize gal into /tmp/CTLFireability3728322030256001614.gal : 2 ms
[2021-05-12 02:14:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16182269627829792929.ctl : 76 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/CTLFireability3728322030256001614.gal, -t, CGAL, -ctl, /tmp/CTLFireability16182269627829792929.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/CTLFireability3728322030256001614.gal -t CGAL -ctl /tmp/CTLFireability16182269627829792929.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,2.27122e+08,9.42085,22500,2,4910,5,108860,6,0,425,79640,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-12 02:15:27] [INFO ] Flatten gal took : 60 ms
[2021-05-12 02:15:27] [INFO ] Applying decomposition
[2021-05-12 02:15:27] [INFO ] Flatten gal took : 89 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/graph987126785490902568.txt, -o, /tmp/graph987126785490902568.bin, -w, /tmp/graph987126785490902568.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/graph987126785490902568.bin, -l, -1, -v, -w, /tmp/graph987126785490902568.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:15:27] [INFO ] Decomposing Gal with order
[2021-05-12 02:15:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:15:28] [INFO ] Removed a total of 32 redundant transitions.
[2021-05-12 02:15:28] [INFO ] Flatten gal took : 155 ms
[2021-05-12 02:15:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 57 ms.
[2021-05-12 02:15:28] [INFO ] Time to serialize gal into /tmp/CTLFireability11456577737376064186.gal : 98 ms
[2021-05-12 02:15:28] [INFO ] Time to serialize properties into /tmp/CTLFireability1665705266074641659.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/CTLFireability11456577737376064186.gal, -t, CGAL, -ctl, /tmp/CTLFireability1665705266074641659.ctl], 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/CTLFireability11456577737376064186.gal -t CGAL -ctl /tmp/CTLFireability1665705266074641659.ctl
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,2.27122e+08,28.6261,74492,1057,1297,45242,47048,290,383680,152,620030,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 197 transition count 188
Reduce places removed 35 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 1 with 45 rules applied. Total rules applied 80 place count 162 transition count 178
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 90 place count 152 transition count 178
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 8 Pre rules applied. Total rules applied 90 place count 152 transition count 170
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 3 with 16 rules applied. Total rules applied 106 place count 144 transition count 170
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 117 place count 133 transition count 159
Iterating global reduction 3 with 11 rules applied. Total rules applied 128 place count 133 transition count 159
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 128 place count 133 transition count 158
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 130 place count 132 transition count 158
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 136 place count 126 transition count 152
Iterating global reduction 3 with 6 rules applied. Total rules applied 142 place count 126 transition count 152
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 148 place count 120 transition count 146
Iterating global reduction 3 with 6 rules applied. Total rules applied 154 place count 120 transition count 146
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 159 place count 115 transition count 141
Iterating global reduction 3 with 5 rules applied. Total rules applied 164 place count 115 transition count 141
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 167 place count 112 transition count 135
Iterating global reduction 3 with 3 rules applied. Total rules applied 170 place count 112 transition count 135
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 173 place count 109 transition count 132
Iterating global reduction 3 with 3 rules applied. Total rules applied 176 place count 109 transition count 132
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 0 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 3 with 62 rules applied. Total rules applied 238 place count 78 transition count 101
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 239 place count 77 transition count 99
Iterating global reduction 3 with 1 rules applied. Total rules applied 240 place count 77 transition count 99
Partial Post-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 244 place count 77 transition count 99
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 245 place count 76 transition count 98
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 3 with 5 rules applied. Total rules applied 250 place count 75 transition count 94
Reduce places removed 4 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 7 rules applied. Total rules applied 257 place count 71 transition count 91
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 260 place count 68 transition count 91
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 0 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 6 with 22 rules applied. Total rules applied 282 place count 57 transition count 80
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 284 place count 56 transition count 80
Applied a total of 284 rules in 667 ms. Remains 56 /198 variables (removed 142) and now considering 80/224 (removed 144) transitions.
[2021-05-12 02:15:59] [INFO ] Flatten gal took : 41 ms
[2021-05-12 02:15:59] [INFO ] Flatten gal took : 90 ms
[2021-05-12 02:15:59] [INFO ] Input system was already deterministic with 80 transitions.
[2021-05-12 02:15:59] [INFO ] Flatten gal took : 5 ms
[2021-05-12 02:15:59] [INFO ] Flatten gal took : 7 ms
[2021-05-12 02:15:59] [INFO ] Time to serialize gal into /tmp/CTLFireability11039955006958618400.gal : 22 ms
[2021-05-12 02:15:59] [INFO ] Time to serialize properties into /tmp/CTLFireability2203364888264449536.ctl : 10 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/CTLFireability11039955006958618400.gal, -t, CGAL, -ctl, /tmp/CTLFireability2203364888264449536.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/CTLFireability11039955006958618400.gal -t CGAL -ctl /tmp/CTLFireability2203364888264449536.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,9.58939e+06,5.95439,16716,2,3406,5,57309,6,0,292,67244,0
Converting to forward existential form...Done !
original formula: !(E(A(((((((((p160==1)||(p183==1))||(p88==1))||((p71==1)&&(p210==1)))||(p26==1))||(p111==1))||(p143==1))&&(p97==0)) U EG((((p150==1)&&(p210==1))||(p191==1)))) U (AF(AG((((p2==1)||((p163==1)&&(p210==1)))||(p53==1)))) * !(AG(AF(((((((((p194==1)||(p50==1))||(p53==1))||(p52==1))||((p55==1)&&(p210==1)))||(p70==1))||(p127==1))||(p46==1))))))))
=> equivalent forward existential formula: [FwdG(FwdU((FwdU(Init,!((E(!(EG((((p150==1)&&(p210==1))||(p191==1)))) U (!(((((((((p160==1)||(p183==1))||(p88==1))||((p71==1)&&(p210==1)))||(p26==1))||(p111==1))||(p143==1))&&(p97==0))) * !(EG((((p150==1)&&(p210==1))||(p191==1)))))) + EG(!(EG((((p150==1)&&(p210==1))||(p191==1)))))))) * !(EG(!(!(E(TRUE U !((((p2==1)||((p163==1)&&(p210==1)))||(p53==1))))))))),TRUE),!(((((((((p194==1)||(p50==1))||(p53==1))||(p52==1))||((p55==1)&&(p210==1)))||(p70==1))||(p127==1))||(p46==1))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t4, t9, t11, t20, t21, t22, t24, t28, t38, t39, t56, t59, t60, t61, t62, t63, t64, t66, t68, t70, t74, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/59/21/80
Detected timeout of ITS tools.
[2021-05-12 02:16:30] [INFO ] Flatten gal took : 32 ms
[2021-05-12 02:16:30] [INFO ] Applying decomposition
[2021-05-12 02:16:30] [INFO ] Flatten gal took : 4 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/graph12955581800923648915.txt, -o, /tmp/graph12955581800923648915.bin, -w, /tmp/graph12955581800923648915.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/graph12955581800923648915.bin, -l, -1, -v, -w, /tmp/graph12955581800923648915.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:16:30] [INFO ] Decomposing Gal with order
[2021-05-12 02:16:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:16:30] [INFO ] Removed a total of 30 redundant transitions.
[2021-05-12 02:16:30] [INFO ] Flatten gal took : 41 ms
[2021-05-12 02:16:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 1 ms.
[2021-05-12 02:16:30] [INFO ] Time to serialize gal into /tmp/CTLFireability9607527833618930323.gal : 49 ms
[2021-05-12 02:16:30] [INFO ] Time to serialize properties into /tmp/CTLFireability10412281188984510102.ctl : 4 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/CTLFireability9607527833618930323.gal, -t, CGAL, -ctl, /tmp/CTLFireability10412281188984510102.ctl], 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/CTLFireability9607527833618930323.gal -t CGAL -ctl /tmp/CTLFireability10412281188984510102.ctl
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,9.58939e+06,0.97557,6988,282,83,4714,649,191,11526,46,3097,0
Converting to forward existential form...Done !
original formula: !(E(A(((((((((i6.u16.p160==1)||(i8.u18.p183==1))||(u10.p88==1))||((i0.u7.p71==1)&&(i7.u22.p210==1)))||(i8.u2.p26==1))||(u10.p111==1))||(i6.u13.p143==1))&&(i1.u1.p97==0)) U EG((((i7.u14.p150==1)&&(i7.u22.p210==1))||(i9.u19.p191==1)))) U (AF(AG((((i5.u0.p2==1)||((i6.u17.p163==1)&&(i7.u22.p210==1)))||(i2.u5.p53==1)))) * !(AG(AF(((((((((i9.u21.p194==1)||(i2.u5.p50==1))||(i2.u5.p53==1))||(i2.u5.p52==1))||((u6.p55==1)&&(i7.u22.p210==1)))||(i1.u1.p70==1))||(i8.u11.p127==1))||(i2.u4.p46==1))))))))
=> equivalent forward existential formula: [FwdG(FwdU((FwdU(Init,!((E(!(EG((((i7.u14.p150==1)&&(i7.u22.p210==1))||(i9.u19.p191==1)))) U (!(((((((((i6.u16.p160==1)||(i8.u18.p183==1))||(u10.p88==1))||((i0.u7.p71==1)&&(i7.u22.p210==1)))||(i8.u2.p26==1))||(u10.p111==1))||(i6.u13.p143==1))&&(i1.u1.p97==0))) * !(EG((((i7.u14.p150==1)&&(i7.u22.p210==1))||(i9.u19.p191==1)))))) + EG(!(EG((((i7.u14.p150==1)&&(i7.u22.p210==1))||(i9.u19.p191==1)))))))) * !(EG(!(!(E(TRUE U !((((i5.u0.p2==1)||((i6.u17.p163==1)&&(i7.u22.p210==1)))||(i2.u5.p53==1))))))))),TRUE),!(((((((((i9.u21.p194==1)||(i2.u5.p50==1))||(i2.u5.p53==1))||(i2.u5.p52==1))||((u6.p55==1)&&(i7.u22.p210==1)))||(i1.u1.p70==1))||(i8.u11.p127==1))||(i2.u4.p46==1))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t24, t38, t61, t63, t66, t68, t70, t74, i1.u1.t9, i1.u1.t11, i1.u1.t59, i1.u1.t60, i2.u5.t20, i6.u16.t21, i7.t64, i7.t62, i8.t39, i8.t4, i8.u2.t22, i8.u2.t56, i8.u11.t28, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/58/21/79
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found a local SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
(forward)formula 0,1,11.6331,32448,1,0,43906,1988,1163,150705,258,17463,37942
FORMULA DiscoveryGPU-PT-07b-CTLFireability-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 197 transition count 204
Reduce places removed 19 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 1 with 30 rules applied. Total rules applied 49 place count 178 transition count 193
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 60 place count 167 transition count 193
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 8 Pre rules applied. Total rules applied 60 place count 167 transition count 185
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 3 with 16 rules applied. Total rules applied 76 place count 159 transition count 185
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 88 place count 147 transition count 173
Iterating global reduction 3 with 12 rules applied. Total rules applied 100 place count 147 transition count 173
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 104 place count 143 transition count 169
Iterating global reduction 3 with 4 rules applied. Total rules applied 108 place count 143 transition count 169
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 111 place count 140 transition count 166
Iterating global reduction 3 with 3 rules applied. Total rules applied 114 place count 140 transition count 166
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 116 place count 138 transition count 164
Iterating global reduction 3 with 2 rules applied. Total rules applied 118 place count 138 transition count 164
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 119 place count 137 transition count 162
Iterating global reduction 3 with 1 rules applied. Total rules applied 120 place count 137 transition count 162
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 168 place count 113 transition count 138
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 170 place count 112 transition count 138
Partial Post-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 3 with 5 rules applied. Total rules applied 175 place count 112 transition count 138
Applied a total of 175 rules in 454 ms. Remains 112 /198 variables (removed 86) and now considering 138/224 (removed 86) transitions.
[2021-05-12 02:16:42] [INFO ] Flatten gal took : 82 ms
[2021-05-12 02:16:42] [INFO ] Flatten gal took : 34 ms
[2021-05-12 02:16:42] [INFO ] Input system was already deterministic with 138 transitions.
[2021-05-12 02:16:42] [INFO ] Flatten gal took : 24 ms
[2021-05-12 02:16:42] [INFO ] Flatten gal took : 19 ms
[2021-05-12 02:16:42] [INFO ] Time to serialize gal into /tmp/CTLFireability161908171059502471.gal : 3 ms
[2021-05-12 02:16:42] [INFO ] Time to serialize properties into /tmp/CTLFireability5659024584148288015.ctl : 25 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/CTLFireability161908171059502471.gal, -t, CGAL, -ctl, /tmp/CTLFireability5659024584148288015.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/CTLFireability161908171059502471.gal -t CGAL -ctl /tmp/CTLFireability5659024584148288015.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 02:17:13] [INFO ] Flatten gal took : 100 ms
[2021-05-12 02:17:13] [INFO ] Applying decomposition
[2021-05-12 02:17:13] [INFO ] Flatten gal took : 202 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/graph12430961621225617445.txt, -o, /tmp/graph12430961621225617445.bin, -w, /tmp/graph12430961621225617445.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/graph12430961621225617445.bin, -l, -1, -v, -w, /tmp/graph12430961621225617445.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:17:13] [INFO ] Decomposing Gal with order
[2021-05-12 02:17:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:17:13] [INFO ] Removed a total of 47 redundant transitions.
[2021-05-12 02:17:13] [INFO ] Flatten gal took : 77 ms
[2021-05-12 02:17:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 4 ms.
[2021-05-12 02:17:13] [INFO ] Time to serialize gal into /tmp/CTLFireability8289873507562616101.gal : 39 ms
[2021-05-12 02:17:13] [INFO ] Time to serialize properties into /tmp/CTLFireability631231306213494991.ctl : 1 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/CTLFireability8289873507562616101.gal, -t, CGAL, -ctl, /tmp/CTLFireability631231306213494991.ctl], 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/CTLFireability8289873507562616101.gal -t CGAL -ctl /tmp/CTLFireability631231306213494991.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 197 transition count 184
Reduce places removed 39 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 43 rules applied. Total rules applied 82 place count 158 transition count 180
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 86 place count 154 transition count 180
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 86 place count 154 transition count 170
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 106 place count 144 transition count 170
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 120 place count 130 transition count 156
Iterating global reduction 3 with 14 rules applied. Total rules applied 134 place count 130 transition count 156
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 134 place count 130 transition count 155
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 136 place count 129 transition count 155
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 138 place count 127 transition count 153
Iterating global reduction 3 with 2 rules applied. Total rules applied 140 place count 127 transition count 153
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 142 place count 125 transition count 151
Iterating global reduction 3 with 2 rules applied. Total rules applied 144 place count 125 transition count 151
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 146 place count 123 transition count 149
Iterating global reduction 3 with 2 rules applied. Total rules applied 148 place count 123 transition count 149
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 150 place count 121 transition count 145
Iterating global reduction 3 with 2 rules applied. Total rules applied 152 place count 121 transition count 145
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 154 place count 119 transition count 143
Iterating global reduction 3 with 2 rules applied. Total rules applied 156 place count 119 transition count 143
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 3 with 76 rules applied. Total rules applied 232 place count 81 transition count 105
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 236 place count 81 transition count 101
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 237 place count 81 transition count 101
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 238 place count 80 transition count 100
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 3 with 5 rules applied. Total rules applied 243 place count 79 transition count 96
Reduce places removed 4 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 4 with 6 rules applied. Total rules applied 249 place count 75 transition count 94
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 252 place count 73 transition count 93
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 10 Pre rules applied. Total rules applied 252 place count 73 transition count 83
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 6 with 20 rules applied. Total rules applied 272 place count 63 transition count 83
Applied a total of 272 rules in 613 ms. Remains 63 /198 variables (removed 135) and now considering 83/224 (removed 141) transitions.
[2021-05-12 02:17:44] [INFO ] Flatten gal took : 32 ms
[2021-05-12 02:17:44] [INFO ] Flatten gal took : 46 ms
[2021-05-12 02:17:44] [INFO ] Input system was already deterministic with 83 transitions.
[2021-05-12 02:17:44] [INFO ] Flatten gal took : 35 ms
[2021-05-12 02:17:44] [INFO ] Flatten gal took : 46 ms
[2021-05-12 02:17:44] [INFO ] Time to serialize gal into /tmp/CTLFireability12954029992192264896.gal : 91 ms
[2021-05-12 02:17:44] [INFO ] Time to serialize properties into /tmp/CTLFireability16474698118221203132.ctl : 1 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/CTLFireability12954029992192264896.gal, -t, CGAL, -ctl, /tmp/CTLFireability16474698118221203132.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/CTLFireability12954029992192264896.gal -t CGAL -ctl /tmp/CTLFireability16474698118221203132.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.24336e+07,9.59403,25860,2,2908,5,116718,6,0,335,83035,0
Converting to forward existential form...Done !
original formula: AG(E(A(!(EF(((((((p16==1)||(p126==1))||((p94==1)&&(p203==1)))||((p74==1)&&(p203==1)))||(p46==1))||(p188==1)))) U (((((((((p16==0)&&(p2==0))&&(p6==0))&&(p117==0))&&(p63==0))&&((p175==0)||(p203==0)))&&((p157==0)||(p203==0)))&&((p13==0)||(p203==0)))&&((p130==0)||(p203==0)))) U ((p39==1)||((p182==1)&&(p203==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(!((E(!((((((((((p16==0)&&(p2==0))&&(p6==0))&&(p117==0))&&(p63==0))&&((p175==0)||(p203==0)))&&((p157==0)||(p203==0)))&&((p13==0)||(p203==0)))&&((p130==0)||(p203==0)))) U (!(!(E(TRUE U ((((((p16==1)||(p126==1))||((p94==1)&&(p203==1)))||((p74==1)&&(p203==1)))||(p46==1))||(p188==1))))) * !((((((((((p16==0)&&(p2==0))&&(p6==0))&&(p117==0))&&(p63==0))&&((p175==0)||(p203==0)))&&((p157==0)||(p203==0)))&&((p13==0)||(p203==0)))&&((p130==0)||(p203==0)))))) + EG(!((((((((((p16==0)&&(p2==0))&&(p6==0))&&(p117==0))&&(p63==0))&&((p175==0)||(p203==0)))&&((p157==0)||(p203==0)))&&((p13==0)||(p203==0)))&&((p130==0)||(p203==0))))))) U ((p39==1)||((p182==1)&&(p203==1))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t5, t20, t23, t27, t28, t29, t53, t64, t67, t70, t71, t72, t75, t77, t79, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/68/15/83
Detected timeout of ITS tools.
[2021-05-12 02:18:14] [INFO ] Flatten gal took : 34 ms
[2021-05-12 02:18:14] [INFO ] Applying decomposition
[2021-05-12 02:18:15] [INFO ] Flatten gal took : 113 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/graph4268531065033347401.txt, -o, /tmp/graph4268531065033347401.bin, -w, /tmp/graph4268531065033347401.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/graph4268531065033347401.bin, -l, -1, -v, -w, /tmp/graph4268531065033347401.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:18:15] [INFO ] Decomposing Gal with order
[2021-05-12 02:18:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:18:15] [INFO ] Removed a total of 29 redundant transitions.
[2021-05-12 02:18:15] [INFO ] Flatten gal took : 43 ms
[2021-05-12 02:18:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 23 labels/synchronizations in 2 ms.
[2021-05-12 02:18:15] [INFO ] Time to serialize gal into /tmp/CTLFireability7582511289455787141.gal : 57 ms
[2021-05-12 02:18:15] [INFO ] Time to serialize properties into /tmp/CTLFireability2078068736468384902.ctl : 1 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/CTLFireability7582511289455787141.gal, -t, CGAL, -ctl, /tmp/CTLFireability2078068736468384902.ctl], 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/CTLFireability7582511289455787141.gal -t CGAL -ctl /tmp/CTLFireability2078068736468384902.ctl
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.24336e+07,10.9782,33272,709,246,42597,30259,212,148993,120,147191,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-12 02:18:45] [INFO ] Flatten gal took : 73 ms
[2021-05-12 02:18:46] [INFO ] Flatten gal took : 150 ms
[2021-05-12 02:18:46] [INFO ] Applying decomposition
[2021-05-12 02:18:46] [INFO ] Flatten gal took : 110 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/graph1357342159879396619.txt, -o, /tmp/graph1357342159879396619.bin, -w, /tmp/graph1357342159879396619.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/graph1357342159879396619.bin, -l, -1, -v, -w, /tmp/graph1357342159879396619.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 02:18:47] [INFO ] Decomposing Gal with order
[2021-05-12 02:18:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:18:47] [INFO ] Removed a total of 58 redundant transitions.
[2021-05-12 02:18:47] [INFO ] Flatten gal took : 206 ms
[2021-05-12 02:18:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 26 ms.
[2021-05-12 02:18:48] [INFO ] Time to serialize gal into /tmp/CTLFireability994299070653952948.gal : 98 ms
[2021-05-12 02:18:48] [INFO ] Time to serialize properties into /tmp/CTLFireability5530523368279717509.ctl : 157 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/CTLFireability994299070653952948.gal, -t, CGAL, -ctl, /tmp/CTLFireability5530523368279717509.ctl], 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/CTLFireability994299070653952948.gal -t CGAL -ctl /tmp/CTLFireability5530523368279717509.ctl
No direction supplied, using forward translation only.
Parsed 15 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.3754e+11,10.7933,28116,1470,56,47756,318,389,81115,52,1459,0
Converting to forward existential form...Done !
original formula: EG(EF(((((((((((i7.u23.p64==1)||(i22.i1.u65.p192==1))||(i2.i1.u7.p23==1))||(i15.i0.u40.p138==1))||(i15.i0.u47.p137==1))||(i4.u16.p45==1))||(i8.i1.u27.p79==1))||((i21.u59.p175==1)&&(u67.p203==1)))||((i2.i0.u5.p17==1)&&(i24.u70.p210==1)))||((i12.u37.p109==1)&&(i24.u70.p210==1)))))
=> equivalent forward existential formula: [FwdG(Init,E(TRUE U ((((((((((i7.u23.p64==1)||(i22.i1.u65.p192==1))||(i2.i1.u7.p23==1))||(i15.i0.u40.p138==1))||(i15.i0.u47.p137==1))||(i4.u16.p45==1))||(i8.i1.u27.p79==1))||((i21.u59.p175==1)&&(u67.p203==1)))||((i2.i0.u5.p17==1)&&(i24.u70.p210==1)))||((i12.u37.p109==1)&&(i24.u70.p210==1)))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t9, u67.t11, u67.t12, u67.t14, i1.t142, i1.u3.t140, i1.u3.t216, i2.i0.u6.t136, i2.i0.u6.t144, i2.i1.u8.t217, i3.u10.t130, i3.u10.t146, i4.u13.t118, i4.u13.t126, i5.t124, i5.u14.t122, i5.u14.t218, i6.i0.u12.t112, i6.i0.u12.t128, i6.i1.u18.t219, i7.t105, i7.u22.t103, i7.u22.t215, i8.i0.u25.t99, i8.i0.u25.t107, i8.i1.u27.t214, i9.u21.t93, i9.u21.t109, i10.i0.u31.t80, i10.i0.u31.t88, i10.i1.u36.t221, i11.t86, i11.u32.t84, i11.u32.t220, i12.u38.t74, i12.u38.t90, i13.u41.t61, i13.u41.t69, i14.t67, i14.u42.t65, i14.u42.t213, i15.i0.u40.t55, i15.i0.u40.t71, i15.i1.u46.t212, i16.u48.t42, i16.u48.t50, i17.t48, i17.u49.t46, i17.u49.t222, i18.i0.u53.t223, i18.i1.u55.t36, i18.i1.u55.t52, i20.u58.t23, i20.u58.t31, i21.t29, i21.u59.t27, i21.u59.t211, i22.i0.u63.t210, i22.i1.u65.t17, i22.i1.u65.t33, i24.t3, i24.u70.t4, i24.u70.t6, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/161/63/224
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
(forward)formula 0,1,715.122,1025804,1,0,1.78169e+06,482,2428,3.18475e+06,253,2341,2156907
FORMULA DiscoveryGPU-PT-07b-CTLFireability-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: !(E(AX(((i22.i0.u63.p187==0)&&(i13.u44.p126==0))) U !(AG(AF(((i6.i0.u12.p57==1)||(i22.i1.u65.p192==1)))))))
=> equivalent forward existential formula: [FwdG(FwdU(FwdU(Init,!(EX(!(((i22.i0.u63.p187==0)&&(i13.u44.p126==0)))))),TRUE),!(((i6.i0.u12.p57==1)||(i22.i1.u65.p192==1))))] = FALSE
(forward)formula 1,0,860.592,1229516,1,0,2.15356e+06,533,2883,3.78829e+06,274,2648,2732546
FORMULA DiscoveryGPU-PT-07b-CTLFireability-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
Detected timeout of ITS tools.
[2021-05-12 02:40:34] [INFO ] Applying decomposition
[2021-05-12 02:40:34] [INFO ] Flatten gal took : 111 ms
[2021-05-12 02:40:34] [INFO ] Decomposing Gal with order
[2021-05-12 02:40:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 02:40:35] [INFO ] Removed a total of 58 redundant transitions.
[2021-05-12 02:40:35] [INFO ] Flatten gal took : 260 ms
[2021-05-12 02:40:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 299 labels/synchronizations in 86 ms.
[2021-05-12 02:40:35] [INFO ] Time to serialize gal into /tmp/CTLFireability4771926700501486564.gal : 69 ms
[2021-05-12 02:40:36] [INFO ] Time to serialize properties into /tmp/CTLFireability13788359732526021103.ctl : 71 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/CTLFireability4771926700501486564.gal, -t, CGAL, -ctl, /tmp/CTLFireability13788359732526021103.ctl], 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/CTLFireability4771926700501486564.gal -t CGAL -ctl /tmp/CTLFireability13788359732526021103.ctl
No direction supplied, using forward translation only.
Parsed 13 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.3754e+11,201.836,381584,427,567,592447,60770,161,1.94427e+06,146,884318,0
Converting to forward existential form...Done !
original formula: (EX(AF(((i0.i0.i0.i0.i0.i0.u8.p57==1)&&(((((((i0.u13.p183==1)||(i0.i0.i0.i0.i0.u9.p64==1))||(i0.i0.i0.i0.i0.i0.u8.p53==1))||((i0.u13.p184==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u8.p45==1))||((i0.i0.i0.i0.i0.i0.u8.p58==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u7.p30==1))))) * AF((AF(((((((i0.i0.u12.p167==1)||(i0.i0.i0.i0.u10.p91==1))||(i0.i0.i0.i0.i0.i0.u8.p59==1))||(i0.i0.i0.u11.p126==1))||(i0.i0.i0.i0.u10.p95==1))||(i0.i0.i0.i0.i0.i0.u8.p46==1))) * EX(AF((((((((((i0.i0.i0.u11.p131==1)||((i0.i0.i0.i0.i0.i0.u7.p27==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u7.p19==1))||((i0.i0.i0.u11.p121==1)&&(i1.u15.p203==1)))||(i0.i0.u12.p154==1))||((i0.u13.p195==1)&&(i1.u15.p203==1)))||((i0.i0.i0.i0.u10.p94==1)&&(i1.u15.p203==1)))||(i1.u15.p205==1))||(i0.i0.i0.i0.i0.i0.u8.p46==1)))))))
=> equivalent forward existential formula: ([(Init * !(EX(!(EG(!(((i0.i0.i0.i0.i0.i0.u8.p57==1)&&(((((((i0.u13.p183==1)||(i0.i0.i0.i0.i0.u9.p64==1))||(i0.i0.i0.i0.i0.i0.u8.p53==1))||((i0.u13.p184==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u8.p45==1))||((i0.i0.i0.i0.i0.i0.u8.p58==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u7.p30==1)))))))))] = FALSE * [FwdG(Init,!((!(EG(!(((((((i0.i0.u12.p167==1)||(i0.i0.i0.i0.u10.p91==1))||(i0.i0.i0.i0.i0.i0.u8.p59==1))||(i0.i0.i0.u11.p126==1))||(i0.i0.i0.i0.u10.p95==1))||(i0.i0.i0.i0.i0.i0.u8.p46==1))))) * EX(!(EG(!((((((((((i0.i0.i0.u11.p131==1)||((i0.i0.i0.i0.i0.i0.u7.p27==1)&&(i1.u15.p203==1)))||(i0.i0.i0.i0.i0.i0.u7.p19==1))||((i0.i0.i0.u11.p121==1)&&(i1.u15.p203==1)))||(i0.i0.u12.p154==1))||((i0.u13.p195==1)&&(i1.u15.p203==1)))||((i0.i0.i0.i0.u10.p94==1)&&(i1.u15.p203==1)))||(i1.u15.p205==1))||(i0.i0.i0.i0.i0.i0.u8.p46==1)))))))))] = FALSE)
Reverse transition relation is NOT exact ! Due to transitions i0.u13.t17, i0.u13.t23, i0.u13.t27, i0.u13.t29, i0.u13.t31, i0.u13.t33, i0.u13.t210, i0.u13.t211, i0.i0.u12.t36, i0.i0.u12.t42, i0.i0.u12.t46, i0.i0.u12.t48, i0.i0.u12.t50, i0.i0.u12.t52, i0.i0.u12.t222, i0.i0.u12.t223, i0.i0.i0.u11.t55, i0.i0.i0.u11.t61, i0.i0.i0.u11.t65, i0.i0.i0.u11.t67, i0.i0.i0.u11.t69, i0.i0.i0.u11.t71, i0.i0.i0.u11.t212, i0.i0.i0.u11.t213, i0.i0.i0.i0.u10.t74, i0.i0.i0.i0.u10.t80, i0.i0.i0.i0.u10.t84, i0.i0.i0.i0.u10.t86, i0.i0.i0.i0.u10.t88, i0.i0.i0.i0.u10.t90, i0.i0.i0.i0.u10.t220, i0.i0.i0.i0.u10.t221, i0.i0.i0.i0.i0.u9.t93, i0.i0.i0.i0.i0.u9.t99, i0.i0.i0.i0.i0.u9.t103, i0.i0.i0.i0.i0.u9.t105, i0.i0.i0.i0.i0.u9.t107, i0.i0.i0.i0.i0.u9.t109, i0.i0.i0.i0.i0.u9.t214, i0.i0.i0.i0.i0.u9.t215, i0.i0.i0.i0.i0.i0.u7.t130, i0.i0.i0.i0.i0.i0.u7.t136, i0.i0.i0.i0.i0.i0.u7.t140, i0.i0.i0.i0.i0.i0.u7.t142, i0.i0.i0.i0.i0.i0.u7.t144, i0.i0.i0.i0.i0.i0.u7.t146, i0.i0.i0.i0.i0.i0.u7.t216, i0.i0.i0.i0.i0.i0.u7.t217, i0.i0.i0.i0.i0.i0.u8.t112, i0.i0.i0.i0.i0.i0.u8.t118, i0.i0.i0.i0.i0.i0.u8.t122, i0.i0.i0.i0.i0.i0.u8.t124, i0.i0.i0.i0.i0.i0.u8.t126, i0.i0.i0.i0.i0.i0.u8.t128, i0.i0.i0.i0.i0.i0.u8.t218, i0.i0.i0.i0.i0.i0.u8.t219, i1.u15.t9, i1.u15.t11, i1.u15.t12, i1.u15.t14, i1.u16.t3, i1.u16.t4, i1.u16.t6, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/103/63/166
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 2
Detected timeout of ITS tools.
[2021-05-12 03:02:21] [INFO ] Flatten gal took : 96 ms
[2021-05-12 03:02:22] [INFO ] Input system was already deterministic with 224 transitions.
[2021-05-12 03:02:22] [INFO ] Transformed 198 places.
[2021-05-12 03:02:22] [INFO ] Transformed 224 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 03:02:22] [INFO ] Time to serialize gal into /tmp/CTLFireability15393679914633109892.gal : 14 ms
[2021-05-12 03:02:22] [INFO ] Time to serialize properties into /tmp/CTLFireability11233586074455322489.ctl : 33 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/CTLFireability15393679914633109892.gal, -t, CGAL, -ctl, /tmp/CTLFireability11233586074455322489.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/CTLFireability15393679914633109892.gal -t CGAL -ctl /tmp/CTLFireability11233586074455322489.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 13 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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
++ cut -d . -f 9
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -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="DiscoveryGPU-PT-07b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DiscoveryGPU-PT-07b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048875200258"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-07b.tgz
mv DiscoveryGPU-PT-07b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;