About the Execution of ITS-Tools for DES-PT-00b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2317.228 | 3600000.00 | 3964898.00 | 14222.50 | F???????FTF????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r064-tall-162038396500010.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 DES-PT-00b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038396500010
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 9.6K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K 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.1K Mar 28 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 03:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 03:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.3K Mar 22 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 66K 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 DES-PT-00b-CTLFireability-00
FORMULA_NAME DES-PT-00b-CTLFireability-01
FORMULA_NAME DES-PT-00b-CTLFireability-02
FORMULA_NAME DES-PT-00b-CTLFireability-03
FORMULA_NAME DES-PT-00b-CTLFireability-04
FORMULA_NAME DES-PT-00b-CTLFireability-05
FORMULA_NAME DES-PT-00b-CTLFireability-06
FORMULA_NAME DES-PT-00b-CTLFireability-07
FORMULA_NAME DES-PT-00b-CTLFireability-08
FORMULA_NAME DES-PT-00b-CTLFireability-09
FORMULA_NAME DES-PT-00b-CTLFireability-10
FORMULA_NAME DES-PT-00b-CTLFireability-11
FORMULA_NAME DES-PT-00b-CTLFireability-12
FORMULA_NAME DES-PT-00b-CTLFireability-13
FORMULA_NAME DES-PT-00b-CTLFireability-14
FORMULA_NAME DES-PT-00b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620791468986
Running Version 0
[2021-05-12 03:51:46] [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 03:51:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 03:51:48] [INFO ] Load time of PNML (sax parser for PT used): 1036 ms
[2021-05-12 03:51:48] [INFO ] Transformed 271 places.
[2021-05-12 03:51:48] [INFO ] Transformed 230 transitions.
[2021-05-12 03:51:48] [INFO ] Found NUPN structural information;
[2021-05-12 03:51:48] [INFO ] Parsed PT model containing 271 places and 230 transitions in 1897 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 333 ms.
[2021-05-12 03:51:49] [INFO ] Reduced 1 identical enabling conditions.
Support contains 244 out of 271 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 271/271 places, 230/230 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 269 transition count 230
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 3 place count 268 transition count 229
Iterating global reduction 1 with 1 rules applied. Total rules applied 4 place count 268 transition count 229
Applied a total of 4 rules in 483 ms. Remains 268 /271 variables (removed 3) and now considering 229/230 (removed 1) transitions.
// Phase 1: matrix 229 rows 268 cols
[2021-05-12 03:51:51] [INFO ] Computed 57 place invariants in 194 ms
[2021-05-12 03:51:53] [INFO ] Implicit Places using invariants in 2523 ms returned []
// Phase 1: matrix 229 rows 268 cols
[2021-05-12 03:51:53] [INFO ] Computed 57 place invariants in 92 ms
[2021-05-12 03:51:58] [INFO ] Implicit Places using invariants and state equation in 5269 ms returned []
Implicit Place search using SMT with State Equation took 8379 ms to find 0 implicit places.
// Phase 1: matrix 229 rows 268 cols
[2021-05-12 03:51:58] [INFO ] Computed 57 place invariants in 20 ms
[2021-05-12 03:52:03] [INFO ] Dead Transitions using invariants and state equation in 5122 ms returned []
Finished structural reductions, in 1 iterations. Remains : 268/271 places, 229/230 transitions.
[2021-05-12 03:52:07] [INFO ] Flatten gal took : 812 ms
[2021-05-12 03:52:07] [INFO ] Flatten gal took : 359 ms
[2021-05-12 03:52:09] [INFO ] Input system was already deterministic with 229 transitions.
Finished random walk after 29906 steps, including 264 resets, run visited all 70 properties in 1912 ms. (steps per millisecond=15 )
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 267 transition count 207
Reduce places removed 21 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 22 rules applied. Total rules applied 43 place count 246 transition count 206
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 44 place count 245 transition count 206
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 44 place count 245 transition count 196
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 64 place count 235 transition count 196
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 83 place count 216 transition count 177
Iterating global reduction 3 with 19 rules applied. Total rules applied 102 place count 216 transition count 177
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 103 place count 216 transition count 176
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 103 place count 216 transition count 175
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 105 place count 215 transition count 175
Discarding 14 places :
Symmetric choice reduction at 4 with 14 rule applications. Total rules 119 place count 201 transition count 161
Iterating global reduction 4 with 14 rules applied. Total rules applied 133 place count 201 transition count 161
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 14 rules applied. Total rules applied 147 place count 201 transition count 147
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 150 place count 199 transition count 146
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 2 Pre rules applied. Total rules applied 150 place count 199 transition count 144
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 154 place count 197 transition count 144
Performed 67 Post agglomeration using F-continuation condition.Transition count delta: 67
Deduced a syphon composed of 67 places in 0 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 6 with 134 rules applied. Total rules applied 288 place count 130 transition count 77
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 290 place count 129 transition count 77
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 6 with 2 rules applied. Total rules applied 292 place count 129 transition count 77
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 293 place count 128 transition count 76
Applied a total of 293 rules in 1596 ms. Remains 128 /268 variables (removed 140) and now considering 76/229 (removed 153) transitions.
[2021-05-12 03:52:13] [INFO ] Flatten gal took : 85 ms
[2021-05-12 03:52:13] [INFO ] Flatten gal took : 232 ms
[2021-05-12 03:52:14] [INFO ] Input system was already deterministic with 76 transitions.
[2021-05-12 03:52:14] [INFO ] Flatten gal took : 74 ms
[2021-05-12 03:52:14] [INFO ] Flatten gal took : 62 ms
[2021-05-12 03:52:15] [INFO ] Time to serialize gal into /tmp/CTLFireability15887027641071826039.gal : 33 ms
[2021-05-12 03:52:15] [INFO ] Time to serialize properties into /tmp/CTLFireability17088386332979642703.ctl : 36 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/CTLFireability15887027641071826039.gal, -t, CGAL, -ctl, /tmp/CTLFireability17088386332979642703.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/CTLFireability15887027641071826039.gal -t CGAL -ctl /tmp/CTLFireability17088386332979642703.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:52:45] [INFO ] Flatten gal took : 143 ms
[2021-05-12 03:52:45] [INFO ] Applying decomposition
[2021-05-12 03:52:46] [INFO ] Flatten gal took : 91 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/graph16122535928599961390.txt, -o, /tmp/graph16122535928599961390.bin, -w, /tmp/graph16122535928599961390.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/graph16122535928599961390.bin, -l, -1, -v, -w, /tmp/graph16122535928599961390.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:52:48] [INFO ] Decomposing Gal with order
[2021-05-12 03:52:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:52:49] [INFO ] Removed a total of 29 redundant transitions.
[2021-05-12 03:52:50] [INFO ] Flatten gal took : 1050 ms
[2021-05-12 03:52:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 116 ms.
[2021-05-12 03:52:50] [INFO ] Time to serialize gal into /tmp/CTLFireability4608653483157691412.gal : 56 ms
[2021-05-12 03:52:50] [INFO ] Time to serialize properties into /tmp/CTLFireability7555809182346662416.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/CTLFireability4608653483157691412.gal, -t, CGAL, -ctl, /tmp/CTLFireability7555809182346662416.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/CTLFireability4608653483157691412.gal -t CGAL -ctl /tmp/CTLFireability7555809182346662416.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,6.25928e+10,8.67244,28516,1589,72,64166,292,358,55684,63,815,0
Converting to forward existential form...Done !
original formula: E(!(E(AG((i1.u8.p83==1)) U AG((i0.i1.u11.p59==1)))) U AG(((((((i12.i1.u4.p53==1)||(i0.i1.u0.p8==1))||(i2.i1.u44.p233==1))||(i6.u33.p201==1))||((i11.u13.p124==1)&&(i11.u14.p126==1)))||((i2.i1.u45.p238==1)&&(i12.i1.u50.p267==1)))))
=> equivalent forward existential formula: [(FwdU(Init,!(E(!(E(TRUE U !((i1.u8.p83==1)))) U !(E(TRUE U !((i0.i1.u11.p59==1))))))) * !(E(TRUE U !(((((((i12.i1.u4.p53==1)||(i0.i1.u0.p8==1))||(i2.i1.u44.p233==1))||(i6.u33.p201==1))||((i11.u13.p124==1)&&(i11.u14.p126==1)))||((i2.i1.u45.p238==1)&&(i12.i1.u50.p267==1)))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t2, t33, t45, t59, t62, t65, i0.i1.u0.t10, i0.i1.u0.t39, i0.i1.u7.t47, i1.t41, i1.u8.t29, i2.i1.u44.t4, i11.t48, i12.t16, i12.i1.u50.t3, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/57/15/72
(forward)formula 0,0,16.1078,37032,1,0,92777,580,1646,113552,320,2040,178475
FORMULA DES-PT-00b-CTLFireability-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 0 with 25 rules applied. Total rules applied 25 place count 267 transition count 203
Reduce places removed 25 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 26 rules applied. Total rules applied 51 place count 242 transition count 202
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 52 place count 241 transition count 202
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9 Pre rules applied. Total rules applied 52 place count 241 transition count 193
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 70 place count 232 transition count 193
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 86 place count 216 transition count 177
Iterating global reduction 3 with 16 rules applied. Total rules applied 102 place count 216 transition count 177
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 115 place count 203 transition count 164
Iterating global reduction 3 with 13 rules applied. Total rules applied 128 place count 203 transition count 164
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 3 with 13 rules applied. Total rules applied 141 place count 203 transition count 151
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 144 place count 201 transition count 150
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 144 place count 201 transition count 149
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 146 place count 200 transition count 149
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 114 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 5 with 130 rules applied. Total rules applied 276 place count 135 transition count 84
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 282 place count 132 transition count 92
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 5 with 2 rules applied. Total rules applied 284 place count 132 transition count 92
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 285 place count 131 transition count 91
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 286 place count 130 transition count 90
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 5 with 2 rules applied. Total rules applied 288 place count 129 transition count 89
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 289 place count 128 transition count 89
Applied a total of 289 rules in 823 ms. Remains 128 /268 variables (removed 140) and now considering 89/229 (removed 140) transitions.
[2021-05-12 03:53:07] [INFO ] Flatten gal took : 67 ms
[2021-05-12 03:53:07] [INFO ] Flatten gal took : 110 ms
[2021-05-12 03:53:07] [INFO ] Input system was already deterministic with 89 transitions.
[2021-05-12 03:53:08] [INFO ] Flatten gal took : 264 ms
[2021-05-12 03:53:08] [INFO ] Flatten gal took : 10 ms
[2021-05-12 03:53:08] [INFO ] Time to serialize gal into /tmp/CTLFireability15678685826615922659.gal : 3 ms
[2021-05-12 03:53:08] [INFO ] Time to serialize properties into /tmp/CTLFireability2899604654007025410.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/CTLFireability15678685826615922659.gal, -t, CGAL, -ctl, /tmp/CTLFireability2899604654007025410.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/CTLFireability15678685826615922659.gal -t CGAL -ctl /tmp/CTLFireability2899604654007025410.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:53:38] [INFO ] Flatten gal took : 89 ms
[2021-05-12 03:53:38] [INFO ] Applying decomposition
[2021-05-12 03:53:38] [INFO ] Flatten gal took : 161 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/graph1161428355032048437.txt, -o, /tmp/graph1161428355032048437.bin, -w, /tmp/graph1161428355032048437.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/graph1161428355032048437.bin, -l, -1, -v, -w, /tmp/graph1161428355032048437.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:53:39] [INFO ] Decomposing Gal with order
[2021-05-12 03:53:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:53:39] [INFO ] Removed a total of 13 redundant transitions.
[2021-05-12 03:53:39] [INFO ] Flatten gal took : 178 ms
[2021-05-12 03:53:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 35 ms.
[2021-05-12 03:53:39] [INFO ] Time to serialize gal into /tmp/CTLFireability6949203998447707426.gal : 160 ms
[2021-05-12 03:53:39] [INFO ] Time to serialize properties into /tmp/CTLFireability18030445156426882115.ctl : 47 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/CTLFireability6949203998447707426.gal, -t, CGAL, -ctl, /tmp/CTLFireability18030445156426882115.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/CTLFireability6949203998447707426.gal -t CGAL -ctl /tmp/CTLFireability18030445156426882115.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.23352e+11,10.4332,26112,1003,251,46206,2052,291,77396,127,6217,0
Converting to forward existential form...Done !
original formula: AF(AG(A(((((((((u1.p37==0)&&(i10.i1.u26.p203==0))&&(u1.p45==0))&&((i0.i0.u36.p247==0)||(i4.u39.p249==0)))&&((i3.u6.p93==0)||(i3.u6.p105==0)))&&((i3.u6.p93==0)||(i3.u6.p99==0)))&&((i4.u38.p244==0)||(i4.u41.p253==0)))&&((i0.i0.u7.p123==0)||(i0.i0.u0.p231==0))) U ((u3.p77==1)||((i0.i0.u7.p125==1)&&(i4.u41.p252==1))))))
=> equivalent forward existential formula: [FwdG(Init,!(!(E(TRUE U !(!((E(!(((u3.p77==1)||((i0.i0.u7.p125==1)&&(i4.u41.p252==1)))) U (!(((((((((u1.p37==0)&&(i10.i1.u26.p203==0))&&(u1.p45==0))&&((i0.i0.u36.p247==0)||(i4.u39.p249==0)))&&((i3.u6.p93==0)||(i3.u6.p105==0)))&&((i3.u6.p93==0)||(i3.u6.p99==0)))&&((i4.u38.p244==0)||(i4.u41.p253==0)))&&((i0.i0.u7.p123==0)||(i0.i0.u0.p231==0)))) * !(((u3.p77==1)||((i0.i0.u7.p125==1)&&(i4.u41.p252==1)))))) + EG(!(((u3.p77==1)||((i0.i0.u7.p125==1)&&(i4.u41.p252==1))))))))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t2, t27, t58, t67, u1.t8, u1.t70, u1.t71, u1.t72, u1.t73, u1.t74, u1.t75, u1.t76, u1.t77, u3.t38, u3.t88, i0.i0.t62, i0.i0.u7.t1, i3.u4.t0, i3.u5.t41, i4.t69, i4.t14, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/63/21/84
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 26 transitions
Trivial Post-agglo rules discarded 26 transitions
Performed 26 trivial Post agglomeration. Transition count delta: 26
Iterating post reduction 0 with 26 rules applied. Total rules applied 26 place count 267 transition count 202
Reduce places removed 26 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 27 rules applied. Total rules applied 53 place count 241 transition count 201
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 54 place count 240 transition count 201
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9 Pre rules applied. Total rules applied 54 place count 240 transition count 192
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 72 place count 231 transition count 192
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 88 place count 215 transition count 176
Iterating global reduction 3 with 16 rules applied. Total rules applied 104 place count 215 transition count 176
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 105 place count 215 transition count 175
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 117 place count 203 transition count 163
Iterating global reduction 4 with 12 rules applied. Total rules applied 129 place count 203 transition count 163
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 11 rules applied. Total rules applied 140 place count 203 transition count 152
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 141 place count 202 transition count 152
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 2 Pre rules applied. Total rules applied 141 place count 202 transition count 150
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 145 place count 200 transition count 150
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Deduced a syphon composed of 62 places in 1 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 6 with 124 rules applied. Total rules applied 269 place count 138 transition count 88
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 270 place count 138 transition count 87
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 276 place count 135 transition count 102
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 277 place count 134 transition count 101
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 278 place count 133 transition count 100
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 280 place count 132 transition count 99
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 281 place count 131 transition count 99
Applied a total of 281 rules in 880 ms. Remains 131 /268 variables (removed 137) and now considering 99/229 (removed 130) transitions.
[2021-05-12 03:54:10] [INFO ] Flatten gal took : 137 ms
[2021-05-12 03:54:11] [INFO ] Flatten gal took : 185 ms
[2021-05-12 03:54:11] [INFO ] Input system was already deterministic with 99 transitions.
[2021-05-12 03:54:11] [INFO ] Flatten gal took : 57 ms
[2021-05-12 03:54:11] [INFO ] Flatten gal took : 71 ms
[2021-05-12 03:54:11] [INFO ] Time to serialize gal into /tmp/CTLFireability16281870012201438753.gal : 60 ms
[2021-05-12 03:54:11] [INFO ] Time to serialize properties into /tmp/CTLFireability8767815521081091056.ctl : 32 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/CTLFireability16281870012201438753.gal, -t, CGAL, -ctl, /tmp/CTLFireability8767815521081091056.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/CTLFireability16281870012201438753.gal -t CGAL -ctl /tmp/CTLFireability8767815521081091056.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:54:42] [INFO ] Flatten gal took : 140 ms
[2021-05-12 03:54:42] [INFO ] Applying decomposition
[2021-05-12 03:54:42] [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/graph3108952403621331421.txt, -o, /tmp/graph3108952403621331421.bin, -w, /tmp/graph3108952403621331421.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/graph3108952403621331421.bin, -l, -1, -v, -w, /tmp/graph3108952403621331421.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:54:42] [INFO ] Decomposing Gal with order
[2021-05-12 03:54:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:54:42] [INFO ] Removed a total of 38 redundant transitions.
[2021-05-12 03:54:42] [INFO ] Flatten gal took : 190 ms
[2021-05-12 03:54:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 43 labels/synchronizations in 57 ms.
[2021-05-12 03:54:43] [INFO ] Time to serialize gal into /tmp/CTLFireability13918637887082049019.gal : 68 ms
[2021-05-12 03:54:43] [INFO ] Time to serialize properties into /tmp/CTLFireability17199015532898071309.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/CTLFireability13918637887082049019.gal, -t, CGAL, -ctl, /tmp/CTLFireability17199015532898071309.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/CTLFireability13918637887082049019.gal -t CGAL -ctl /tmp/CTLFireability17199015532898071309.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.80311e+11,9.35285,25728,1872,391,44957,1470,356,75431,140,5409,0
Converting to forward existential form...Done !
original formula: EF(AG(((((((((((i0.u1.p20==1)||(i0.u0.p24==1))||(i2.u11.p139==1))||(i1.i1.u3.p77==1))||(i0.u0.p47==1))||(i2.u12.p141==1))||((i6.u23.p187==1)&&(i6.u31.p216==1)))||((i4.u17.p155==1)&&(i4.u21.p183==1)))||((i6.u23.p159==1)&&(i6.u23.p189==1)))||((i8.i0.u37.p244==1)&&(i8.i0.u39.p253==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !(((((((((((i0.u1.p20==1)||(i0.u0.p24==1))||(i2.u11.p139==1))||(i1.i1.u3.p77==1))||(i0.u0.p47==1))||(i2.u12.p141==1))||((i6.u23.p187==1)&&(i6.u31.p216==1)))||((i4.u17.p155==1)&&(i4.u21.p183==1)))||((i6.u23.p159==1)&&(i6.u23.p189==1)))||((i8.i0.u37.p244==1)&&(i8.i0.u39.p253==1)))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t0, t1, t53, t61, t71, i0.t89, i0.u0.t4, i0.u0.t5, i0.u1.t27, i1.i0.u4.t41, i1.i0.u4.t42, i1.i1.u3.t38, i1.i1.u3.t98, i2.t49, i6.u23.t3, i7.t66, i7.i0.t46, i8.i0.t13, i8.i1.t73, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/50/19/69
(forward)formula 0,0,22.9209,48816,1,0,99723,5230,1638,196673,979,26266,131732
FORMULA DES-PT-00b-CTLFireability-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 0 with 22 rules applied. Total rules applied 22 place count 267 transition count 206
Reduce places removed 22 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 25 rules applied. Total rules applied 47 place count 245 transition count 203
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 50 place count 242 transition count 203
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 50 place count 242 transition count 193
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 70 place count 232 transition count 193
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 87 place count 215 transition count 176
Iterating global reduction 3 with 17 rules applied. Total rules applied 104 place count 215 transition count 176
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 105 place count 215 transition count 175
Discarding 13 places :
Symmetric choice reduction at 4 with 13 rule applications. Total rules 118 place count 202 transition count 162
Iterating global reduction 4 with 13 rules applied. Total rules applied 131 place count 202 transition count 162
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 12 rules applied. Total rules applied 143 place count 202 transition count 150
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 144 place count 201 transition count 150
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 3 Pre rules applied. Total rules applied 144 place count 201 transition count 147
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 6 with 6 rules applied. Total rules applied 150 place count 198 transition count 147
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 0 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 6 with 142 rules applied. Total rules applied 292 place count 127 transition count 76
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 293 place count 127 transition count 75
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 299 place count 124 transition count 90
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 300 place count 124 transition count 90
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 301 place count 123 transition count 89
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 302 place count 122 transition count 89
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 304 place count 121 transition count 88
Applied a total of 304 rules in 577 ms. Remains 121 /268 variables (removed 147) and now considering 88/229 (removed 141) transitions.
[2021-05-12 03:55:06] [INFO ] Flatten gal took : 122 ms
[2021-05-12 03:55:07] [INFO ] Flatten gal took : 115 ms
[2021-05-12 03:55:07] [INFO ] Input system was already deterministic with 88 transitions.
[2021-05-12 03:55:07] [INFO ] Flatten gal took : 106 ms
[2021-05-12 03:55:07] [INFO ] Flatten gal took : 116 ms
[2021-05-12 03:55:07] [INFO ] Time to serialize gal into /tmp/CTLFireability7382339010783250450.gal : 32 ms
[2021-05-12 03:55:07] [INFO ] Time to serialize properties into /tmp/CTLFireability12472814233078416270.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/CTLFireability7382339010783250450.gal, -t, CGAL, -ctl, /tmp/CTLFireability12472814233078416270.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/CTLFireability7382339010783250450.gal -t CGAL -ctl /tmp/CTLFireability12472814233078416270.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:55:37] [INFO ] Flatten gal took : 94 ms
[2021-05-12 03:55:37] [INFO ] Applying decomposition
[2021-05-12 03:55:38] [INFO ] Flatten gal took : 176 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/graph12277739155067602610.txt, -o, /tmp/graph12277739155067602610.bin, -w, /tmp/graph12277739155067602610.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/graph12277739155067602610.bin, -l, -1, -v, -w, /tmp/graph12277739155067602610.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:55:38] [INFO ] Decomposing Gal with order
[2021-05-12 03:55:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:55:38] [INFO ] Removed a total of 52 redundant transitions.
[2021-05-12 03:55:38] [INFO ] Flatten gal took : 138 ms
[2021-05-12 03:55:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 33 labels/synchronizations in 100 ms.
[2021-05-12 03:55:38] [INFO ] Time to serialize gal into /tmp/CTLFireability295303591841227629.gal : 60 ms
[2021-05-12 03:55:38] [INFO ] Time to serialize properties into /tmp/CTLFireability1359388432131480911.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/CTLFireability295303591841227629.gal, -t, CGAL, -ctl, /tmp/CTLFireability1359388432131480911.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/CTLFireability295303591841227629.gal -t CGAL -ctl /tmp/CTLFireability1359388432131480911.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.97005e+10,9.41152,25456,1110,230,34994,1072,295,125038,98,5119,0
Converting to forward existential form...Done !
original formula: AG(!(AG((((((i10.u39.p247==1)&&(i11.i1.u42.p249==1))||(i11.i1.u45.p263==1))||(i1.u4.p84==1))||(i0.u1.p29==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !((((((i10.u39.p247==1)&&(i11.i1.u42.p249==1))||(i11.i1.u45.p263==1))||(i1.u4.p84==1))||(i0.u1.p29==1))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t22, t47, t48, i0.t81, i0.u0.t31, i0.u0.t87, i0.u1.t2, i1.t33, i1.u4.t21, i11.t57, i11.t51, i11.i0.t36, i11.i1.t0, i11.i1.t8, i11.i1.u45.t26, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/46/15/61
(forward)formula 0,1,13.5398,31648,1,0,46305,1901,1427,188490,663,11203,63432
FORMULA DES-PT-00b-CTLFireability-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Drop transitions removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 0 with 22 rules applied. Total rules applied 22 place count 268 transition count 207
Reduce places removed 22 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 23 rules applied. Total rules applied 45 place count 246 transition count 206
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 46 place count 245 transition count 206
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 8 Pre rules applied. Total rules applied 46 place count 245 transition count 198
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 62 place count 237 transition count 198
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 80 place count 219 transition count 180
Iterating global reduction 3 with 18 rules applied. Total rules applied 98 place count 219 transition count 180
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 99 place count 219 transition count 179
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 99 place count 219 transition count 178
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 101 place count 218 transition count 178
Discarding 13 places :
Symmetric choice reduction at 4 with 13 rule applications. Total rules 114 place count 205 transition count 165
Iterating global reduction 4 with 13 rules applied. Total rules applied 127 place count 205 transition count 165
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 13 rules applied. Total rules applied 140 place count 205 transition count 152
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 143 place count 203 transition count 151
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 2 Pre rules applied. Total rules applied 143 place count 203 transition count 149
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 147 place count 201 transition count 149
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 0 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 6 with 126 rules applied. Total rules applied 273 place count 138 transition count 86
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 277 place count 136 transition count 88
Applied a total of 277 rules in 339 ms. Remains 136 /268 variables (removed 132) and now considering 88/229 (removed 141) transitions.
[2021-05-12 03:55:53] [INFO ] Flatten gal took : 57 ms
[2021-05-12 03:55:53] [INFO ] Flatten gal took : 29 ms
[2021-05-12 03:55:53] [INFO ] Input system was already deterministic with 88 transitions.
[2021-05-12 03:55:53] [INFO ] Flatten gal took : 73 ms
[2021-05-12 03:55:53] [INFO ] Flatten gal took : 62 ms
[2021-05-12 03:55:53] [INFO ] Time to serialize gal into /tmp/CTLFireability3589592922640793381.gal : 44 ms
[2021-05-12 03:55:53] [INFO ] Time to serialize properties into /tmp/CTLFireability5517025000101769633.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/CTLFireability3589592922640793381.gal, -t, CGAL, -ctl, /tmp/CTLFireability5517025000101769633.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/CTLFireability3589592922640793381.gal -t CGAL -ctl /tmp/CTLFireability5517025000101769633.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:56:24] [INFO ] Flatten gal took : 82 ms
[2021-05-12 03:56:24] [INFO ] Applying decomposition
[2021-05-12 03:56:24] [INFO ] Flatten gal took : 95 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/graph15375529628131379509.txt, -o, /tmp/graph15375529628131379509.bin, -w, /tmp/graph15375529628131379509.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/graph15375529628131379509.bin, -l, -1, -v, -w, /tmp/graph15375529628131379509.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:56:24] [INFO ] Decomposing Gal with order
[2021-05-12 03:56:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:56:24] [INFO ] Removed a total of 35 redundant transitions.
[2021-05-12 03:56:24] [INFO ] Flatten gal took : 276 ms
[2021-05-12 03:56:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 11 labels/synchronizations in 44 ms.
[2021-05-12 03:56:24] [INFO ] Time to serialize gal into /tmp/CTLFireability12214354194268155123.gal : 58 ms
[2021-05-12 03:56:24] [INFO ] Time to serialize properties into /tmp/CTLFireability9645399286782054366.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/CTLFireability12214354194268155123.gal, -t, CGAL, -ctl, /tmp/CTLFireability9645399286782054366.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/CTLFireability12214354194268155123.gal -t CGAL -ctl /tmp/CTLFireability9645399286782054366.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.33121e+11,4.61475,16000,1108,225,27728,753,364,25499,115,2691,0
Converting to forward existential form...Done !
original formula: EF((A(((((((((((i7.u15.p155==1)&&(i7.u24.p183==1))||(i9.i0.u20.p166==1))||(i1.u1.p20==1))||(i9.i0.u20.p167==1))||(u9.p122==1))||((i5.u11.p134==1)&&(i5.u11.p136==1)))||(u9.p120==1))||(i13.u44.p264==1))||(i3.u5.p62==1)) U AG(((i13.u44.p268==1)&&(i13.u44.p270==1)))) * ((((i13.u8.p1==1)||(u0.p9==1))||(i5.u10.p137==1))||(i1.u7.p108==1))))
=> equivalent forward existential formula: [(((FwdU(Init,TRUE) * ((((i13.u8.p1==1)||(u0.p9==1))||(i5.u10.p137==1))||(i1.u7.p108==1))) * !(EG(!(!(E(TRUE U !(((i13.u44.p268==1)&&(i13.u44.p270==1))))))))) * !(E(!(!(E(TRUE U !(((i13.u44.p268==1)&&(i13.u44.p270==1)))))) U (!(((((((((((i7.u15.p155==1)&&(i7.u24.p183==1))||(i9.i0.u20.p166==1))||(i1.u1.p20==1))||(i9.i0.u20.p167==1))||(u9.p122==1))||((i5.u11.p134==1)&&(i5.u11.p136==1)))||(u9.p120==1))||(i13.u44.p264==1))||(i3.u5.p62==1))) * !(!(E(TRUE U !(((i13.u44.p268==1)&&(i13.u44.p270==1))))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t2, t3, t42, t50, t59, t63, t69, t79, u0.t12, u0.t44, u0.t83, u0.t86, u9.t8, i1.u1.t33, i2.t20, i3.u5.t10, i3.u6.t38, i3.u6.t39, i9.t5, i9.i0.t6, i13.u44.t74, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/60/21/81
(forward)formula 0,0,11.0536,29056,1,0,64309,3157,1728,79231,634,12694,91236
FORMULA DES-PT-00b-CTLFireability-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 267 transition count 214
Reduce places removed 14 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 16 rules applied. Total rules applied 30 place count 253 transition count 212
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 32 place count 251 transition count 212
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9 Pre rules applied. Total rules applied 32 place count 251 transition count 203
Deduced a syphon composed of 9 places in 27 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 50 place count 242 transition count 203
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 62 place count 230 transition count 191
Iterating global reduction 3 with 12 rules applied. Total rules applied 74 place count 230 transition count 191
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 75 place count 230 transition count 190
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 84 place count 221 transition count 181
Iterating global reduction 4 with 9 rules applied. Total rules applied 93 place count 221 transition count 181
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 100 place count 221 transition count 174
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 5 with 98 rules applied. Total rules applied 198 place count 172 transition count 125
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 199 place count 172 transition count 124
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 2 places in 27 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 203 place count 170 transition count 139
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 204 place count 169 transition count 138
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 205 place count 168 transition count 137
Applied a total of 205 rules in 465 ms. Remains 168 /268 variables (removed 100) and now considering 137/229 (removed 92) transitions.
[2021-05-12 03:56:36] [INFO ] Flatten gal took : 60 ms
[2021-05-12 03:56:36] [INFO ] Flatten gal took : 81 ms
[2021-05-12 03:56:37] [INFO ] Input system was already deterministic with 137 transitions.
[2021-05-12 03:56:37] [INFO ] Flatten gal took : 127 ms
[2021-05-12 03:56:37] [INFO ] Flatten gal took : 59 ms
[2021-05-12 03:56:37] [INFO ] Time to serialize gal into /tmp/CTLFireability12012647559882110197.gal : 88 ms
[2021-05-12 03:56:37] [INFO ] Time to serialize properties into /tmp/CTLFireability7563206410809888734.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/CTLFireability12012647559882110197.gal, -t, CGAL, -ctl, /tmp/CTLFireability7563206410809888734.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/CTLFireability12012647559882110197.gal -t CGAL -ctl /tmp/CTLFireability7563206410809888734.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:57:07] [INFO ] Flatten gal took : 54 ms
[2021-05-12 03:57:07] [INFO ] Applying decomposition
[2021-05-12 03:57:07] [INFO ] Flatten gal took : 54 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/graph11851675330942292811.txt, -o, /tmp/graph11851675330942292811.bin, -w, /tmp/graph11851675330942292811.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/graph11851675330942292811.bin, -l, -1, -v, -w, /tmp/graph11851675330942292811.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:57:08] [INFO ] Decomposing Gal with order
[2021-05-12 03:57:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:57:08] [INFO ] Removed a total of 147 redundant transitions.
[2021-05-12 03:57:08] [INFO ] Flatten gal took : 240 ms
[2021-05-12 03:57:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 23 labels/synchronizations in 51 ms.
[2021-05-12 03:57:08] [INFO ] Time to serialize gal into /tmp/CTLFireability3662859069040687871.gal : 84 ms
[2021-05-12 03:57:08] [INFO ] Time to serialize properties into /tmp/CTLFireability14492182030196436770.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/CTLFireability3662859069040687871.gal, -t, CGAL, -ctl, /tmp/CTLFireability14492182030196436770.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/CTLFireability3662859069040687871.gal -t CGAL -ctl /tmp/CTLFireability14492182030196436770.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,7.85613e+13,26.3548,66128,4083,127,158148,601,497,155593,115,1723,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 267 transition count 208
Reduce places removed 20 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 24 rules applied. Total rules applied 44 place count 247 transition count 204
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 48 place count 243 transition count 204
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 8 Pre rules applied. Total rules applied 48 place count 243 transition count 196
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 3 with 16 rules applied. Total rules applied 64 place count 235 transition count 196
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 77 place count 222 transition count 183
Iterating global reduction 3 with 13 rules applied. Total rules applied 90 place count 222 transition count 183
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 91 place count 222 transition count 182
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 99 place count 214 transition count 174
Iterating global reduction 4 with 8 rules applied. Total rules applied 107 place count 214 transition count 174
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 115 place count 214 transition count 166
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 115 place count 214 transition count 165
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 117 place count 213 transition count 165
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 0 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 5 with 98 rules applied. Total rules applied 215 place count 164 transition count 116
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -6
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 221 place count 161 transition count 122
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 222 place count 160 transition count 121
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 223 place count 159 transition count 120
Applied a total of 223 rules in 340 ms. Remains 159 /268 variables (removed 109) and now considering 120/229 (removed 109) transitions.
[2021-05-12 03:57:39] [INFO ] Flatten gal took : 68 ms
[2021-05-12 03:57:39] [INFO ] Flatten gal took : 109 ms
[2021-05-12 03:57:39] [INFO ] Input system was already deterministic with 120 transitions.
[2021-05-12 03:57:39] [INFO ] Flatten gal took : 29 ms
[2021-05-12 03:57:39] [INFO ] Flatten gal took : 50 ms
[2021-05-12 03:57:39] [INFO ] Time to serialize gal into /tmp/CTLFireability7405388809873750429.gal : 51 ms
[2021-05-12 03:57:40] [INFO ] Time to serialize properties into /tmp/CTLFireability14131053555373960419.ctl : 30 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability7405388809873750429.gal, -t, CGAL, -ctl, /tmp/CTLFireability14131053555373960419.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/CTLFireability7405388809873750429.gal -t CGAL -ctl /tmp/CTLFireability14131053555373960419.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-12 03:58:10] [INFO ] Flatten gal took : 16 ms
[2021-05-12 03:58:10] [INFO ] Applying decomposition
[2021-05-12 03:58:10] [INFO ] Flatten gal took : 9 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/graph6652527861503070892.txt, -o, /tmp/graph6652527861503070892.bin, -w, /tmp/graph6652527861503070892.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/graph6652527861503070892.bin, -l, -1, -v, -w, /tmp/graph6652527861503070892.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:58:10] [INFO ] Decomposing Gal with order
[2021-05-12 03:58:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:58:11] [INFO ] Removed a total of 70 redundant transitions.
[2021-05-12 03:58:11] [INFO ] Flatten gal took : 206 ms
[2021-05-12 03:58:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 33 labels/synchronizations in 4 ms.
[2021-05-12 03:58:11] [INFO ] Time to serialize gal into /tmp/CTLFireability171483672665377604.gal : 111 ms
[2021-05-12 03:58:11] [INFO ] Time to serialize properties into /tmp/CTLFireability2686364562564447331.ctl : 16 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/CTLFireability171483672665377604.gal, -t, CGAL, -ctl, /tmp/CTLFireability2686364562564447331.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/CTLFireability171483672665377604.gal -t CGAL -ctl /tmp/CTLFireability2686364562564447331.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.4215e+13,5.58971,17328,1650,129,26622,411,493,45164,100,1136,0
Converting to forward existential form...Done !
original formula: AG(AF((E(((((((i1.u1.p16==1)||(i3.i0.u7.p65==1))||(i8.u4.p39==1))||(i6.i1.u23.p148==1))||(i2.u10.p77==1))||((i0.u2.p27==1)&&(i0.u14.p113==1))) U (((i8.u48.p247==1)&&(i10.i0.u50.p249==1))||(i0.u3.p29==1))) + E(!(E(((((((((((i2.u15.p115==1)||(i3.i1.u12.p83==1))||(i10.i0.u18.p128==1))||(i3.i1.u12.p85==1))||((i6.i0.u35.p190==1)&&(i6.i0.u37.p218==1)))||(i2.u8.p72==1))||(i10.i0.u51.p254==1))||(i0.u2.p28==1))||((i3.i0.u46.p223==1)&&(i5.u44.p225==1)))||(i0.u3.p31==1)) U ((((((((((i7.u34.p187==1)&&(i7.u43.p216==1))||(i3.i1.u11.p81==1))||(i10.i0.u18.p128==1))||(i1.u5.p53==1))||(i6.i0.u28.p167==1))||((i6.i0.u35.p190==1)&&(i6.i0.u37.p218==1)))||(i1.u0.p5==1))||(i2.u9.p73==1))||(i8.u4.p45==1)))) U ((i4.i0.u21.p146==1)||(i2.u10.p77==1))))))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),!((E(((((((i1.u1.p16==1)||(i3.i0.u7.p65==1))||(i8.u4.p39==1))||(i6.i1.u23.p148==1))||(i2.u10.p77==1))||((i0.u2.p27==1)&&(i0.u14.p113==1))) U (((i8.u48.p247==1)&&(i10.i0.u50.p249==1))||(i0.u3.p29==1))) + E(!(E(((((((((((i2.u15.p115==1)||(i3.i1.u12.p83==1))||(i10.i0.u18.p128==1))||(i3.i1.u12.p85==1))||((i6.i0.u35.p190==1)&&(i6.i0.u37.p218==1)))||(i2.u8.p72==1))||(i10.i0.u51.p254==1))||(i0.u2.p28==1))||((i3.i0.u46.p223==1)&&(i5.u44.p225==1)))||(i0.u3.p31==1)) U ((((((((((i7.u34.p187==1)&&(i7.u43.p216==1))||(i3.i1.u11.p81==1))||(i10.i0.u18.p128==1))||(i1.u5.p53==1))||(i6.i0.u28.p167==1))||((i6.i0.u35.p190==1)&&(i6.i0.u37.p218==1)))||(i1.u0.p5==1))||(i2.u9.p73==1))||(i8.u4.p45==1)))) U ((i4.i0.u21.p146==1)||(i2.u10.p77==1))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t0, t61, t70, t75, t76, t82, t89, t93, t96, t102, i0.u3.t26, i0.u3.t27, i0.u3.t67, i1.u1.t31, i2.t55, i2.u8.t58, i2.u9.t18, i2.u15.t11, i3.i1.u12.t57, i6.i0.t4, i6.i0.u35.t5, i7.u34.t6, i8.u4.t25, i9.t79, i10.i0.t97, i10.i0.u51.t2, i10.i1.t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/72/27/99
Detected timeout of ITS tools.
[2021-05-12 03:58:41] [INFO ] Flatten gal took : 101 ms
[2021-05-12 03:58:41] [INFO ] Flatten gal took : 196 ms
[2021-05-12 03:58:42] [INFO ] Applying decomposition
[2021-05-12 03:58:42] [INFO ] Flatten gal took : 182 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/graph14978042505372053095.txt, -o, /tmp/graph14978042505372053095.bin, -w, /tmp/graph14978042505372053095.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/graph14978042505372053095.bin, -l, -1, -v, -w, /tmp/graph14978042505372053095.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 03:58:42] [INFO ] Decomposing Gal with order
[2021-05-12 03:58:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 03:58:43] [INFO ] Removed a total of 30 redundant transitions.
[2021-05-12 03:58:43] [INFO ] Flatten gal took : 209 ms
[2021-05-12 03:58:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 40 ms.
[2021-05-12 03:58:43] [INFO ] Time to serialize gal into /tmp/CTLFireability12888240838940869987.gal : 115 ms
[2021-05-12 03:58:44] [INFO ] Time to serialize properties into /tmp/CTLFireability16737338171815647083.ctl : 69 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/CTLFireability12888240838940869987.gal, -t, CGAL, -ctl, /tmp/CTLFireability16737338171815647083.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/CTLFireability12888240838940869987.gal -t CGAL -ctl /tmp/CTLFireability16737338171815647083.ctl
No direction supplied, using forward translation only.
Parsed 12 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.32756e+19,18.4999,40056,2765,100,78306,941,758,96866,105,3625,0
Converting to forward existential form...Done !
original formula: E(EF(((!(E(((((((i9.i2.u58.p194==1)||(i7.i0.u37.p128==1))||((i5.u28.p93==1)&&(i5.u31.p105==1)))||((i2.u12.p44==1)&&(i7.i1.u68.p229==1)))||(i1.u10.p21==1))||(i7.i1.u70.p239==1)) U ((((i7.i1.u71.p241==1)||((i4.i0.u18.p61==1)&&(i4.i1.u25.p91==1)))||((i11.i0.u14.p52==1)&&(i11.i1.u75.p250==1)))||(i5.u31.p108==1)))) * !(EX((((((i11.i1.u76.p260==1)||(i4.i0.u17.p65==1))||(i4.i1.u25.p81==1))||((i12.u79.p268==1)&&(i12.u79.p270==1)))||((i3.i0.u4.p10==1)&&(i3.i1.u21.p66==1)))))) * !(AG(((((((((((i11.i1.u40.p135==0)||(i11.i1.u76.p255==0))&&(i4.i0.u17.p64==0))&&((i11.i1.u73.p244==0)||(i11.i1.u76.p256==0)))&&(i4.i1.u26.p85==0))&&((i3.i1.u19.p68==0)||(i4.i1.u25.p89==0)))&&((i7.i0.u38.p133==0)||(i9.i1.u42.p142==0)))&&((i4.i0.u18.p63==0)||(i9.i0.u59.p222==0)))&&(i12.u78.p266==0))&&((i6.u36.p123==0)||(i7.i0.u39.p231==0))))))) U ((((i3.i1.u22.p74==1)&&(i5.u30.p111==1))||((i7.i1.u68.p247==1)&&(i7.i1.u69.p249==1)))||((i0.i1.u6.p17==1)&&(i0.i1.u29.p95==1))))
=> equivalent forward existential formula: [(FwdU(Init,E(TRUE U ((!(E(((((((i9.i2.u58.p194==1)||(i7.i0.u37.p128==1))||((i5.u28.p93==1)&&(i5.u31.p105==1)))||((i2.u12.p44==1)&&(i7.i1.u68.p229==1)))||(i1.u10.p21==1))||(i7.i1.u70.p239==1)) U ((((i7.i1.u71.p241==1)||((i4.i0.u18.p61==1)&&(i4.i1.u25.p91==1)))||((i11.i0.u14.p52==1)&&(i11.i1.u75.p250==1)))||(i5.u31.p108==1)))) * !(EX((((((i11.i1.u76.p260==1)||(i4.i0.u17.p65==1))||(i4.i1.u25.p81==1))||((i12.u79.p268==1)&&(i12.u79.p270==1)))||((i3.i0.u4.p10==1)&&(i3.i1.u21.p66==1)))))) * !(!(E(TRUE U !(((((((((((i11.i1.u40.p135==0)||(i11.i1.u76.p255==0))&&(i4.i0.u17.p64==0))&&((i11.i1.u73.p244==0)||(i11.i1.u76.p256==0)))&&(i4.i1.u26.p85==0))&&((i3.i1.u19.p68==0)||(i4.i1.u25.p89==0)))&&((i7.i0.u38.p133==0)||(i9.i1.u42.p142==0)))&&((i4.i0.u18.p63==0)||(i9.i0.u59.p222==0)))&&(i12.u78.p266==0))&&((i6.u36.p123==0)||(i7.i0.u39.p231==0)))))))))) * ((((i3.i1.u22.p74==1)&&(i5.u30.p111==1))||((i7.i1.u68.p247==1)&&(i7.i1.u69.p249==1)))||((i0.i1.u6.p17==1)&&(i0.i1.u29.p95==1))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t54, t58, t60, t96, t151, i0.i1.t157, i0.i1.u5.t153, i0.i1.u5.t155, i0.i2.t118, i0.i2.u15.t120, i1.t136, i1.u7.t141, i1.u7.t143, i1.u7.t146, i1.u7.t148, i1.u7.t150, i1.u10.t138, i2.u11.t130, i2.u11.t132, i2.u11.t134, i3.i0.t163, i3.i0.u3.t159, i3.i0.u3.t161, i3.i1.u20.t227, i3.i1.u21.t109, i3.i1.u22.t108, i3.i1.u22.t114, i4.i0.u18.t115, i4.i0.u24.t99, i4.i0.u24.t106, i4.i1.u26.t226, i5.u30.t88, i5.u30.t90, i5.u30.t93, i5.u30.t95, i6.u34.t81, i6.u36.t78, i7.i0.u38.t76, i7.i1.u68.t31, i7.i1.u68.t34, i7.i1.u68.t36, i8.t64, i8.t62, i8.i0.u52.t65, i8.i1.u53.t63, i8.i2.u51.t66, i9.i0.u59.t50, i9.i0.u67.t39, i9.i1.u42.t74, i9.i2.t52, i9.i2.u57.t55, i9.i2.u58.t53, i10.t56, i10.i0.u55.t59, i10.i1.u54.t61, i10.i3.u56.t57, i11.i0.u13.t123, i11.i0.u13.t125, i11.i0.u13.t127, i11.i1.u75.t21, i11.i1.u75.t23, i11.i1.u75.t25, i12.u79.t15, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/163/63/226
Detected timeout of ITS tools.
[2021-05-12 04:21:02] [INFO ] Applying decomposition
[2021-05-12 04:21:02] [INFO ] Flatten gal took : 201 ms
[2021-05-12 04:21:02] [INFO ] Decomposing Gal with order
[2021-05-12 04:21:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 04:21:03] [INFO ] Removed a total of 22 redundant transitions.
[2021-05-12 04:21:03] [INFO ] Flatten gal took : 328 ms
[2021-05-12 04:21:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 100 labels/synchronizations in 123 ms.
[2021-05-12 04:21:05] [INFO ] Time to serialize gal into /tmp/CTLFireability6010619753725633951.gal : 86 ms
[2021-05-12 04:21:05] [INFO ] Time to serialize properties into /tmp/CTLFireability17289660332397120498.ctl : 60 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/CTLFireability6010619753725633951.gal, -t, CGAL, -ctl, /tmp/CTLFireability17289660332397120498.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/CTLFireability6010619753725633951.gal -t CGAL -ctl /tmp/CTLFireability17289660332397120498.ctl
No direction supplied, using forward translation only.
Parsed 12 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.32756e+19,338.427,632356,12452,452,699261,2627,601,6.15171e+06,173,11860,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2021-05-12 04:43:24] [INFO ] Flatten gal took : 90 ms
[2021-05-12 04:43:24] [INFO ] Input system was already deterministic with 229 transitions.
[2021-05-12 04:43:24] [INFO ] Transformed 268 places.
[2021-05-12 04:43:24] [INFO ] Transformed 229 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 04:43:25] [INFO ] Time to serialize gal into /tmp/CTLFireability13689468830986553604.gal : 64 ms
[2021-05-12 04:43:25] [INFO ] Time to serialize properties into /tmp/CTLFireability2824381926733483320.ctl : 6 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/CTLFireability13689468830986553604.gal, -t, CGAL, -ctl, /tmp/CTLFireability2824381926733483320.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/CTLFireability13689468830986553604.gal -t CGAL -ctl /tmp/CTLFireability2824381926733483320.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 12 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.32756e+19,183.306,353076,2,79562,5,1.42623e+06,6,0,1301,1.65869e+06,0
Converting to forward existential form...Done !
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
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination 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="DES-PT-00b"
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 DES-PT-00b, 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 r064-tall-162038396500010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-00b.tgz
mv DES-PT-00b 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 ;