About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S16C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16237.884 | 3600000.00 | 2708010.00 | 462998.30 | ?????F??????F??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r292-tall-162124156700602.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S16C06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124156700602
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 37K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 90K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 12 07:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 12 07:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 12 07:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 12 07:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.3K May 11 18:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K May 11 18:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.0K May 11 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 11 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 11M May 12 08:13 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 MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621329317281
Running Version 0
[2021-05-18 09:15:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 09:15:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 09:15:35] [INFO ] Load time of PNML (sax parser for PT used): 378 ms
[2021-05-18 09:15:35] [INFO ] Transformed 5568 places.
[2021-05-18 09:15:35] [INFO ] Transformed 7799 transitions.
[2021-05-18 09:15:35] [INFO ] Parsed PT model containing 5568 places and 7799 transitions in 453 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 15 ms.
Support contains 651 out of 5568 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5568/5568 places, 7799/7799 transitions.
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 5536 transition count 7799
Discarding 1507 places :
Symmetric choice reduction at 1 with 1507 rule applications. Total rules 1539 place count 4029 transition count 6292
Iterating global reduction 1 with 1507 rules applied. Total rules applied 3046 place count 4029 transition count 6292
Discarding 1218 places :
Symmetric choice reduction at 1 with 1218 rule applications. Total rules 4264 place count 2811 transition count 5074
Iterating global reduction 1 with 1218 rules applied. Total rules applied 5482 place count 2811 transition count 5074
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 5533 place count 2760 transition count 4768
Iterating global reduction 1 with 51 rules applied. Total rules applied 5584 place count 2760 transition count 4768
Applied a total of 5584 rules in 1171 ms. Remains 2760 /5568 variables (removed 2808) and now considering 4768/7799 (removed 3031) transitions.
[2021-05-18 09:15:36] [INFO ] Flow matrix only has 4496 transitions (discarded 272 similar events)
// Phase 1: matrix 4496 rows 2760 cols
[2021-05-18 09:15:37] [INFO ] Computed 541 place invariants in 372 ms
[2021-05-18 09:15:39] [INFO ] Implicit Places using invariants in 2522 ms returned [4, 8, 12, 18, 24, 32, 49, 61, 74, 94, 112, 132, 134, 138, 140, 156, 170, 179, 189, 195, 202, 237, 240, 242, 246, 251, 257, 266, 277, 288, 303, 319, 337, 339, 352, 366, 375, 381, 386, 425, 435, 439, 446, 454, 462, 475, 489, 504, 517, 518, 519, 520, 522, 531, 540, 545, 548, 550, 553, 582, 589, 608, 612, 615, 620, 631, 642, 656, 668, 671, 672, 684, 691, 695, 698, 702, 709, 746, 754, 755, 761, 766, 770, 777, 785, 793, 801, 813, 814, 816, 826, 830, 832, 834, 841, 843, 879, 884, 885, 888, 893, 902, 907, 910, 916, 934, 935, 936, 937, 940, 945, 947, 950, 953, 957, 1000, 1003, 1005, 1012, 1017, 1021, 1023, 1030, 1035, 1039, 1042, 1045, 1050, 1053, 1055, 1059, 1064, 1069, 1096, 1103, 1110, 1112, 1114, 1120, 1123, 1125, 1132, 1137, 1141, 1145, 1146, 1147, 1150, 1155, 1159, 1166, 1169, 1172, 1201, 1208, 1209, 1212, 1215, 1220, 1225, 1229, 1232, 1235, 1242, 1244, 1251, 1253, 1256, 1262, 1266, 1271, 1275, 1282, 1311, 1318, 1321, 1327, 1331, 1335, 1341, 1345, 1350, 1355, 1360, 1370, 1374, 1379, 1385, 1389, 1394, 1399, 1437, 1440, 1441, 1444, 1446, 1450, 1453, 1455, 1460, 1462, 1464, 1469, 1475, 1477, 1480, 1481, 1487, 1493, 1496, 1498, 1501, 1506, 1536, 1543, 1547, 1551, 1552, 1556, 1558, 1568, 1571, 1581, 1591, 1592, 1594, 1602, 1606, 1609, 1614, 1618, 1620, 1650, 1657, 1661, 1662, 1663, 1666, 1669, 1673, 1679, 1681, 1687, 1694, 1704, 1716, 1719, 1731, 1737, 1750, 1761, 1788, 1795, 1798, 1804, 1806, 1811, 1815, 1820, 1825, 1831, 1853, 1864, 1869, 1870, 1879, 1888, 1896, 1899, 1901, 1908, 1947, 1953, 1958, 1963, 1966, 1970, 1977, 1987, 2000, 2015, 2032, 2034, 2035, 2049, 2063, 2073, 2079, 2084, 2089, 2126, 2130, 2132, 2135, 2136, 2140, 2146, 2151, 2162, 2171, 2182, 2195, 2210, 2212, 2216, 2217, 2232, 2243, 2255, 2263, 2268, 2272, 2304, 2308, 2312, 2317, 2324, 2332, 2341, 2351, 2362, 2375, 2395, 2413, 2415, 2418, 2436, 2452, 2464, 2473, 2488]
Discarding 331 places :
Implicit Place search using SMT only with invariants took 2575 ms to find 331 implicit places.
[2021-05-18 09:15:39] [INFO ] Flow matrix only has 4496 transitions (discarded 272 similar events)
// Phase 1: matrix 4496 rows 2429 cols
[2021-05-18 09:15:39] [INFO ] Computed 210 place invariants in 136 ms
[2021-05-18 09:15:52] [INFO ] Dead Transitions using invariants and state equation in 13389 ms returned []
Starting structural reductions, iteration 1 : 2429/5568 places, 4768/7799 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 2376 transition count 4715
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 2376 transition count 4715
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 155 place count 2327 transition count 4666
Iterating global reduction 0 with 49 rules applied. Total rules applied 204 place count 2327 transition count 4666
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 251 place count 2280 transition count 4619
Iterating global reduction 0 with 47 rules applied. Total rules applied 298 place count 2280 transition count 4619
Applied a total of 298 rules in 547 ms. Remains 2280 /2429 variables (removed 149) and now considering 4619/4768 (removed 149) transitions.
[2021-05-18 09:15:53] [INFO ] Flow matrix only has 4347 transitions (discarded 272 similar events)
// Phase 1: matrix 4347 rows 2280 cols
[2021-05-18 09:15:53] [INFO ] Computed 210 place invariants in 57 ms
[2021-05-18 09:15:54] [INFO ] Implicit Places using invariants in 1154 ms returned []
[2021-05-18 09:15:54] [INFO ] Flow matrix only has 4347 transitions (discarded 272 similar events)
// Phase 1: matrix 4347 rows 2280 cols
[2021-05-18 09:15:54] [INFO ] Computed 210 place invariants in 54 ms
[2021-05-18 09:15:55] [INFO ] State equation strengthened by 1940 read => feed constraints.
[2021-05-18 09:15:59] [INFO ] Implicit Places using invariants and state equation in 5583 ms returned []
Implicit Place search using SMT with State Equation took 6740 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 2280/5568 places, 4619/7799 transitions.
[2021-05-18 09:16:00] [INFO ] Flatten gal took : 327 ms
[2021-05-18 09:16:00] [INFO ] Flatten gal took : 220 ms
[2021-05-18 09:16:01] [INFO ] Input system was already deterministic with 4619 transitions.
Incomplete random walk after 100000 steps, including 1603 resets, run finished after 1143 ms. (steps per millisecond=87 ) properties (out of 63) seen :54
Running SMT prover for 9 properties.
[2021-05-18 09:16:02] [INFO ] Flow matrix only has 4347 transitions (discarded 272 similar events)
// Phase 1: matrix 4347 rows 2280 cols
[2021-05-18 09:16:02] [INFO ] Computed 210 place invariants in 48 ms
[2021-05-18 09:16:02] [INFO ] [Real]Absence check using 31 positive place invariants in 42 ms returned sat
[2021-05-18 09:16:02] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 38 ms returned sat
[2021-05-18 09:16:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:04] [INFO ] [Real]Absence check using state equation in 1227 ms returned sat
[2021-05-18 09:16:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 09:16:11] [INFO ] [Nat]Absence check using 31 positive place invariants in 37 ms returned sat
[2021-05-18 09:16:11] [INFO ] [Nat]Absence check using 31 positive and 179 generalized place invariants in 39 ms returned sat
[2021-05-18 09:16:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:13] [INFO ] [Nat]Absence check using state equation in 1783 ms returned sat
[2021-05-18 09:16:13] [INFO ] State equation strengthened by 1940 read => feed constraints.
[2021-05-18 09:16:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 09:16:19] [INFO ] [Nat]Added 1940 Read/Feed constraints in 6128 ms returned unknown
[2021-05-18 09:16:19] [INFO ] [Real]Absence check using 31 positive place invariants in 35 ms returned unsat
[2021-05-18 09:16:19] [INFO ] [Real]Absence check using 31 positive place invariants in 36 ms returned sat
[2021-05-18 09:16:19] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 37 ms returned sat
[2021-05-18 09:16:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:21] [INFO ] [Real]Absence check using state equation in 1643 ms returned sat
[2021-05-18 09:16:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 09:16:27] [INFO ] [Real]Absence check using 31 positive place invariants in 35 ms returned sat
[2021-05-18 09:16:27] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 38 ms returned sat
[2021-05-18 09:16:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:28] [INFO ] [Real]Absence check using state equation in 1516 ms returned sat
[2021-05-18 09:16:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 09:16:28] [INFO ] [Nat]Absence check using 31 positive place invariants in 37 ms returned sat
[2021-05-18 09:16:28] [INFO ] [Nat]Absence check using 31 positive and 179 generalized place invariants in 37 ms returned sat
[2021-05-18 09:16:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:30] [INFO ] [Nat]Absence check using state equation in 1691 ms returned sat
[2021-05-18 09:16:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 09:16:35] [INFO ] [Nat]Added 1940 Read/Feed constraints in 4721 ms returned sat
[2021-05-18 09:16:46] [INFO ] Deduced a trap composed of 436 places in 11032 ms of which 5 ms to minimize.
[2021-05-18 09:16:48] [INFO ] Deduced a trap composed of 582 places in 1448 ms of which 6 ms to minimize.
[2021-05-18 09:16:48] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
[2021-05-18 09:16:49] [INFO ] [Real]Absence check using 31 positive place invariants in 48 ms returned sat
[2021-05-18 09:16:49] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 41 ms returned sat
[2021-05-18 09:16:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:50] [INFO ] [Real]Absence check using state equation in 1366 ms returned sat
[2021-05-18 09:16:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 09:16:50] [INFO ] [Nat]Absence check using 31 positive place invariants in 38 ms returned sat
[2021-05-18 09:16:50] [INFO ] [Nat]Absence check using 31 positive and 179 generalized place invariants in 40 ms returned sat
[2021-05-18 09:16:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 09:16:52] [INFO ] [Nat]Absence check using state equation in 1484 ms returned sat
[2021-05-18 09:16:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 09:16:57] [INFO ] [Nat]Added 1940 Read/Feed constraints in 5435 ms returned sat
[2021-05-18 09:16:58] [INFO ] Computed and/alt/rep : 3943/8300/3943 causal constraints (skipped 387 transitions) in 304 ms.
[2021-05-18 09:17:04] [INFO ] Added : 96 causal constraints over 20 iterations in 6502 ms. Result :sat
[2021-05-18 09:17:04] [INFO ] [Real]Absence check using 31 positive place invariants in 38 ms returned sat
[2021-05-18 09:17:04] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 40 ms returned sat
[2021-05-18 09:17:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 09:17:06] [INFO ] [Real]Absence check using state equation in 1257 ms returned sat
[2021-05-18 09:17:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 09:17:06] [INFO ] [Nat]Absence check using 31 positive place invariants in 36 ms returned sat
[2021-05-18 09:17:06] [INFO ] [Nat]Absence check using 31 positive and 179 generalized place invariants in 39 ms returned sat
[2021-05-18 09:17:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 09:17:08] [INFO ] [Nat]Absence check using state equation in 1634 ms returned sat
[2021-05-18 09:17:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 09:17:12] [INFO ] [Nat]Added 1940 Read/Feed constraints in 4053 ms returned unsat
[2021-05-18 09:17:12] [INFO ] [Real]Absence check using 31 positive place invariants in 29 ms returned unsat
[2021-05-18 09:17:12] [INFO ] [Real]Absence check using 31 positive place invariants in 38 ms returned sat
[2021-05-18 09:17:12] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 22 ms returned unsat
[2021-05-18 09:17:13] [INFO ] [Real]Absence check using 31 positive place invariants in 39 ms returned sat
[2021-05-18 09:17:13] [INFO ] [Real]Absence check using 31 positive and 179 generalized place invariants in 10 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 16 simplifications.
[2021-05-18 09:17:13] [INFO ] Initial state test concluded for 2 properties.
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Drop transitions removed 120 transitions
Trivial Post-agglo rules discarded 120 transitions
Performed 120 trivial Post agglomeration. Transition count delta: 120
Iterating post reduction 0 with 120 rules applied. Total rules applied 120 place count 2280 transition count 4499
Reduce places removed 120 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 122 rules applied. Total rules applied 242 place count 2160 transition count 4497
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 244 place count 2158 transition count 4497
Performed 140 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 140 Pre rules applied. Total rules applied 244 place count 2158 transition count 4357
Deduced a syphon composed of 140 places in 3 ms
Reduce places removed 140 places and 0 transitions.
Iterating global reduction 3 with 280 rules applied. Total rules applied 524 place count 2018 transition count 4357
Discarding 156 places :
Symmetric choice reduction at 3 with 156 rule applications. Total rules 680 place count 1862 transition count 4046
Iterating global reduction 3 with 156 rules applied. Total rules applied 836 place count 1862 transition count 4046
Discarding 72 places :
Symmetric choice reduction at 3 with 72 rule applications. Total rules 908 place count 1790 transition count 3634
Iterating global reduction 3 with 72 rules applied. Total rules applied 980 place count 1790 transition count 3634
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 2 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 3 with 80 rules applied. Total rules applied 1060 place count 1750 transition count 3594
Discarding 89 places :
Symmetric choice reduction at 3 with 89 rule applications. Total rules 1149 place count 1661 transition count 3505
Iterating global reduction 3 with 89 rules applied. Total rules applied 1238 place count 1661 transition count 3505
Discarding 82 places :
Symmetric choice reduction at 3 with 82 rule applications. Total rules 1320 place count 1579 transition count 3013
Iterating global reduction 3 with 82 rules applied. Total rules applied 1402 place count 1579 transition count 3013
Applied a total of 1402 rules in 777 ms. Remains 1579 /2280 variables (removed 701) and now considering 3013/4619 (removed 1606) transitions.
[2021-05-18 09:17:20] [INFO ] Flatten gal took : 90 ms
[2021-05-18 09:17:20] [INFO ] Flatten gal took : 105 ms
[2021-05-18 09:17:20] [INFO ] Input system was already deterministic with 3013 transitions.
[2021-05-18 09:17:20] [INFO ] Flatten gal took : 109 ms
[2021-05-18 09:17:20] [INFO ] Flatten gal took : 94 ms
[2021-05-18 09:17:21] [INFO ] Time to serialize gal into /tmp/CTLFireability5201784352991348055.gal : 35 ms
[2021-05-18 09:17:21] [INFO ] Time to serialize properties into /tmp/CTLFireability11053742053814617844.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability5201784352991348055.gal, -t, CGAL, -ctl, /tmp/CTLFireability11053742053814617844.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability5201784352991348055.gal -t CGAL -ctl /tmp/CTLFireability11053742053814617844.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:17:51] [INFO ] Flatten gal took : 112 ms
[2021-05-18 09:17:51] [INFO ] Applying decomposition
[2021-05-18 09:17:51] [INFO ] Flatten gal took : 91 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph10499457105281162175.txt, -o, /tmp/graph10499457105281162175.bin, -w, /tmp/graph10499457105281162175.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph10499457105281162175.bin, -l, -1, -v, -w, /tmp/graph10499457105281162175.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:17:55] [INFO ] Decomposing Gal with order
[2021-05-18 09:17:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:17:56] [INFO ] Removed a total of 2587 redundant transitions.
[2021-05-18 09:17:58] [INFO ] Flatten gal took : 2244 ms
[2021-05-18 09:17:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1094 labels/synchronizations in 161 ms.
[2021-05-18 09:17:58] [INFO ] Time to serialize gal into /tmp/CTLFireability4394332235946743359.gal : 25 ms
[2021-05-18 09:17:58] [INFO ] Time to serialize properties into /tmp/CTLFireability16930865475442812914.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability4394332235946743359.gal, -t, CGAL, -ctl, /tmp/CTLFireability16930865475442812914.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability4394332235946743359.gal -t CGAL -ctl /tmp/CTLFireability16930865475442812914.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Drop transitions removed 119 transitions
Trivial Post-agglo rules discarded 119 transitions
Performed 119 trivial Post agglomeration. Transition count delta: 119
Iterating post reduction 0 with 119 rules applied. Total rules applied 119 place count 2280 transition count 4500
Reduce places removed 119 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 121 rules applied. Total rules applied 240 place count 2161 transition count 4498
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 242 place count 2159 transition count 4498
Performed 138 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 138 Pre rules applied. Total rules applied 242 place count 2159 transition count 4360
Deduced a syphon composed of 138 places in 2 ms
Reduce places removed 138 places and 0 transitions.
Iterating global reduction 3 with 276 rules applied. Total rules applied 518 place count 2021 transition count 4360
Discarding 155 places :
Symmetric choice reduction at 3 with 155 rule applications. Total rules 673 place count 1866 transition count 4045
Iterating global reduction 3 with 155 rules applied. Total rules applied 828 place count 1866 transition count 4045
Discarding 71 places :
Symmetric choice reduction at 3 with 71 rule applications. Total rules 899 place count 1795 transition count 3639
Iterating global reduction 3 with 71 rules applied. Total rules applied 970 place count 1795 transition count 3639
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 2 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 3 with 82 rules applied. Total rules applied 1052 place count 1754 transition count 3598
Discarding 88 places :
Symmetric choice reduction at 3 with 88 rule applications. Total rules 1140 place count 1666 transition count 3510
Iterating global reduction 3 with 88 rules applied. Total rules applied 1228 place count 1666 transition count 3510
Discarding 82 places :
Symmetric choice reduction at 3 with 82 rule applications. Total rules 1310 place count 1584 transition count 3018
Iterating global reduction 3 with 82 rules applied. Total rules applied 1392 place count 1584 transition count 3018
Applied a total of 1392 rules in 557 ms. Remains 1584 /2280 variables (removed 696) and now considering 3018/4619 (removed 1601) transitions.
[2021-05-18 09:18:29] [INFO ] Flatten gal took : 89 ms
[2021-05-18 09:18:29] [INFO ] Flatten gal took : 121 ms
[2021-05-18 09:18:29] [INFO ] Input system was already deterministic with 3018 transitions.
[2021-05-18 09:18:29] [INFO ] Flatten gal took : 93 ms
[2021-05-18 09:18:29] [INFO ] Flatten gal took : 96 ms
[2021-05-18 09:18:29] [INFO ] Time to serialize gal into /tmp/CTLFireability168506791850177264.gal : 13 ms
[2021-05-18 09:18:29] [INFO ] Time to serialize properties into /tmp/CTLFireability225955617059768587.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability168506791850177264.gal, -t, CGAL, -ctl, /tmp/CTLFireability225955617059768587.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability168506791850177264.gal -t CGAL -ctl /tmp/CTLFireability225955617059768587.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:18:59] [INFO ] Flatten gal took : 86 ms
[2021-05-18 09:18:59] [INFO ] Applying decomposition
[2021-05-18 09:19:00] [INFO ] Flatten gal took : 92 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4313434557650526409.txt, -o, /tmp/graph4313434557650526409.bin, -w, /tmp/graph4313434557650526409.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4313434557650526409.bin, -l, -1, -v, -w, /tmp/graph4313434557650526409.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:19:00] [INFO ] Decomposing Gal with order
[2021-05-18 09:19:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:19:00] [INFO ] Removed a total of 2585 redundant transitions.
[2021-05-18 09:19:00] [INFO ] Flatten gal took : 435 ms
[2021-05-18 09:19:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1306 labels/synchronizations in 121 ms.
[2021-05-18 09:19:02] [INFO ] Time to serialize gal into /tmp/CTLFireability8682858702912189627.gal : 1814 ms
[2021-05-18 09:19:02] [INFO ] Time to serialize properties into /tmp/CTLFireability14300071494094192202.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability8682858702912189627.gal, -t, CGAL, -ctl, /tmp/CTLFireability14300071494094192202.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability8682858702912189627.gal -t CGAL -ctl /tmp/CTLFireability14300071494094192202.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 0 with 106 rules applied. Total rules applied 106 place count 2280 transition count 4513
Reduce places removed 106 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 112 rules applied. Total rules applied 218 place count 2174 transition count 4507
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 224 place count 2168 transition count 4507
Performed 136 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 136 Pre rules applied. Total rules applied 224 place count 2168 transition count 4371
Deduced a syphon composed of 136 places in 3 ms
Reduce places removed 136 places and 0 transitions.
Iterating global reduction 3 with 272 rules applied. Total rules applied 496 place count 2032 transition count 4371
Discarding 151 places :
Symmetric choice reduction at 3 with 151 rule applications. Total rules 647 place count 1881 transition count 4065
Iterating global reduction 3 with 151 rules applied. Total rules applied 798 place count 1881 transition count 4065
Discarding 70 places :
Symmetric choice reduction at 3 with 70 rule applications. Total rules 868 place count 1811 transition count 3665
Iterating global reduction 3 with 70 rules applied. Total rules applied 938 place count 1811 transition count 3665
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 2 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 3 with 78 rules applied. Total rules applied 1016 place count 1772 transition count 3626
Discarding 80 places :
Symmetric choice reduction at 3 with 80 rule applications. Total rules 1096 place count 1692 transition count 3546
Iterating global reduction 3 with 80 rules applied. Total rules applied 1176 place count 1692 transition count 3546
Discarding 69 places :
Symmetric choice reduction at 3 with 69 rule applications. Total rules 1245 place count 1623 transition count 3132
Iterating global reduction 3 with 69 rules applied. Total rules applied 1314 place count 1623 transition count 3132
Applied a total of 1314 rules in 487 ms. Remains 1623 /2280 variables (removed 657) and now considering 3132/4619 (removed 1487) transitions.
[2021-05-18 09:19:33] [INFO ] Flatten gal took : 83 ms
[2021-05-18 09:19:33] [INFO ] Flatten gal took : 98 ms
[2021-05-18 09:19:33] [INFO ] Input system was already deterministic with 3132 transitions.
[2021-05-18 09:19:33] [INFO ] Flatten gal took : 112 ms
[2021-05-18 09:19:33] [INFO ] Flatten gal took : 81 ms
[2021-05-18 09:19:33] [INFO ] Time to serialize gal into /tmp/CTLFireability500796728931110891.gal : 11 ms
[2021-05-18 09:19:33] [INFO ] Time to serialize properties into /tmp/CTLFireability7130824466046081553.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability500796728931110891.gal, -t, CGAL, -ctl, /tmp/CTLFireability7130824466046081553.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability500796728931110891.gal -t CGAL -ctl /tmp/CTLFireability7130824466046081553.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:20:04] [INFO ] Flatten gal took : 88 ms
[2021-05-18 09:20:04] [INFO ] Applying decomposition
[2021-05-18 09:20:04] [INFO ] Flatten gal took : 87 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15440896907423805930.txt, -o, /tmp/graph15440896907423805930.bin, -w, /tmp/graph15440896907423805930.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15440896907423805930.bin, -l, -1, -v, -w, /tmp/graph15440896907423805930.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:20:04] [INFO ] Decomposing Gal with order
[2021-05-18 09:20:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:20:04] [INFO ] Removed a total of 2625 redundant transitions.
[2021-05-18 09:20:04] [INFO ] Flatten gal took : 321 ms
[2021-05-18 09:20:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 1293 labels/synchronizations in 75 ms.
[2021-05-18 09:20:05] [INFO ] Time to serialize gal into /tmp/CTLFireability10865697021098657656.gal : 13 ms
[2021-05-18 09:20:05] [INFO ] Time to serialize properties into /tmp/CTLFireability2880849144521977265.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability10865697021098657656.gal, -t, CGAL, -ctl, /tmp/CTLFireability2880849144521977265.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability10865697021098657656.gal -t CGAL -ctl /tmp/CTLFireability2880849144521977265.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Drop transitions removed 117 transitions
Trivial Post-agglo rules discarded 117 transitions
Performed 117 trivial Post agglomeration. Transition count delta: 117
Iterating post reduction 0 with 117 rules applied. Total rules applied 117 place count 2280 transition count 4502
Reduce places removed 117 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 118 rules applied. Total rules applied 235 place count 2163 transition count 4501
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 236 place count 2162 transition count 4501
Performed 134 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 134 Pre rules applied. Total rules applied 236 place count 2162 transition count 4367
Deduced a syphon composed of 134 places in 2 ms
Reduce places removed 134 places and 0 transitions.
Iterating global reduction 3 with 268 rules applied. Total rules applied 504 place count 2028 transition count 4367
Discarding 146 places :
Symmetric choice reduction at 3 with 146 rule applications. Total rules 650 place count 1882 transition count 4076
Iterating global reduction 3 with 146 rules applied. Total rules applied 796 place count 1882 transition count 4076
Discarding 65 places :
Symmetric choice reduction at 3 with 65 rule applications. Total rules 861 place count 1817 transition count 3706
Iterating global reduction 3 with 65 rules applied. Total rules applied 926 place count 1817 transition count 3706
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 1 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 3 with 80 rules applied. Total rules applied 1006 place count 1777 transition count 3666
Discarding 87 places :
Symmetric choice reduction at 3 with 87 rule applications. Total rules 1093 place count 1690 transition count 3579
Iterating global reduction 3 with 87 rules applied. Total rules applied 1180 place count 1690 transition count 3579
Discarding 77 places :
Symmetric choice reduction at 3 with 77 rule applications. Total rules 1257 place count 1613 transition count 3117
Iterating global reduction 3 with 77 rules applied. Total rules applied 1334 place count 1613 transition count 3117
Applied a total of 1334 rules in 486 ms. Remains 1613 /2280 variables (removed 667) and now considering 3117/4619 (removed 1502) transitions.
[2021-05-18 09:20:35] [INFO ] Flatten gal took : 81 ms
[2021-05-18 09:20:35] [INFO ] Flatten gal took : 84 ms
[2021-05-18 09:20:35] [INFO ] Input system was already deterministic with 3117 transitions.
[2021-05-18 09:20:36] [INFO ] Flatten gal took : 86 ms
[2021-05-18 09:20:36] [INFO ] Flatten gal took : 86 ms
[2021-05-18 09:20:36] [INFO ] Time to serialize gal into /tmp/CTLFireability17856839993279358597.gal : 9 ms
[2021-05-18 09:20:36] [INFO ] Time to serialize properties into /tmp/CTLFireability15315830079218216781.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17856839993279358597.gal, -t, CGAL, -ctl, /tmp/CTLFireability15315830079218216781.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17856839993279358597.gal -t CGAL -ctl /tmp/CTLFireability15315830079218216781.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:21:06] [INFO ] Flatten gal took : 102 ms
[2021-05-18 09:21:06] [INFO ] Applying decomposition
[2021-05-18 09:21:06] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5649285852820417919.txt, -o, /tmp/graph5649285852820417919.bin, -w, /tmp/graph5649285852820417919.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5649285852820417919.bin, -l, -1, -v, -w, /tmp/graph5649285852820417919.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:21:06] [INFO ] Decomposing Gal with order
[2021-05-18 09:21:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:21:07] [INFO ] Removed a total of 2793 redundant transitions.
[2021-05-18 09:21:07] [INFO ] Flatten gal took : 345 ms
[2021-05-18 09:21:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 1475 labels/synchronizations in 75 ms.
[2021-05-18 09:21:07] [INFO ] Time to serialize gal into /tmp/CTLFireability16561985507838450819.gal : 16 ms
[2021-05-18 09:21:07] [INFO ] Time to serialize properties into /tmp/CTLFireability10464426191102839526.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16561985507838450819.gal, -t, CGAL, -ctl, /tmp/CTLFireability10464426191102839526.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16561985507838450819.gal -t CGAL -ctl /tmp/CTLFireability10464426191102839526.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 0 with 106 rules applied. Total rules applied 106 place count 2280 transition count 4513
Reduce places removed 106 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 1 with 111 rules applied. Total rules applied 217 place count 2174 transition count 4508
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 222 place count 2169 transition count 4508
Performed 120 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 120 Pre rules applied. Total rules applied 222 place count 2169 transition count 4388
Deduced a syphon composed of 120 places in 2 ms
Reduce places removed 120 places and 0 transitions.
Iterating global reduction 3 with 240 rules applied. Total rules applied 462 place count 2049 transition count 4388
Discarding 128 places :
Symmetric choice reduction at 3 with 128 rule applications. Total rules 590 place count 1921 transition count 4135
Iterating global reduction 3 with 128 rules applied. Total rules applied 718 place count 1921 transition count 4135
Discarding 55 places :
Symmetric choice reduction at 3 with 55 rule applications. Total rules 773 place count 1866 transition count 3820
Iterating global reduction 3 with 55 rules applied. Total rules applied 828 place count 1866 transition count 3820
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 1 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 3 with 70 rules applied. Total rules applied 898 place count 1831 transition count 3785
Discarding 83 places :
Symmetric choice reduction at 3 with 83 rule applications. Total rules 981 place count 1748 transition count 3702
Iterating global reduction 3 with 83 rules applied. Total rules applied 1064 place count 1748 transition count 3702
Discarding 69 places :
Symmetric choice reduction at 3 with 69 rule applications. Total rules 1133 place count 1679 transition count 3288
Iterating global reduction 3 with 69 rules applied. Total rules applied 1202 place count 1679 transition count 3288
Applied a total of 1202 rules in 433 ms. Remains 1679 /2280 variables (removed 601) and now considering 3288/4619 (removed 1331) transitions.
[2021-05-18 09:21:37] [INFO ] Flatten gal took : 77 ms
[2021-05-18 09:21:37] [INFO ] Flatten gal took : 90 ms
[2021-05-18 09:21:38] [INFO ] Input system was already deterministic with 3288 transitions.
[2021-05-18 09:21:38] [INFO ] Flatten gal took : 84 ms
[2021-05-18 09:21:38] [INFO ] Flatten gal took : 85 ms
[2021-05-18 09:21:45] [INFO ] Time to serialize gal into /tmp/CTLFireability14213454892669861401.gal : 7560 ms
[2021-05-18 09:21:45] [INFO ] Time to serialize properties into /tmp/CTLFireability13080709414153861731.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability14213454892669861401.gal, -t, CGAL, -ctl, /tmp/CTLFireability13080709414153861731.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability14213454892669861401.gal -t CGAL -ctl /tmp/CTLFireability13080709414153861731.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:22:15] [INFO ] Flatten gal took : 94 ms
[2021-05-18 09:22:15] [INFO ] Applying decomposition
[2021-05-18 09:22:16] [INFO ] Flatten gal took : 107 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16689749180393907544.txt, -o, /tmp/graph16689749180393907544.bin, -w, /tmp/graph16689749180393907544.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16689749180393907544.bin, -l, -1, -v, -w, /tmp/graph16689749180393907544.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:22:16] [INFO ] Decomposing Gal with order
[2021-05-18 09:22:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:22:16] [INFO ] Removed a total of 2771 redundant transitions.
[2021-05-18 09:22:16] [INFO ] Flatten gal took : 300 ms
[2021-05-18 09:22:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 1746 labels/synchronizations in 76 ms.
[2021-05-18 09:22:16] [INFO ] Time to serialize gal into /tmp/CTLFireability13597958632568225509.gal : 18 ms
[2021-05-18 09:22:16] [INFO ] Time to serialize properties into /tmp/CTLFireability9779533313639989637.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability13597958632568225509.gal, -t, CGAL, -ctl, /tmp/CTLFireability9779533313639989637.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability13597958632568225509.gal -t CGAL -ctl /tmp/CTLFireability9779533313639989637.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Drop transitions removed 117 transitions
Trivial Post-agglo rules discarded 117 transitions
Performed 117 trivial Post agglomeration. Transition count delta: 117
Iterating post reduction 0 with 117 rules applied. Total rules applied 117 place count 2280 transition count 4502
Reduce places removed 117 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 119 rules applied. Total rules applied 236 place count 2163 transition count 4500
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 238 place count 2161 transition count 4500
Performed 140 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 140 Pre rules applied. Total rules applied 238 place count 2161 transition count 4360
Deduced a syphon composed of 140 places in 2 ms
Reduce places removed 140 places and 0 transitions.
Iterating global reduction 3 with 280 rules applied. Total rules applied 518 place count 2021 transition count 4360
Discarding 155 places :
Symmetric choice reduction at 3 with 155 rule applications. Total rules 673 place count 1866 transition count 4045
Iterating global reduction 3 with 155 rules applied. Total rules applied 828 place count 1866 transition count 4045
Discarding 71 places :
Symmetric choice reduction at 3 with 71 rule applications. Total rules 899 place count 1795 transition count 3639
Iterating global reduction 3 with 71 rules applied. Total rules applied 970 place count 1795 transition count 3639
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 2 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 3 with 80 rules applied. Total rules applied 1050 place count 1755 transition count 3599
Discarding 88 places :
Symmetric choice reduction at 3 with 88 rule applications. Total rules 1138 place count 1667 transition count 3511
Iterating global reduction 3 with 88 rules applied. Total rules applied 1226 place count 1667 transition count 3511
Discarding 82 places :
Symmetric choice reduction at 3 with 82 rule applications. Total rules 1308 place count 1585 transition count 3019
Iterating global reduction 3 with 82 rules applied. Total rules applied 1390 place count 1585 transition count 3019
Applied a total of 1390 rules in 459 ms. Remains 1585 /2280 variables (removed 695) and now considering 3019/4619 (removed 1600) transitions.
[2021-05-18 09:22:47] [INFO ] Flatten gal took : 75 ms
[2021-05-18 09:22:47] [INFO ] Flatten gal took : 91 ms
[2021-05-18 09:22:47] [INFO ] Input system was already deterministic with 3019 transitions.
[2021-05-18 09:22:47] [INFO ] Flatten gal took : 83 ms
[2021-05-18 09:22:47] [INFO ] Flatten gal took : 87 ms
[2021-05-18 09:22:47] [INFO ] Time to serialize gal into /tmp/CTLFireability840683664279538341.gal : 9 ms
[2021-05-18 09:22:47] [INFO ] Time to serialize properties into /tmp/CTLFireability12772831897430791582.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability840683664279538341.gal, -t, CGAL, -ctl, /tmp/CTLFireability12772831897430791582.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability840683664279538341.gal -t CGAL -ctl /tmp/CTLFireability12772831897430791582.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:23:18] [INFO ] Flatten gal took : 85 ms
[2021-05-18 09:23:18] [INFO ] Applying decomposition
[2021-05-18 09:23:18] [INFO ] Flatten gal took : 84 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2846540646169664989.txt, -o, /tmp/graph2846540646169664989.bin, -w, /tmp/graph2846540646169664989.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2846540646169664989.bin, -l, -1, -v, -w, /tmp/graph2846540646169664989.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:23:18] [INFO ] Decomposing Gal with order
[2021-05-18 09:23:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:23:18] [INFO ] Removed a total of 2561 redundant transitions.
[2021-05-18 09:23:18] [INFO ] Flatten gal took : 320 ms
[2021-05-18 09:23:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 1559 labels/synchronizations in 62 ms.
[2021-05-18 09:23:18] [INFO ] Time to serialize gal into /tmp/CTLFireability8858258946013733953.gal : 14 ms
[2021-05-18 09:23:18] [INFO ] Time to serialize properties into /tmp/CTLFireability12587913498848071068.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability8858258946013733953.gal, -t, CGAL, -ctl, /tmp/CTLFireability12587913498848071068.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability8858258946013733953.gal -t CGAL -ctl /tmp/CTLFireability12587913498848071068.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:23:49] [INFO ] Flatten gal took : 146 ms
[2021-05-18 09:23:49] [INFO ] Flatten gal took : 141 ms
[2021-05-18 09:23:49] [INFO ] Applying decomposition
[2021-05-18 09:23:49] [INFO ] Flatten gal took : 144 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5821587050510775865.txt, -o, /tmp/graph5821587050510775865.bin, -w, /tmp/graph5821587050510775865.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5821587050510775865.bin, -l, -1, -v, -w, /tmp/graph5821587050510775865.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 09:23:49] [INFO ] Decomposing Gal with order
[2021-05-18 09:23:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 09:23:50] [INFO ] Removed a total of 4132 redundant transitions.
[2021-05-18 09:23:50] [INFO ] Flatten gal took : 344 ms
[2021-05-18 09:23:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 1366 labels/synchronizations in 89 ms.
[2021-05-18 09:23:50] [INFO ] Time to serialize gal into /tmp/CTLFireability6963381116862337010.gal : 22 ms
[2021-05-18 09:23:50] [INFO ] Time to serialize properties into /tmp/CTLFireability13187041553213230761.ctl : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability6963381116862337010.gal, -t, CGAL, -ctl, /tmp/CTLFireability13187041553213230761.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability6963381116862337010.gal -t CGAL -ctl /tmp/CTLFireability13187041553213230761.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 09:46:40] [INFO ] Flatten gal took : 974 ms
[2021-05-18 09:46:40] [INFO ] Time to serialize gal into /tmp/CTLFireability16803067608963492762.gal : 39 ms
[2021-05-18 09:46:40] [INFO ] Time to serialize properties into /tmp/CTLFireability8846272412211639368.ctl : 25 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16803067608963492762.gal, -t, CGAL, -ctl, /tmp/CTLFireability8846272412211639368.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16803067608963492762.gal -t CGAL -ctl /tmp/CTLFireability8846272412211639368.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2021-05-18 10:09:31] [INFO ] Flatten gal took : 535 ms
[2021-05-18 10:09:32] [INFO ] Input system was already deterministic with 4619 transitions.
[2021-05-18 10:09:32] [INFO ] Transformed 2280 places.
[2021-05-18 10:09:32] [INFO ] Transformed 4619 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-18 10:10:02] [INFO ] Time to serialize gal into /tmp/CTLFireability14208208670055059423.gal : 40 ms
[2021-05-18 10:10:02] [INFO ] Time to serialize properties into /tmp/CTLFireability7438695011144355133.ctl : 9 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability14208208670055059423.gal, -t, CGAL, -ctl, /tmp/CTLFireability7438695011144355133.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability14208208670055059423.gal -t CGAL -ctl /tmp/CTLFireability7438695011144355133.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S16C06"
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 MultiCrashLeafsetExtension-PT-S16C06, 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 r292-tall-162124156700602"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C06.tgz
mv MultiCrashLeafsetExtension-PT-S16C06 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 ;