About the Execution of ITS-Tools for NeighborGrid-PT-d5n4m1t35
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11319.403 | 3600000.00 | 3900512.00 | 10417.00 | ???????T???????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r132-tall-165271821600986.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is NeighborGrid-PT-d5n4m1t35, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821600986
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 8.1K Apr 29 14:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Apr 29 14:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Apr 29 14:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 29 14:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.7K May 9 08:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 9 08:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 9 08:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 9 08:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 9 08:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rwxr-xr-x 1 mcc users 59M May 10 09:34 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 NeighborGrid-PT-d5n4m1t35-CTLFireability-00
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-01
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-02
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-03
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-04
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-05
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-06
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-07
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-08
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-09
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-10
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-11
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-12
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-13
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-14
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652910794942
Running Version 202205111006
[2022-05-18 21:53:16] [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]
[2022-05-18 21:53:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-18 21:53:17] [INFO ] Load time of PNML (sax parser for PT used): 1809 ms
[2022-05-18 21:53:18] [INFO ] Transformed 1024 places.
[2022-05-18 21:53:18] [INFO ] Transformed 196608 transitions.
[2022-05-18 21:53:18] [INFO ] Parsed PT model containing 1024 places and 196608 transitions in 2595 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 51 ms.
Support contains 112 out of 1024 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 6559 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 21:53:29] [INFO ] Computed 1 place invariants in 3311 ms
[2022-05-18 21:53:29] [INFO ] Implicit Places using invariants in 3710 ms returned []
Implicit Place search using SMT only with invariants took 3740 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 21:53:32] [INFO ] Computed 1 place invariants in 2957 ms
[2022-05-18 21:54:02] [INFO ] Performed 113183/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 21:54:22] [INFO ] Dead Transitions using invariants and state equation in 53377 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
Support contains 112 out of 1024 places after structural reductions.
[2022-05-18 21:54:26] [INFO ] Flatten gal took : 2820 ms
[2022-05-18 21:54:28] [INFO ] Flatten gal took : 2220 ms
[2022-05-18 21:54:34] [INFO ] Input system was already deterministic with 196608 transitions.
Support contains 110 out of 1024 places (down from 112) after GAL structural reductions.
Interrupted random walk after 4025 steps, including 1 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen 77
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 169 ms. (steps per millisecond=59 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 163 ms. (steps per millisecond=61 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 155 ms. (steps per millisecond=64 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 149 ms. (steps per millisecond=67 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 21:55:09] [INFO ] Computed 1 place invariants in 2662 ms
[2022-05-18 21:55:09] [INFO ] [Real]Absence check using 1 positive place invariants in 7 ms returned sat
[2022-05-18 21:55:34] [INFO ] After 24547ms SMT Verify possible using state equation in real domain returned unsat :0 sat :8
[2022-05-18 21:55:34] [INFO ] After 24676ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 49 ms.
[2022-05-18 21:55:34] [INFO ] After 25216ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :8
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 16 out of 1024 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Graph (trivial) has 190506 edges and 1024 vertex of which 1008 / 1024 are part of one of the 1 SCC in 127 ms
Free SCC test removed 1007 places
Drop transitions removed 190506 transitions
Ensure Unique test removed 6028 transitions
Reduce isomorphic transitions removed 196534 transitions.
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 0 with 16 rules applied. Total rules applied 17 place count 17 transition count 58
Applied a total of 17 rules in 699 ms. Remains 17 /1024 variables (removed 1007) and now considering 58/196608 (removed 196550) transitions.
Finished structural reductions, in 1 iterations. Remains : 17/1024 places, 58/196608 transitions.
Finished random walk after 1060 steps, including 0 resets, run visited all 9 properties in 3 ms. (steps per millisecond=353 )
[2022-05-18 21:55:37] [INFO ] Flatten gal took : 2305 ms
[2022-05-18 21:55:39] [INFO ] Flatten gal took : 2334 ms
[2022-05-18 21:55:45] [INFO ] Input system was already deterministic with 196608 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5507 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 21:55:53] [INFO ] Computed 1 place invariants in 2247 ms
[2022-05-18 21:55:53] [INFO ] Implicit Places using invariants in 2431 ms returned []
Implicit Place search using SMT only with invariants took 2433 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 21:55:56] [INFO ] Computed 1 place invariants in 2511 ms
[2022-05-18 21:56:26] [INFO ] Performed 119548/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 21:56:45] [INFO ] Dead Transitions using invariants and state equation in 52203 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 21:56:48] [INFO ] Flatten gal took : 2242 ms
[2022-05-18 21:56:50] [INFO ] Flatten gal took : 2424 ms
[2022-05-18 21:56:56] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 21:56:59] [INFO ] Flatten gal took : 2526 ms
[2022-05-18 21:57:02] [INFO ] Flatten gal took : 2786 ms
[2022-05-18 21:57:02] [INFO ] Time to serialize gal into /tmp/CTLFireability4878761590799341065.gal : 571 ms
[2022-05-18 21:57:02] [INFO ] Time to serialize properties into /tmp/CTLFireability12077337256197981834.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4878761590799341065.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12077337256197981834.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 21:57:35] [INFO ] Flatten gal took : 2257 ms
[2022-05-18 21:57:35] [INFO ] Applying decomposition
[2022-05-18 21:57:37] [INFO ] Flatten gal took : 2389 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8598427565996434629.txt' '-o' '/tmp/graph8598427565996434629.bin' '-w' '/tmp/graph8598427565996434629.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8598427565996434629.bin' '-l' '-1' '-v' '-w' '/tmp/graph8598427565996434629.weights' '-q' '0' '-e' '0.001'
[2022-05-18 21:57:43] [INFO ] Decomposing Gal with order
[2022-05-18 21:57:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 21:59:19] [INFO ] Removed a total of 239872 redundant transitions.
[2022-05-18 21:59:21] [INFO ] Flatten gal took : 96689 ms
[2022-05-18 21:59:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 418 ms.
[2022-05-18 21:59:24] [INFO ] Time to serialize gal into /tmp/CTLFireability12925392732777102643.gal : 309 ms
[2022-05-18 21:59:24] [INFO ] Time to serialize properties into /tmp/CTLFireability993177758711097079.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12925392732777102643.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability993177758711097079.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5626 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:00:02] [INFO ] Computed 1 place invariants in 2305 ms
[2022-05-18 22:00:02] [INFO ] Implicit Places using invariants in 2518 ms returned []
Implicit Place search using SMT only with invariants took 2529 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:00:05] [INFO ] Computed 1 place invariants in 2389 ms
[2022-05-18 22:00:35] [INFO ] Performed 121120/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:00:54] [INFO ] Dead Transitions using invariants and state equation in 51309 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:00:56] [INFO ] Flatten gal took : 2360 ms
[2022-05-18 22:00:59] [INFO ] Flatten gal took : 2609 ms
[2022-05-18 22:01:04] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:01:07] [INFO ] Flatten gal took : 2413 ms
[2022-05-18 22:01:09] [INFO ] Flatten gal took : 2637 ms
[2022-05-18 22:01:10] [INFO ] Time to serialize gal into /tmp/CTLFireability6311062485977753634.gal : 375 ms
[2022-05-18 22:01:10] [INFO ] Time to serialize properties into /tmp/CTLFireability4040634020686997433.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6311062485977753634.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4040634020686997433.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:01:42] [INFO ] Flatten gal took : 2482 ms
[2022-05-18 22:01:42] [INFO ] Applying decomposition
[2022-05-18 22:01:45] [INFO ] Flatten gal took : 2632 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7287976090650674307.txt' '-o' '/tmp/graph7287976090650674307.bin' '-w' '/tmp/graph7287976090650674307.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7287976090650674307.bin' '-l' '-1' '-v' '-w' '/tmp/graph7287976090650674307.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:01:53] [INFO ] Decomposing Gal with order
[2022-05-18 22:01:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:03:10] [INFO ] Removed a total of 283200 redundant transitions.
[2022-05-18 22:03:12] [INFO ] Flatten gal took : 77319 ms
[2022-05-18 22:03:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 324 ms.
[2022-05-18 22:03:18] [INFO ] Time to serialize gal into /tmp/CTLFireability6364629473752031714.gal : 469 ms
[2022-05-18 22:03:18] [INFO ] Time to serialize properties into /tmp/CTLFireability12306785151858917820.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6364629473752031714.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12306785151858917820.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 7919 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:03:59] [INFO ] Computed 1 place invariants in 2785 ms
[2022-05-18 22:03:59] [INFO ] Implicit Places using invariants in 2974 ms returned []
Implicit Place search using SMT only with invariants took 2975 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:04:02] [INFO ] Computed 1 place invariants in 2905 ms
[2022-05-18 22:04:32] [INFO ] Performed 112478/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:04:53] [INFO ] Dead Transitions using invariants and state equation in 54572 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:04:56] [INFO ] Flatten gal took : 2291 ms
[2022-05-18 22:04:58] [INFO ] Flatten gal took : 2747 ms
[2022-05-18 22:05:04] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:05:07] [INFO ] Flatten gal took : 2382 ms
[2022-05-18 22:05:09] [INFO ] Flatten gal took : 2468 ms
[2022-05-18 22:05:10] [INFO ] Time to serialize gal into /tmp/CTLFireability9119251104750978681.gal : 341 ms
[2022-05-18 22:05:10] [INFO ] Time to serialize properties into /tmp/CTLFireability12127068451010643161.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9119251104750978681.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12127068451010643161.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:05:42] [INFO ] Flatten gal took : 2534 ms
[2022-05-18 22:05:42] [INFO ] Applying decomposition
[2022-05-18 22:05:45] [INFO ] Flatten gal took : 2463 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8555366244813200394.txt' '-o' '/tmp/graph8555366244813200394.bin' '-w' '/tmp/graph8555366244813200394.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8555366244813200394.bin' '-l' '-1' '-v' '-w' '/tmp/graph8555366244813200394.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:05:51] [INFO ] Decomposing Gal with order
[2022-05-18 22:05:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:07:17] [INFO ] Removed a total of 259072 redundant transitions.
[2022-05-18 22:07:18] [INFO ] Flatten gal took : 85455 ms
[2022-05-18 22:07:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 226 ms.
[2022-05-18 22:07:20] [INFO ] Time to serialize gal into /tmp/CTLFireability16176180099999513425.gal : 268 ms
[2022-05-18 22:07:20] [INFO ] Time to serialize properties into /tmp/CTLFireability12799166552723381579.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16176180099999513425.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12799166552723381579.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 6496 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:08:00] [INFO ] Computed 1 place invariants in 3103 ms
[2022-05-18 22:08:00] [INFO ] Implicit Places using invariants in 3279 ms returned []
Implicit Place search using SMT only with invariants took 3280 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:08:03] [INFO ] Computed 1 place invariants in 2910 ms
[2022-05-18 22:08:33] [INFO ] Performed 121687/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:08:51] [INFO ] Dead Transitions using invariants and state equation in 51113 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:08:54] [INFO ] Flatten gal took : 2353 ms
[2022-05-18 22:08:56] [INFO ] Flatten gal took : 2675 ms
[2022-05-18 22:09:02] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:09:05] [INFO ] Flatten gal took : 2382 ms
[2022-05-18 22:09:07] [INFO ] Flatten gal took : 2283 ms
[2022-05-18 22:09:07] [INFO ] Time to serialize gal into /tmp/CTLFireability4813482835247277945.gal : 316 ms
[2022-05-18 22:09:07] [INFO ] Time to serialize properties into /tmp/CTLFireability13505537970597764555.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4813482835247277945.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13505537970597764555.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:09:40] [INFO ] Flatten gal took : 2324 ms
[2022-05-18 22:09:40] [INFO ] Applying decomposition
[2022-05-18 22:09:42] [INFO ] Flatten gal took : 2286 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9987059660118364847.txt' '-o' '/tmp/graph9987059660118364847.bin' '-w' '/tmp/graph9987059660118364847.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9987059660118364847.bin' '-l' '-1' '-v' '-w' '/tmp/graph9987059660118364847.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:09:48] [INFO ] Decomposing Gal with order
[2022-05-18 22:09:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:11:17] [INFO ] Removed a total of 239616 redundant transitions.
[2022-05-18 22:11:18] [INFO ] Flatten gal took : 88817 ms
[2022-05-18 22:11:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 216 ms.
[2022-05-18 22:11:20] [INFO ] Time to serialize gal into /tmp/CTLFireability4714043846138753972.gal : 278 ms
[2022-05-18 22:11:20] [INFO ] Time to serialize properties into /tmp/CTLFireability10122917494091624213.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4714043846138753972.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10122917494091624213.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 7620 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:12:00] [INFO ] Computed 1 place invariants in 2732 ms
[2022-05-18 22:12:00] [INFO ] Implicit Places using invariants in 2931 ms returned []
Implicit Place search using SMT only with invariants took 2933 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:12:03] [INFO ] Computed 1 place invariants in 2577 ms
[2022-05-18 22:12:33] [INFO ] Performed 118316/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:12:53] [INFO ] Dead Transitions using invariants and state equation in 52926 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:12:56] [INFO ] Flatten gal took : 2319 ms
[2022-05-18 22:12:58] [INFO ] Flatten gal took : 2372 ms
[2022-05-18 22:13:04] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:13:07] [INFO ] Flatten gal took : 2378 ms
[2022-05-18 22:13:09] [INFO ] Flatten gal took : 2416 ms
[2022-05-18 22:13:09] [INFO ] Time to serialize gal into /tmp/CTLFireability17640746161824962678.gal : 271 ms
[2022-05-18 22:13:09] [INFO ] Time to serialize properties into /tmp/CTLFireability7358085258183435549.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17640746161824962678.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7358085258183435549.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:13:42] [INFO ] Flatten gal took : 2298 ms
[2022-05-18 22:13:42] [INFO ] Applying decomposition
[2022-05-18 22:13:44] [INFO ] Flatten gal took : 2475 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4397605679056562875.txt' '-o' '/tmp/graph4397605679056562875.bin' '-w' '/tmp/graph4397605679056562875.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4397605679056562875.bin' '-l' '-1' '-v' '-w' '/tmp/graph4397605679056562875.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:13:50] [INFO ] Decomposing Gal with order
[2022-05-18 22:13:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:15:09] [INFO ] Removed a total of 254464 redundant transitions.
[2022-05-18 22:15:10] [INFO ] Flatten gal took : 78600 ms
[2022-05-18 22:15:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 228 ms.
[2022-05-18 22:15:12] [INFO ] Time to serialize gal into /tmp/CTLFireability8066253700364170163.gal : 274 ms
[2022-05-18 22:15:12] [INFO ] Time to serialize properties into /tmp/CTLFireability9824038137549356292.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8066253700364170163.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9824038137549356292.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 11115 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:15:56] [INFO ] Computed 1 place invariants in 2678 ms
[2022-05-18 22:15:56] [INFO ] Implicit Places using invariants in 2887 ms returned []
Implicit Place search using SMT only with invariants took 2888 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:16:00] [INFO ] Computed 1 place invariants in 3310 ms
[2022-05-18 22:16:30] [INFO ] Performed 118820/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:16:49] [INFO ] Dead Transitions using invariants and state equation in 52513 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:16:51] [INFO ] Flatten gal took : 2169 ms
[2022-05-18 22:16:53] [INFO ] Flatten gal took : 2402 ms
[2022-05-18 22:17:00] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:17:03] [INFO ] Flatten gal took : 2444 ms
[2022-05-18 22:17:05] [INFO ] Flatten gal took : 2401 ms
[2022-05-18 22:17:05] [INFO ] Time to serialize gal into /tmp/CTLFireability1649355681422357592.gal : 284 ms
[2022-05-18 22:17:05] [INFO ] Time to serialize properties into /tmp/CTLFireability6552288110563496980.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1649355681422357592.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6552288110563496980.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:17:38] [INFO ] Flatten gal took : 2436 ms
[2022-05-18 22:17:38] [INFO ] Applying decomposition
[2022-05-18 22:17:40] [INFO ] Flatten gal took : 2651 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16857393801245755809.txt' '-o' '/tmp/graph16857393801245755809.bin' '-w' '/tmp/graph16857393801245755809.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16857393801245755809.bin' '-l' '-1' '-v' '-w' '/tmp/graph16857393801245755809.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:17:48] [INFO ] Decomposing Gal with order
[2022-05-18 22:17:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:19:11] [INFO ] Removed a total of 240320 redundant transitions.
[2022-05-18 22:19:12] [INFO ] Flatten gal took : 82519 ms
[2022-05-18 22:19:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 221 ms.
[2022-05-18 22:19:14] [INFO ] Time to serialize gal into /tmp/CTLFireability9321273019597742813.gal : 282 ms
[2022-05-18 22:19:14] [INFO ] Time to serialize properties into /tmp/CTLFireability14653712471449718503.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9321273019597742813.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14653712471449718503.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 6292 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:19:54] [INFO ] Computed 1 place invariants in 2819 ms
[2022-05-18 22:19:54] [INFO ] Implicit Places using invariants in 2992 ms returned []
Implicit Place search using SMT only with invariants took 2992 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:19:57] [INFO ] Computed 1 place invariants in 3065 ms
[2022-05-18 22:20:27] [INFO ] Performed 123000/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:20:44] [INFO ] Dead Transitions using invariants and state equation in 50622 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:20:47] [INFO ] Flatten gal took : 2250 ms
[2022-05-18 22:20:49] [INFO ] Flatten gal took : 2301 ms
[2022-05-18 22:20:54] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:20:57] [INFO ] Flatten gal took : 2320 ms
[2022-05-18 22:20:59] [INFO ] Flatten gal took : 2234 ms
[2022-05-18 22:20:59] [INFO ] Time to serialize gal into /tmp/CTLFireability2757984050068799083.gal : 272 ms
[2022-05-18 22:20:59] [INFO ] Time to serialize properties into /tmp/CTLFireability16786007556353161875.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2757984050068799083.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16786007556353161875.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:21:32] [INFO ] Flatten gal took : 2224 ms
[2022-05-18 22:21:32] [INFO ] Applying decomposition
[2022-05-18 22:21:34] [INFO ] Flatten gal took : 2039 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11191188904906723361.txt' '-o' '/tmp/graph11191188904906723361.bin' '-w' '/tmp/graph11191188904906723361.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11191188904906723361.bin' '-l' '-1' '-v' '-w' '/tmp/graph11191188904906723361.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:21:39] [INFO ] Decomposing Gal with order
[2022-05-18 22:21:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:22:51] [INFO ] Removed a total of 265216 redundant transitions.
[2022-05-18 22:22:52] [INFO ] Flatten gal took : 71414 ms
[2022-05-18 22:22:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 234 ms.
[2022-05-18 22:22:55] [INFO ] Time to serialize gal into /tmp/CTLFireability3818461090024888566.gal : 279 ms
[2022-05-18 22:22:55] [INFO ] Time to serialize properties into /tmp/CTLFireability11024859605246026156.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3818461090024888566.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11024859605246026156.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Graph (trivial) has 196224 edges and 1024 vertex of which 1023 / 1024 are part of one of the 1 SCC in 28 ms
Free SCC test removed 1022 places
Ensure Unique test removed 196605 transitions
Reduce isomorphic transitions removed 196605 transitions.
Applied a total of 1 rules in 153 ms. Remains 2 /1024 variables (removed 1022) and now considering 3/196608 (removed 196605) transitions.
// Phase 1: matrix 3 rows 2 cols
[2022-05-18 22:23:25] [INFO ] Computed 1 place invariants in 1 ms
[2022-05-18 22:23:25] [INFO ] Implicit Places using invariants in 17 ms returned []
// Phase 1: matrix 3 rows 2 cols
[2022-05-18 22:23:25] [INFO ] Computed 1 place invariants in 0 ms
[2022-05-18 22:23:25] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 42 ms to find 0 implicit places.
[2022-05-18 22:23:25] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 3 rows 2 cols
[2022-05-18 22:23:25] [INFO ] Computed 1 place invariants in 1 ms
[2022-05-18 22:23:25] [INFO ] Dead Transitions using invariants and state equation in 18 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2/1024 places, 3/196608 transitions.
Finished structural reductions, in 1 iterations. Remains : 2/1024 places, 3/196608 transitions.
[2022-05-18 22:23:25] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:23:25] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:23:25] [INFO ] Input system was already deterministic with 3 transitions.
[2022-05-18 22:23:25] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:23:25] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:23:25] [INFO ] Time to serialize gal into /tmp/CTLFireability16465385167785406211.gal : 0 ms
[2022-05-18 22:23:25] [INFO ] Time to serialize properties into /tmp/CTLFireability14733011906375386314.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16465385167785406211.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14733011906375386314.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
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,1025,1.31698,26872,2,1027,5,7172,6,0,13,5118,0
Converting to forward existential form...Done !
original formula: AG(EF((p_3_3_0_0_1>=1)))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U (p_3_3_0_0_1>=1))))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,1.33137,26872,1,0,6,7172,14,0,2089,5118,5
FORMULA NeighborGrid-PT-d5n4m1t35-CTLFireability-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Graph (trivial) has 194692 edges and 1024 vertex of which 1019 / 1024 are part of one of the 1 SCC in 25 ms
Free SCC test removed 1018 places
Ensure Unique test removed 196593 transitions
Reduce isomorphic transitions removed 196593 transitions.
Applied a total of 1 rules in 148 ms. Remains 6 /1024 variables (removed 1018) and now considering 15/196608 (removed 196593) transitions.
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:23:26] [INFO ] Computed 1 place invariants in 0 ms
[2022-05-18 22:23:27] [INFO ] Implicit Places using invariants in 19 ms returned []
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:23:27] [INFO ] Computed 1 place invariants in 0 ms
[2022-05-18 22:23:27] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 43 ms to find 0 implicit places.
[2022-05-18 22:23:27] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:23:27] [INFO ] Computed 1 place invariants in 1 ms
[2022-05-18 22:23:27] [INFO ] Dead Transitions using invariants and state equation in 24 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6/1024 places, 15/196608 transitions.
Finished structural reductions, in 1 iterations. Remains : 6/1024 places, 15/196608 transitions.
[2022-05-18 22:23:27] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:23:27] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:23:27] [INFO ] Input system was already deterministic with 15 transitions.
[2022-05-18 22:23:27] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:23:27] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:23:27] [INFO ] Time to serialize gal into /tmp/CTLFireability5988930890202215543.gal : 0 ms
[2022-05-18 22:23:27] [INFO ] Time to serialize properties into /tmp/CTLFireability12700529114966149178.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5988930890202215543.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12700529114966149178.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:23:57] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:23:57] [INFO ] Applying decomposition
[2022-05-18 22:23:57] [INFO ] Flatten gal took : 0 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17703472800929575770.txt' '-o' '/tmp/graph17703472800929575770.bin' '-w' '/tmp/graph17703472800929575770.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17703472800929575770.bin' '-l' '-1' '-v' '-w' '/tmp/graph17703472800929575770.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:23:57] [INFO ] Decomposing Gal with order
[2022-05-18 22:23:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:23:57] [INFO ] Removed a total of 4 redundant transitions.
[2022-05-18 22:23:57] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:23:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 0 ms.
[2022-05-18 22:23:57] [INFO ] Time to serialize gal into /tmp/CTLFireability7348413973803357491.gal : 0 ms
[2022-05-18 22:23:57] [INFO ] Time to serialize properties into /tmp/CTLFireability6111731214854240379.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7348413973803357491.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6111731214854240379.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5391 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:24:34] [INFO ] Computed 1 place invariants in 2199 ms
[2022-05-18 22:24:35] [INFO ] Implicit Places using invariants in 2379 ms returned []
Implicit Place search using SMT only with invariants took 2380 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:24:37] [INFO ] Computed 1 place invariants in 2180 ms
[2022-05-18 22:25:07] [INFO ] Performed 120645/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:25:26] [INFO ] Dead Transitions using invariants and state equation in 51094 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:25:28] [INFO ] Flatten gal took : 2305 ms
[2022-05-18 22:25:30] [INFO ] Flatten gal took : 2264 ms
[2022-05-18 22:25:35] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:25:38] [INFO ] Flatten gal took : 2128 ms
[2022-05-18 22:25:40] [INFO ] Flatten gal took : 2160 ms
[2022-05-18 22:25:40] [INFO ] Time to serialize gal into /tmp/CTLFireability9083381723642344971.gal : 303 ms
[2022-05-18 22:25:40] [INFO ] Time to serialize properties into /tmp/CTLFireability186826729453207455.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9083381723642344971.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability186826729453207455.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:26:13] [INFO ] Flatten gal took : 2212 ms
[2022-05-18 22:26:13] [INFO ] Applying decomposition
[2022-05-18 22:26:15] [INFO ] Flatten gal took : 2290 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph50444265961331426.txt' '-o' '/tmp/graph50444265961331426.bin' '-w' '/tmp/graph50444265961331426.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph50444265961331426.bin' '-l' '-1' '-v' '-w' '/tmp/graph50444265961331426.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:26:20] [INFO ] Decomposing Gal with order
[2022-05-18 22:26:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:27:39] [INFO ] Removed a total of 258048 redundant transitions.
[2022-05-18 22:27:41] [INFO ] Flatten gal took : 78617 ms
[2022-05-18 22:27:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 277 ms.
[2022-05-18 22:27:44] [INFO ] Time to serialize gal into /tmp/CTLFireability8337417775779820897.gal : 357 ms
[2022-05-18 22:27:44] [INFO ] Time to serialize properties into /tmp/CTLFireability15535475598622482336.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8337417775779820897.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15535475598622482336.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Graph (trivial) has 194692 edges and 1024 vertex of which 1019 / 1024 are part of one of the 1 SCC in 45 ms
Free SCC test removed 1018 places
Ensure Unique test removed 196593 transitions
Reduce isomorphic transitions removed 196593 transitions.
Applied a total of 1 rules in 164 ms. Remains 6 /1024 variables (removed 1018) and now considering 15/196608 (removed 196593) transitions.
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:28:15] [INFO ] Computed 1 place invariants in 1 ms
[2022-05-18 22:28:15] [INFO ] Implicit Places using invariants in 21 ms returned []
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:28:15] [INFO ] Computed 1 place invariants in 0 ms
[2022-05-18 22:28:15] [INFO ] Implicit Places using invariants and state equation in 16 ms returned []
Implicit Place search using SMT with State Equation took 37 ms to find 0 implicit places.
[2022-05-18 22:28:15] [INFO ] Redundant transitions in 1 ms returned []
// Phase 1: matrix 15 rows 6 cols
[2022-05-18 22:28:15] [INFO ] Computed 1 place invariants in 1 ms
[2022-05-18 22:28:15] [INFO ] Dead Transitions using invariants and state equation in 18 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 6/1024 places, 15/196608 transitions.
Finished structural reductions, in 1 iterations. Remains : 6/1024 places, 15/196608 transitions.
[2022-05-18 22:28:15] [INFO ] Flatten gal took : 2 ms
[2022-05-18 22:28:15] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:28:15] [INFO ] Input system was already deterministic with 15 transitions.
[2022-05-18 22:28:15] [INFO ] Flatten gal took : 0 ms
[2022-05-18 22:28:15] [INFO ] Flatten gal took : 1 ms
[2022-05-18 22:28:15] [INFO ] Time to serialize gal into /tmp/CTLFireability12019686601726813485.gal : 0 ms
[2022-05-18 22:28:15] [INFO ] Time to serialize properties into /tmp/CTLFireability11194879331420483856.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12019686601726813485.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11194879331420483856.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:28:45] [INFO ] Flatten gal took : 2 ms
[2022-05-18 22:28:45] [INFO ] Applying decomposition
[2022-05-18 22:28:45] [INFO ] Flatten gal took : 1 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph378446829725237478.txt' '-o' '/tmp/graph378446829725237478.bin' '-w' '/tmp/graph378446829725237478.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph378446829725237478.bin' '-l' '-1' '-v' '-w' '/tmp/graph378446829725237478.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:28:45] [INFO ] Decomposing Gal with order
[2022-05-18 22:28:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:28:45] [INFO ] Removed a total of 4 redundant transitions.
[2022-05-18 22:28:45] [INFO ] Flatten gal took : 2 ms
[2022-05-18 22:28:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 0 ms.
[2022-05-18 22:28:45] [INFO ] Time to serialize gal into /tmp/CTLFireability33582713615515261.gal : 0 ms
[2022-05-18 22:28:45] [INFO ] Time to serialize properties into /tmp/CTLFireability2773912860340834296.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability33582713615515261.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2773912860340834296.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...251
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5281 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:29:23] [INFO ] Computed 1 place invariants in 3135 ms
[2022-05-18 22:29:23] [INFO ] Implicit Places using invariants in 3307 ms returned []
Implicit Place search using SMT only with invariants took 3307 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:29:26] [INFO ] Computed 1 place invariants in 2266 ms
[2022-05-18 22:29:56] [INFO ] Performed 120155/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:30:15] [INFO ] Dead Transitions using invariants and state equation in 51758 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:30:18] [INFO ] Flatten gal took : 2301 ms
[2022-05-18 22:30:20] [INFO ] Flatten gal took : 2282 ms
[2022-05-18 22:30:25] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:30:28] [INFO ] Flatten gal took : 2176 ms
[2022-05-18 22:30:30] [INFO ] Flatten gal took : 2592 ms
[2022-05-18 22:30:31] [INFO ] Time to serialize gal into /tmp/CTLFireability2541928043659487867.gal : 319 ms
[2022-05-18 22:30:31] [INFO ] Time to serialize properties into /tmp/CTLFireability12809442436013302560.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2541928043659487867.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12809442436013302560.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:31:03] [INFO ] Flatten gal took : 2290 ms
[2022-05-18 22:31:03] [INFO ] Applying decomposition
[2022-05-18 22:31:06] [INFO ] Flatten gal took : 2420 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13960982617597183337.txt' '-o' '/tmp/graph13960982617597183337.bin' '-w' '/tmp/graph13960982617597183337.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13960982617597183337.bin' '-l' '-1' '-v' '-w' '/tmp/graph13960982617597183337.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:31:13] [INFO ] Decomposing Gal with order
[2022-05-18 22:31:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:32:28] [INFO ] Removed a total of 260288 redundant transitions.
[2022-05-18 22:32:29] [INFO ] Flatten gal took : 74459 ms
[2022-05-18 22:32:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 260 ms.
[2022-05-18 22:32:32] [INFO ] Time to serialize gal into /tmp/CTLFireability14094273459027631564.gal : 346 ms
[2022-05-18 22:32:32] [INFO ] Time to serialize properties into /tmp/CTLFireability17372884317482599058.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14094273459027631564.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17372884317482599058.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 6085 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:33:11] [INFO ] Computed 1 place invariants in 2691 ms
[2022-05-18 22:33:11] [INFO ] Implicit Places using invariants in 2868 ms returned []
Implicit Place search using SMT only with invariants took 2869 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:33:14] [INFO ] Computed 1 place invariants in 2831 ms
[2022-05-18 22:33:44] [INFO ] Performed 123256/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:34:02] [INFO ] Dead Transitions using invariants and state equation in 51144 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:34:05] [INFO ] Flatten gal took : 2183 ms
[2022-05-18 22:34:07] [INFO ] Flatten gal took : 2502 ms
[2022-05-18 22:34:13] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:34:15] [INFO ] Flatten gal took : 2378 ms
[2022-05-18 22:34:18] [INFO ] Flatten gal took : 2579 ms
[2022-05-18 22:34:18] [INFO ] Time to serialize gal into /tmp/CTLFireability12179045814127340394.gal : 267 ms
[2022-05-18 22:34:18] [INFO ] Time to serialize properties into /tmp/CTLFireability8305232272897396353.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12179045814127340394.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8305232272897396353.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:34:51] [INFO ] Flatten gal took : 2207 ms
[2022-05-18 22:34:51] [INFO ] Applying decomposition
[2022-05-18 22:34:53] [INFO ] Flatten gal took : 2316 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14341997339359989761.txt' '-o' '/tmp/graph14341997339359989761.bin' '-w' '/tmp/graph14341997339359989761.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14341997339359989761.bin' '-l' '-1' '-v' '-w' '/tmp/graph14341997339359989761.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:34:59] [INFO ] Decomposing Gal with order
[2022-05-18 22:34:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:36:06] [INFO ] Removed a total of 278528 redundant transitions.
[2022-05-18 22:36:07] [INFO ] Flatten gal took : 66544 ms
[2022-05-18 22:36:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 246 ms.
[2022-05-18 22:36:09] [INFO ] Time to serialize gal into /tmp/CTLFireability10978844207227956395.gal : 274 ms
[2022-05-18 22:36:09] [INFO ] Time to serialize properties into /tmp/CTLFireability14993487612418546285.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10978844207227956395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14993487612418546285.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5411 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:36:47] [INFO ] Computed 1 place invariants in 2161 ms
[2022-05-18 22:36:47] [INFO ] Implicit Places using invariants in 2337 ms returned []
Implicit Place search using SMT only with invariants took 2338 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:36:50] [INFO ] Computed 1 place invariants in 2313 ms
[2022-05-18 22:37:20] [INFO ] Performed 120174/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:37:39] [INFO ] Dead Transitions using invariants and state equation in 51599 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:37:41] [INFO ] Flatten gal took : 2247 ms
[2022-05-18 22:37:44] [INFO ] Flatten gal took : 2443 ms
[2022-05-18 22:37:50] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:37:52] [INFO ] Flatten gal took : 2292 ms
[2022-05-18 22:37:54] [INFO ] Flatten gal took : 2161 ms
[2022-05-18 22:37:55] [INFO ] Time to serialize gal into /tmp/CTLFireability9628342032168900566.gal : 461 ms
[2022-05-18 22:37:55] [INFO ] Time to serialize properties into /tmp/CTLFireability14043732781699594369.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9628342032168900566.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14043732781699594369.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:38:27] [INFO ] Flatten gal took : 2174 ms
[2022-05-18 22:38:27] [INFO ] Applying decomposition
[2022-05-18 22:38:30] [INFO ] Flatten gal took : 2400 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2634390300949300146.txt' '-o' '/tmp/graph2634390300949300146.bin' '-w' '/tmp/graph2634390300949300146.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2634390300949300146.bin' '-l' '-1' '-v' '-w' '/tmp/graph2634390300949300146.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:38:35] [INFO ] Decomposing Gal with order
[2022-05-18 22:38:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:39:47] [INFO ] Removed a total of 263680 redundant transitions.
[2022-05-18 22:39:48] [INFO ] Flatten gal took : 71498 ms
[2022-05-18 22:39:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 254 ms.
[2022-05-18 22:39:51] [INFO ] Time to serialize gal into /tmp/CTLFireability2180775549862153206.gal : 316 ms
[2022-05-18 22:39:51] [INFO ] Time to serialize properties into /tmp/CTLFireability8336041722634705685.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2180775549862153206.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8336041722634705685.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 4919 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:40:28] [INFO ] Computed 1 place invariants in 2261 ms
[2022-05-18 22:40:28] [INFO ] Implicit Places using invariants in 2427 ms returned []
Implicit Place search using SMT only with invariants took 2428 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:40:31] [INFO ] Computed 1 place invariants in 2593 ms
[2022-05-18 22:41:01] [INFO ] Performed 119150/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:41:19] [INFO ] Dead Transitions using invariants and state equation in 51290 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:41:22] [INFO ] Flatten gal took : 2109 ms
[2022-05-18 22:41:24] [INFO ] Flatten gal took : 2531 ms
[2022-05-18 22:41:30] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:41:32] [INFO ] Flatten gal took : 2212 ms
[2022-05-18 22:41:34] [INFO ] Flatten gal took : 2176 ms
[2022-05-18 22:41:35] [INFO ] Time to serialize gal into /tmp/CTLFireability832644838232335775.gal : 305 ms
[2022-05-18 22:41:35] [INFO ] Time to serialize properties into /tmp/CTLFireability263740493287924363.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability832644838232335775.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability263740493287924363.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...272
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:42:07] [INFO ] Flatten gal took : 2165 ms
[2022-05-18 22:42:07] [INFO ] Applying decomposition
[2022-05-18 22:42:09] [INFO ] Flatten gal took : 2334 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14700682496408818526.txt' '-o' '/tmp/graph14700682496408818526.bin' '-w' '/tmp/graph14700682496408818526.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14700682496408818526.bin' '-l' '-1' '-v' '-w' '/tmp/graph14700682496408818526.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:42:15] [INFO ] Decomposing Gal with order
[2022-05-18 22:42:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:43:32] [INFO ] Removed a total of 246528 redundant transitions.
[2022-05-18 22:43:33] [INFO ] Flatten gal took : 76814 ms
[2022-05-18 22:43:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 212 ms.
[2022-05-18 22:43:35] [INFO ] Time to serialize gal into /tmp/CTLFireability4512568182014926004.gal : 299 ms
[2022-05-18 22:43:35] [INFO ] Time to serialize properties into /tmp/CTLFireability17273875087571063567.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4512568182014926004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17273875087571063567.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1024/1024 places, 196608/196608 transitions.
Applied a total of 0 rules in 5194 ms. Remains 1024 /1024 variables (removed 0) and now considering 196608/196608 (removed 0) transitions.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:44:12] [INFO ] Computed 1 place invariants in 2096 ms
[2022-05-18 22:44:12] [INFO ] Implicit Places using invariants in 2267 ms returned []
Implicit Place search using SMT only with invariants took 2269 ms to find 0 implicit places.
// Phase 1: matrix 196608 rows 1024 cols
[2022-05-18 22:44:15] [INFO ] Computed 1 place invariants in 2143 ms
[2022-05-18 22:44:45] [INFO ] Performed 121370/196608 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-18 22:45:06] [INFO ] Dead Transitions using invariants and state equation in 53289 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1024/1024 places, 196608/196608 transitions.
[2022-05-18 22:45:08] [INFO ] Flatten gal took : 2451 ms
[2022-05-18 22:45:11] [INFO ] Flatten gal took : 2358 ms
[2022-05-18 22:45:17] [INFO ] Input system was already deterministic with 196608 transitions.
[2022-05-18 22:45:19] [INFO ] Flatten gal took : 2209 ms
[2022-05-18 22:45:21] [INFO ] Flatten gal took : 2274 ms
[2022-05-18 22:45:22] [INFO ] Time to serialize gal into /tmp/CTLFireability17520251807753242587.gal : 319 ms
[2022-05-18 22:45:22] [INFO ] Time to serialize properties into /tmp/CTLFireability7085807212557497510.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17520251807753242587.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7085807212557497510.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 22:45:54] [INFO ] Flatten gal took : 2196 ms
[2022-05-18 22:45:54] [INFO ] Applying decomposition
[2022-05-18 22:45:57] [INFO ] Flatten gal took : 2504 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13597743787635434175.txt' '-o' '/tmp/graph13597743787635434175.bin' '-w' '/tmp/graph13597743787635434175.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13597743787635434175.bin' '-l' '-1' '-v' '-w' '/tmp/graph13597743787635434175.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:46:02] [INFO ] Decomposing Gal with order
[2022-05-18 22:46:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:47:17] [INFO ] Removed a total of 253440 redundant transitions.
[2022-05-18 22:47:18] [INFO ] Flatten gal took : 74209 ms
[2022-05-18 22:47:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 229 ms.
[2022-05-18 22:47:20] [INFO ] Time to serialize gal into /tmp/CTLFireability12157395940026329936.gal : 434 ms
[2022-05-18 22:47:20] [INFO ] Time to serialize properties into /tmp/CTLFireability6356099122265309785.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12157395940026329936.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6356099122265309785.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
Detected timeout of ITS tools.
[2022-05-18 22:47:53] [INFO ] Flatten gal took : 2275 ms
[2022-05-18 22:47:55] [INFO ] Flatten gal took : 2413 ms
[2022-05-18 22:47:57] [INFO ] Applying decomposition
[2022-05-18 22:48:00] [INFO ] Flatten gal took : 2594 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6145811135826295584.txt' '-o' '/tmp/graph6145811135826295584.bin' '-w' '/tmp/graph6145811135826295584.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6145811135826295584.bin' '-l' '-1' '-v' '-w' '/tmp/graph6145811135826295584.weights' '-q' '0' '-e' '0.001'
[2022-05-18 22:48:06] [INFO ] Decomposing Gal with order
[2022-05-18 22:48:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 22:49:18] [INFO ] Removed a total of 263680 redundant transitions.
[2022-05-18 22:49:19] [INFO ] Flatten gal took : 70774 ms
[2022-05-18 22:49:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 228 ms.
[2022-05-18 22:49:22] [INFO ] Time to serialize gal into /tmp/CTLFireability2123893398311058093.gal : 250 ms
[2022-05-18 22:49:22] [INFO ] Time to serialize properties into /tmp/CTLFireability7860756956077998781.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2123893398311058093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7860756956077998781.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ 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
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -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=@none -Xss128m -Xms40m -Xmx8192m
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="NeighborGrid-PT-d5n4m1t35"
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 NeighborGrid-PT-d5n4m1t35, 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 r132-tall-165271821600986"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d5n4m1t35.tgz
mv NeighborGrid-PT-d5n4m1t35 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 ;