About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16240.119 | 1523010.00 | 3963603.00 | 8291.30 | T???T?FFF??TT?TT | 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-162124157000799.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-S32C12, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124157000799
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 72M
-rw-r--r-- 1 mcc users 52K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 181K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 12 08:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 12 08:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.8K May 11 19:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 11 19:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 11 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 11 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:41 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 71M 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 gen-ReachabilityFireability-00
FORMULA_NAME gen-ReachabilityFireability-01
FORMULA_NAME gen-ReachabilityFireability-02
FORMULA_NAME gen-ReachabilityFireability-03
FORMULA_NAME gen-ReachabilityFireability-04
FORMULA_NAME gen-ReachabilityFireability-05
FORMULA_NAME gen-ReachabilityFireability-06
FORMULA_NAME gen-ReachabilityFireability-07
FORMULA_NAME gen-ReachabilityFireability-08
FORMULA_NAME gen-ReachabilityFireability-09
FORMULA_NAME gen-ReachabilityFireability-10
FORMULA_NAME gen-ReachabilityFireability-11
FORMULA_NAME gen-ReachabilityFireability-12
FORMULA_NAME gen-ReachabilityFireability-13
FORMULA_NAME gen-ReachabilityFireability-14
FORMULA_NAME gen-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1621414542193
Running Version 0
[2021-05-19 08:55:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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-19 08:55:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 08:55:45] [INFO ] Load time of PNML (sax parser for PT used): 1846 ms
[2021-05-19 08:55:45] [INFO ] Transformed 36724 places.
[2021-05-19 08:55:46] [INFO ] Transformed 54827 transitions.
[2021-05-19 08:55:46] [INFO ] Parsed PT model containing 36724 places and 54827 transitions in 2119 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 26 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 81 resets, run finished after 651 ms. (steps per millisecond=15 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 33033 steps, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :{14=1}
Probabilistic random walk after 33033 steps, saw 16129 distinct states, run finished after 30004 ms. (steps per millisecond=1 ) properties seen :{14=1}
FORMULA gen-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 15 properties.
[2021-05-19 08:56:17] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36724 cols
[2021-05-19 08:56:39] [INFO ] Computed 2033 place invariants in 22099 ms
[2021-05-19 08:56:54] [INFO ] [Real]Absence check using 94 positive place invariants in 184 ms returned sat
[2021-05-19 08:56:57] [INFO ] [Real]Absence check using 94 positive and 1939 generalized place invariants in 3037 ms returned sat
[2021-05-19 08:57:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 08:57:04] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
FORMULA gen-ReachabilityFireability-11 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 1 different solutions.
Support contains 63 out of 36724 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 36724/36724 places, 54827/54827 transitions.
Graph (complete) has 119009 edges and 36724 vertex of which 36664 are kept as prefixes of interest. Removing 60 places using SCC suffix rule.81 ms
Discarding 60 places :
Also discarding 0 output transitions
Drop transitions removed 12565 transitions
Trivial Post-agglo rules discarded 12565 transitions
Performed 12565 trivial Post agglomeration. Transition count delta: 12565
Iterating post reduction 0 with 12565 rules applied. Total rules applied 12566 place count 36664 transition count 42262
Reduce places removed 12565 places and 0 transitions.
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 96
Iterating post reduction 1 with 12661 rules applied. Total rules applied 25227 place count 24099 transition count 42166
Reduce places removed 96 places and 0 transitions.
Iterating post reduction 2 with 96 rules applied. Total rules applied 25323 place count 24003 transition count 42166
Performed 785 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 785 Pre rules applied. Total rules applied 25323 place count 24003 transition count 41381
Deduced a syphon composed of 785 places in 66 ms
Reduce places removed 785 places and 0 transitions.
Iterating global reduction 3 with 1570 rules applied. Total rules applied 26893 place count 23218 transition count 41381
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 61 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 26959 place count 23185 transition count 41348
Free-agglomeration rule (complex) applied 1569 times.
Iterating global reduction 3 with 1569 rules applied. Total rules applied 28528 place count 23185 transition count 39779
Reduce places removed 1569 places and 0 transitions.
Iterating post reduction 3 with 1569 rules applied. Total rules applied 30097 place count 21616 transition count 39779
Partial Free-agglomeration rule applied 6229 times.
Drop transitions removed 6229 transitions
Iterating global reduction 4 with 6229 rules applied. Total rules applied 36326 place count 21616 transition count 39779
Applied a total of 36326 rules in 14196 ms. Remains 21616 /36724 variables (removed 15108) and now considering 39779/54827 (removed 15048) transitions.
Finished structural reductions, in 1 iterations. Remains : 21616/36724 places, 39779/54827 transitions.
[2021-05-19 08:57:22] [INFO ] Flatten gal took : 2572 ms
[2021-05-19 08:57:24] [INFO ] Flatten gal took : 1864 ms
[2021-05-19 08:57:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8948735558077923000.gal : 305 ms
[2021-05-19 08:57:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8201721956310658016.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8948735558077923000.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8201721956310658016.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8948735558077923000.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8201721956310658016.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-19 08:57:41] [INFO ] Flatten gal took : 1915 ms
[2021-05-19 08:57:41] [INFO ] Applying decomposition
[2021-05-19 08:57:43] [INFO ] Flatten gal took : 1787 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/graph9566691050796934018.txt, -o, /tmp/graph9566691050796934018.bin, -w, /tmp/graph9566691050796934018.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/graph9566691050796934018.bin, -l, -1, -v, -w, /tmp/graph9566691050796934018.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 08:57:47] [INFO ] Decomposing Gal with order
[2021-05-19 08:57:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 08:58:43] [INFO ] Removed a total of 71389 redundant transitions.
[2021-05-19 08:58:50] [INFO ] Flatten gal took : 53068 ms
[2021-05-19 08:59:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 46624 labels/synchronizations in 16561 ms.
[2021-05-19 08:59:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4490044741577506502.gal : 357 ms
[2021-05-19 08:59:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality832500751789396155.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4490044741577506502.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality832500751789396155.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4490044741577506502.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality832500751789396155.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5911657695778007102
[2021-05-19 08:59:40] [INFO ] Built C files in 454ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5911657695778007102
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5911657695778007102]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5911657695778007102] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5911657695778007102] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 221829 steps, including 3002 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen :{0=1, 8=1}
FORMULA gen-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 318552 steps, including 441 resets, run timeout after 5001 ms. (steps per millisecond=63 ) properties seen :{}
Interrupted Best-First random walk after 331366 steps, including 458 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen :{}
Interrupted Best-First random walk after 328348 steps, including 454 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 328422 steps, including 454 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 335437 steps, including 464 resets, run timeout after 5001 ms. (steps per millisecond=67 ) properties seen :{}
Interrupted Best-First random walk after 328496 steps, including 455 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 333730 steps, including 462 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen :{3=1}
FORMULA gen-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Interrupted Best-First random walk after 330057 steps, including 457 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 331773 steps, including 459 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen :{}
Running SMT prover for 8 properties.
[2021-05-19 09:00:56] [INFO ] Flow matrix only has 38214 transitions (discarded 1565 similar events)
// Phase 1: matrix 38214 rows 21616 cols
[2021-05-19 09:01:15] [INFO ] Computed 1973 place invariants in 19061 ms
[2021-05-19 09:01:21] [INFO ] [Real]Absence check using 65 positive place invariants in 279 ms returned sat
[2021-05-19 09:01:22] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1271 ms returned sat
[2021-05-19 09:01:24] [INFO ] SMT Verify possible in real domain returnedunsat :1 sat :0 real:7
[2021-05-19 09:01:29] [INFO ] [Nat]Absence check using 65 positive place invariants in 301 ms returned sat
[2021-05-19 09:01:30] [INFO ] [Nat]Absence check using 65 positive and 1908 generalized place invariants in 1300 ms returned sat
[2021-05-19 09:01:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 09:04:04] [INFO ] [Nat]Absence check using state equation in 151259 ms returned unsat :0 sat :6
[2021-05-19 09:04:06] [INFO ] State equation strengthened by 17635 read => feed constraints.
[2021-05-19 09:04:35] [INFO ] [Nat]Added 17635 Read/Feed constraints in 29136 ms returned sat
Attempting to minimize the solution found.
Minimization took 9032 ms.
[2021-05-19 09:04:53] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :6
FORMULA gen-ReachabilityFireability-15 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 8 Parikh solutions to 6 different solutions.
Incomplete Parikh walk after 14400 steps, including 1097 resets, run finished after 2149 ms. (steps per millisecond=6 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 11800 steps, including 1082 resets, run finished after 1571 ms. (steps per millisecond=7 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 13600 steps, including 1090 resets, run finished after 1825 ms. (steps per millisecond=7 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 13600 steps, including 1086 resets, run finished after 1824 ms. (steps per millisecond=7 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 12800 steps, including 1082 resets, run finished after 1712 ms. (steps per millisecond=7 ) properties (out of 7) seen :0 could not realise parikh vector
Support contains 45 out of 21616 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21616/21616 places, 39779/39779 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 21616 transition count 39775
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 21612 transition count 39775
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 8 place count 21612 transition count 39772
Deduced a syphon composed of 3 places in 27 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 21609 transition count 39772
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 2 with 7 rules applied. Total rules applied 21 place count 21609 transition count 39765
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 28 place count 21602 transition count 39765
Partial Free-agglomeration rule applied 18 times.
Drop transitions removed 18 transitions
Iterating global reduction 3 with 18 rules applied. Total rules applied 46 place count 21602 transition count 39765
Applied a total of 46 rules in 4878 ms. Remains 21602 /21616 variables (removed 14) and now considering 39765/39779 (removed 14) transitions.
Finished structural reductions, in 1 iterations. Remains : 21602/21616 places, 39765/39779 transitions.
[2021-05-19 09:05:09] [INFO ] Flatten gal took : 1935 ms
[2021-05-19 09:05:11] [INFO ] Flatten gal took : 1963 ms
[2021-05-19 09:05:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4359430970928478650.gal : 211 ms
[2021-05-19 09:05:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16285880147262936418.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4359430970928478650.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16285880147262936418.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4359430970928478650.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16285880147262936418.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-19 09:05:29] [INFO ] Flatten gal took : 1987 ms
[2021-05-19 09:05:29] [INFO ] Applying decomposition
[2021-05-19 09:05:31] [INFO ] Flatten gal took : 1905 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/graph7696323647375841975.txt, -o, /tmp/graph7696323647375841975.bin, -w, /tmp/graph7696323647375841975.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/graph7696323647375841975.bin, -l, -1, -v, -w, /tmp/graph7696323647375841975.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 09:05:35] [INFO ] Decomposing Gal with order
[2021-05-19 09:05:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 09:06:16] [INFO ] Removed a total of 69243 redundant transitions.
[2021-05-19 09:06:20] [INFO ] Flatten gal took : 35665 ms
[2021-05-19 09:06:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 48400 labels/synchronizations in 17999 ms.
[2021-05-19 09:06:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9261103391804795845.gal : 452 ms
[2021-05-19 09:06:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9652828387525658218.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality9261103391804795845.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9652828387525658218.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality9261103391804795845.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9652828387525658218.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5220393202000884071
[2021-05-19 09:07:07] [INFO ] Built C files in 378ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5220393202000884071
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5220393202000884071]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5220393202000884071] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5220393202000884071] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 209861 steps, including 2846 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen :{}
Interrupted Best-First random walk after 319777 steps, including 443 resets, run timeout after 5001 ms. (steps per millisecond=63 ) properties seen :{}
Interrupted Best-First random walk after 323414 steps, including 447 resets, run timeout after 5001 ms. (steps per millisecond=64 ) properties seen :{}
Interrupted Best-First random walk after 329770 steps, including 456 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 333531 steps, including 462 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen :{}
Interrupted Best-First random walk after 329601 steps, including 456 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted Best-First random walk after 333302 steps, including 461 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen :{}
Interrupted Best-First random walk after 326327 steps, including 452 resets, run timeout after 5001 ms. (steps per millisecond=65 ) properties seen :{}
Interrupted probabilistic random walk after 63683 steps, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 63683 steps, saw 29211 distinct states, run finished after 30001 ms. (steps per millisecond=2 ) properties seen :{}
Running SMT prover for 7 properties.
[2021-05-19 09:08:43] [INFO ] Flow matrix only has 38200 transitions (discarded 1565 similar events)
// Phase 1: matrix 38200 rows 21602 cols
[2021-05-19 09:09:01] [INFO ] Computed 1973 place invariants in 18672 ms
[2021-05-19 09:09:06] [INFO ] [Real]Absence check using 65 positive place invariants in 221 ms returned sat
[2021-05-19 09:09:07] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1090 ms returned sat
[2021-05-19 09:09:10] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:7
[2021-05-19 09:09:15] [INFO ] [Nat]Absence check using 65 positive place invariants in 228 ms returned sat
[2021-05-19 09:09:16] [INFO ] [Nat]Absence check using 65 positive and 1908 generalized place invariants in 1183 ms returned sat
[2021-05-19 09:09:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 09:11:08] [INFO ] [Nat]Absence check using state equation in 109771 ms returned unsat :0 sat :4
[2021-05-19 09:11:11] [INFO ] State equation strengthened by 17635 read => feed constraints.
[2021-05-19 09:11:40] [INFO ] [Nat]Added 17635 Read/Feed constraints in 29479 ms returned sat
Attempting to minimize the solution found.
Minimization took 9034 ms.
[2021-05-19 09:11:58] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :4
Fused 7 Parikh solutions to 5 different solutions.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Support contains 45 out of 21602 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21602/21602 places, 39765/39765 transitions.
Applied a total of 0 rules in 2518 ms. Remains 21602 /21602 variables (removed 0) and now considering 39765/39765 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 21602/21602 places, 39765/39765 transitions.
Starting structural reductions, iteration 0 : 21602/21602 places, 39765/39765 transitions.
Applied a total of 0 rules in 2115 ms. Remains 21602 /21602 variables (removed 0) and now considering 39765/39765 (removed 0) transitions.
[2021-05-19 09:12:03] [INFO ] Flow matrix only has 38200 transitions (discarded 1565 similar events)
// Phase 1: matrix 38200 rows 21602 cols
[2021-05-19 09:12:23] [INFO ] Computed 1973 place invariants in 19374 ms
[2021-05-19 09:12:25] [INFO ] Implicit Places using invariants in 22128 ms returned []
Implicit Place search using SMT only with invariants took 22135 ms to find 0 implicit places.
[2021-05-19 09:12:25] [INFO ] Flow matrix only has 38200 transitions (discarded 1565 similar events)
// Phase 1: matrix 38200 rows 21602 cols
[2021-05-19 09:12:44] [INFO ] Computed 1973 place invariants in 18760 ms
[2021-05-19 09:12:47] [INFO ] Dead Transitions using invariants and state equation in 21790 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21602/21602 places, 39765/39765 transitions.
Incomplete random walk after 100000 steps, including 1355 resets, run finished after 13232 ms. (steps per millisecond=7 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
[2021-05-19 09:13:00] [INFO ] Flow matrix only has 38200 transitions (discarded 1565 similar events)
// Phase 1: matrix 38200 rows 21602 cols
[2021-05-19 09:13:20] [INFO ] Computed 1973 place invariants in 19339 ms
[2021-05-19 09:13:25] [INFO ] [Real]Absence check using 65 positive place invariants in 254 ms returned sat
[2021-05-19 09:13:26] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1175 ms returned sat
[2021-05-19 09:13:29] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:7
[2021-05-19 09:13:34] [INFO ] [Nat]Absence check using 65 positive place invariants in 204 ms returned sat
[2021-05-19 09:13:36] [INFO ] [Nat]Absence check using 65 positive and 1908 generalized place invariants in 1418 ms returned sat
[2021-05-19 09:13:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 09:15:09] [INFO ] [Nat]Absence check using state equation in 91301 ms returned unsat :0 sat :1
[2021-05-19 09:15:11] [INFO ] State equation strengthened by 17635 read => feed constraints.
[2021-05-19 09:15:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2021-05-19 09:15:13] [INFO ] Flatten gal took : 1943 ms
[2021-05-19 09:15:15] [INFO ] Flatten gal took : 2057 ms
[2021-05-19 09:15:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11152582253764634563.gal : 246 ms
[2021-05-19 09:15:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7309528010203513095.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11152582253764634563.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7309528010203513095.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11152582253764634563.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7309528010203513095.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-19 09:15:33] [INFO ] Flatten gal took : 2114 ms
[2021-05-19 09:15:33] [INFO ] Applying decomposition
[2021-05-19 09:15:35] [INFO ] Flatten gal took : 2104 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/graph7079870870804534644.txt, -o, /tmp/graph7079870870804534644.bin, -w, /tmp/graph7079870870804534644.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/graph7079870870804534644.bin, -l, -1, -v, -w, /tmp/graph7079870870804534644.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 09:15:40] [INFO ] Decomposing Gal with order
[2021-05-19 09:15:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 09:16:25] [INFO ] Removed a total of 71991 redundant transitions.
[2021-05-19 09:16:28] [INFO ] Flatten gal took : 38278 ms
[2021-05-19 09:16:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 41277 labels/synchronizations in 15303 ms.
[2021-05-19 09:16:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16832070105802740391.gal : 544 ms
[2021-05-19 09:16:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9482783587909010968.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16832070105802740391.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9482783587909010968.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16832070105802740391.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9482783587909010968.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15734025259431703725
[2021-05-19 09:17:10] [INFO ] Built C files in 330ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15734025259431703725
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15734025259431703725]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15734025259431703725] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15734025259431703725] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Graph (trivial) has 7460 edges and 21602 vertex of which 33 / 21602 are part of one of the 1 SCC in 19 ms
Free SCC test removed 32 places
Drop transitions removed 1115 transitions
Ensure Unique test removed 1506 transitions
Reduce isomorphic transitions removed 2621 transitions.
Graph (complete) has 134751 edges and 21570 vertex of which 21543 are kept as prefixes of interest. Removing 27 places using SCC suffix rule.35 ms
Discarding 27 places :
Also discarding 0 output transitions
Ensure Unique test removed 641 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node14DetectsThatNode17CanReplaceNode16.Node17IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 449 transitions
Trivial Post-agglo rules discarded 449 transitions
Performed 449 trivial Post agglomeration. Transition count delta: 449
Iterating post reduction 0 with 451 rules applied. Total rules applied 453 place count 20901 transition count 36693
Ensure Unique test removed 1 places
Reduce places removed 450 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 448 transitions
Reduce isomorphic transitions removed 449 transitions.
Drop transitions removed 446 transitions
Trivial Post-agglo rules discarded 446 transitions
Performed 446 trivial Post agglomeration. Transition count delta: 446
Iterating post reduction 1 with 1345 rules applied. Total rules applied 1798 place count 20451 transition count 35798
Ensure Unique test removed 1 places
Reduce places removed 447 places and 0 transitions.
Drop transitions removed 56 transitions
Ensure Unique test removed 390 transitions
Reduce isomorphic transitions removed 446 transitions.
Drop transitions removed 388 transitions
Trivial Post-agglo rules discarded 388 transitions
Performed 388 trivial Post agglomeration. Transition count delta: 388
Iterating post reduction 2 with 1281 rules applied. Total rules applied 3079 place count 20004 transition count 34964
Ensure Unique test removed 56 places
Reduce places removed 444 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 386 transitions
Reduce isomorphic transitions removed 388 transitions.
Drop transitions removed 386 transitions
Trivial Post-agglo rules discarded 386 transitions
Performed 386 trivial Post agglomeration. Transition count delta: 386
Iterating post reduction 3 with 1218 rules applied. Total rules applied 4297 place count 19560 transition count 34190
Ensure Unique test removed 2 places
Reduce places removed 388 places and 0 transitions.
Drop transitions removed 52 transitions
Ensure Unique test removed 334 transitions
Reduce isomorphic transitions removed 386 transitions.
Drop transitions removed 333 transitions
Trivial Post-agglo rules discarded 333 transitions
Performed 333 trivial Post agglomeration. Transition count delta: 333
Iterating post reduction 4 with 1107 rules applied. Total rules applied 5404 place count 19172 transition count 33471
Ensure Unique test removed 52 places
Reduce places removed 385 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 331 transitions
Reduce isomorphic transitions removed 333 transitions.
Drop transitions removed 330 transitions
Trivial Post-agglo rules discarded 330 transitions
Performed 330 trivial Post agglomeration. Transition count delta: 330
Iterating post reduction 5 with 1048 rules applied. Total rules applied 6452 place count 18787 transition count 32808
Ensure Unique test removed 2 places
Reduce places removed 332 places and 0 transitions.
Drop transitions removed 45 transitions
Ensure Unique test removed 285 transitions
Reduce isomorphic transitions removed 330 transitions.
Drop transitions removed 285 transitions
Trivial Post-agglo rules discarded 285 transitions
Performed 285 trivial Post agglomeration. Transition count delta: 285
Iterating post reduction 6 with 947 rules applied. Total rules applied 7399 place count 18455 transition count 32193
Ensure Unique test removed 45 places
Reduce places removed 330 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 283 transitions
Reduce isomorphic transitions removed 285 transitions.
Drop transitions removed 283 transitions
Trivial Post-agglo rules discarded 283 transitions
Performed 283 trivial Post agglomeration. Transition count delta: 283
Iterating post reduction 7 with 898 rules applied. Total rules applied 8297 place count 18125 transition count 31625
Ensure Unique test removed 2 places
Reduce places removed 285 places and 0 transitions.
Drop transitions removed 44 transitions
Ensure Unique test removed 239 transitions
Reduce isomorphic transitions removed 283 transitions.
Drop transitions removed 239 transitions
Trivial Post-agglo rules discarded 239 transitions
Performed 239 trivial Post agglomeration. Transition count delta: 239
Iterating post reduction 8 with 807 rules applied. Total rules applied 9104 place count 17840 transition count 31103
Ensure Unique test removed 44 places
Reduce places removed 283 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 237 transitions
Reduce isomorphic transitions removed 239 transitions.
Drop transitions removed 236 transitions
Trivial Post-agglo rules discarded 236 transitions
Performed 236 trivial Post agglomeration. Transition count delta: 236
Iterating post reduction 9 with 758 rules applied. Total rules applied 9862 place count 17557 transition count 30628
Ensure Unique test removed 2 places
Reduce places removed 238 places and 0 transitions.
Drop transitions removed 39 transitions
Ensure Unique test removed 197 transitions
Reduce isomorphic transitions removed 236 transitions.
Drop transitions removed 197 transitions
Trivial Post-agglo rules discarded 197 transitions
Performed 197 trivial Post agglomeration. Transition count delta: 197
Iterating post reduction 10 with 671 rules applied. Total rules applied 10533 place count 17319 transition count 30195
Ensure Unique test removed 39 places
Reduce places removed 236 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 195 transitions
Reduce isomorphic transitions removed 197 transitions.
Drop transitions removed 195 transitions
Trivial Post-agglo rules discarded 195 transitions
Performed 195 trivial Post agglomeration. Transition count delta: 195
Iterating post reduction 11 with 628 rules applied. Total rules applied 11161 place count 17083 transition count 29803
Ensure Unique test removed 2 places
Reduce places removed 197 places and 0 transitions.
Drop transitions removed 36 transitions
Ensure Unique test removed 159 transitions
Reduce isomorphic transitions removed 195 transitions.
Drop transitions removed 158 transitions
Trivial Post-agglo rules discarded 158 transitions
Performed 158 trivial Post agglomeration. Transition count delta: 158
Iterating post reduction 12 with 550 rules applied. Total rules applied 11711 place count 16886 transition count 29450
Ensure Unique test removed 36 places
Reduce places removed 194 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 156 transitions
Reduce isomorphic transitions removed 158 transitions.
Drop transitions removed 156 transitions
Trivial Post-agglo rules discarded 156 transitions
Performed 156 trivial Post agglomeration. Transition count delta: 156
Iterating post reduction 13 with 508 rules applied. Total rules applied 12219 place count 16692 transition count 29136
Ensure Unique test removed 2 places
Reduce places removed 158 places and 0 transitions.
Drop transitions removed 32 transitions
Ensure Unique test removed 124 transitions
Reduce isomorphic transitions removed 156 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 14 with 437 rules applied. Total rules applied 12656 place count 16534 transition count 28857
Ensure Unique test removed 32 places
Reduce places removed 155 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 15 with 399 rules applied. Total rules applied 13055 place count 16379 transition count 28613
Ensure Unique test removed 2 places
Reduce places removed 123 places and 0 transitions.
Drop transitions removed 28 transitions
Ensure Unique test removed 93 transitions
Reduce isomorphic transitions removed 121 transitions.
Drop transitions removed 93 transitions
Trivial Post-agglo rules discarded 93 transitions
Performed 93 trivial Post agglomeration. Transition count delta: 93
Iterating post reduction 16 with 337 rules applied. Total rules applied 13392 place count 16256 transition count 28399
Ensure Unique test removed 28 places
Reduce places removed 121 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 91 transitions
Reduce isomorphic transitions removed 93 transitions.
Drop transitions removed 91 transitions
Trivial Post-agglo rules discarded 91 transitions
Performed 91 trivial Post agglomeration. Transition count delta: 91
Iterating post reduction 17 with 305 rules applied. Total rules applied 13697 place count 16135 transition count 28215
Ensure Unique test removed 2 places
Reduce places removed 93 places and 0 transitions.
Drop transitions removed 21 transitions
Ensure Unique test removed 70 transitions
Reduce isomorphic transitions removed 91 transitions.
Drop transitions removed 70 transitions
Trivial Post-agglo rules discarded 70 transitions
Performed 70 trivial Post agglomeration. Transition count delta: 70
Iterating post reduction 18 with 254 rules applied. Total rules applied 13951 place count 16042 transition count 28054
Ensure Unique test removed 21 places
Reduce places removed 91 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 68 transitions
Reduce isomorphic transitions removed 70 transitions.
Drop transitions removed 68 transitions
Trivial Post-agglo rules discarded 68 transitions
Performed 68 trivial Post agglomeration. Transition count delta: 68
Iterating post reduction 19 with 229 rules applied. Total rules applied 14180 place count 15951 transition count 27916
Ensure Unique test removed 2 places
Reduce places removed 70 places and 0 transitions.
Drop transitions removed 20 transitions
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 68 transitions.
Drop transitions removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 20 with 186 rules applied. Total rules applied 14366 place count 15881 transition count 27800
Ensure Unique test removed 20 places
Reduce places removed 68 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 46 transitions
Reduce isomorphic transitions removed 48 transitions.
Drop transitions removed 46 transitions
Trivial Post-agglo rules discarded 46 transitions
Performed 46 trivial Post agglomeration. Transition count delta: 46
Iterating post reduction 21 with 162 rules applied. Total rules applied 14528 place count 15813 transition count 27706
Ensure Unique test removed 2 places
Reduce places removed 48 places and 0 transitions.
Drop transitions removed 15 transitions
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 46 transitions.
Drop transitions removed 31 transitions
Trivial Post-agglo rules discarded 31 transitions
Performed 31 trivial Post agglomeration. Transition count delta: 31
Iterating post reduction 22 with 125 rules applied. Total rules applied 14653 place count 15765 transition count 27629
Ensure Unique test removed 15 places
Reduce places removed 46 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 31 transitions.
Drop transitions removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 23 with 106 rules applied. Total rules applied 14759 place count 15719 transition count 27569
Ensure Unique test removed 2 places
Reduce places removed 31 places and 0 transitions.
Drop transitions removed 12 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 29 transitions.
Drop transitions removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 24 with 77 rules applied. Total rules applied 14836 place count 15688 transition count 27523
Ensure Unique test removed 12 places
Reduce places removed 29 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 25 with 61 rules applied. Total rules applied 14897 place count 15659 transition count 27491
Ensure Unique test removed 2 places
Reduce places removed 17 places and 0 transitions.
Drop transitions removed 8 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 15 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 26 with 39 rules applied. Total rules applied 14936 place count 15642 transition count 27469
Ensure Unique test removed 8 places
Reduce places removed 15 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 7 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 27 with 27 rules applied. Total rules applied 14963 place count 15627 transition count 27457
Ensure Unique test removed 2 places
Reduce places removed 7 places and 0 transitions.
Drop transitions removed 3 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 28 with 14 rules applied. Total rules applied 14977 place count 15620 transition count 27450
Ensure Unique test removed 3 places
Reduce places removed 5 places and 0 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 29 with 16 rules applied. Total rules applied 14993 place count 15615 transition count 27439
Ensure Unique test removed 2 places
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 30 with 20 rules applied. Total rules applied 15013 place count 15604 transition count 27430
Performed 792 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 31 with 792 Pre rules applied. Total rules applied 15013 place count 15604 transition count 26638
Deduced a syphon composed of 792 places in 16 ms
Reduce places removed 792 places and 0 transitions.
Iterating global reduction 31 with 1584 rules applied. Total rules applied 16597 place count 14812 transition count 26638
Performed 121 Post agglomeration using F-continuation condition.Transition count delta: 121
Deduced a syphon composed of 121 places in 13 ms
Reduce places removed 121 places and 0 transitions.
Iterating global reduction 31 with 242 rules applied. Total rules applied 16839 place count 14691 transition count 26517
Drop transitions removed 57 transitions
Reduce isomorphic transitions removed 57 transitions.
Iterating post reduction 31 with 57 rules applied. Total rules applied 16896 place count 14691 transition count 26460
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 32 with 8 rules applied. Total rules applied 16904 place count 14691 transition count 26452
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 32 with 16 rules applied. Total rules applied 16920 place count 14683 transition count 26444
Applied a total of 16920 rules in 123515 ms. Remains 14683 /21602 variables (removed 6919) and now considering 26444/39765 (removed 13321) transitions.
Running SMT prover for 7 properties.
// Phase 1: matrix 26444 rows 14683 cols
[2021-05-19 09:19:32] [INFO ] Computed 864 place invariants in 17476 ms
[2021-05-19 09:19:35] [INFO ] [Real]Absence check using 6 positive place invariants in 19 ms returned sat
[2021-05-19 09:19:36] [INFO ] [Real]Absence check using 6 positive and 858 generalized place invariants in 406 ms returned sat
[2021-05-19 09:19:37] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:7
[2021-05-19 09:19:40] [INFO ] [Nat]Absence check using 6 positive place invariants in 17 ms returned sat
[2021-05-19 09:19:40] [INFO ] [Nat]Absence check using 6 positive and 858 generalized place invariants in 404 ms returned sat
[2021-05-19 09:19:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 09:20:38] [INFO ] [Nat]Absence check using state equation in 56633 ms returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 7698 ms.
[2021-05-19 09:20:46] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :7
[2021-05-19 09:20:48] [INFO ] Flatten gal took : 1929 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11527320552612078437
[2021-05-19 09:20:51] [INFO ] Too many transitions (39765) to apply POR reductions. Disabling POR matrices.
[2021-05-19 09:20:53] [INFO ] Built C files in 1972ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11527320552612078437
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11527320552612078437]
[2021-05-19 09:20:55] [INFO ] Flatten gal took : 5915 ms
[2021-05-19 09:20:55] [INFO ] Applying decomposition
[2021-05-19 09:21:00] [INFO ] Flatten gal took : 5290 ms
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 2250244096 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /home/mcc/execution/hs_err_pid442.log
Its-tools:
JVM terminated. Exit code=1
/usr/bin/java
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
-os linux
-ws gtk
-arch x86_64
-showsplash
-launcher /home/mcc/BenchKit/itstools/its-tools
-name Its-tools
--launcher.library /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.100.v20210209-1541/eclipse_11301.so
-startup /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
--launcher.overrideVmargs
-exitdata 0
-data /home/mcc/execution/workspace
-pnfolder /home/mcc/execution
-examination ReachabilityFireability
-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
-vm /usr/bin/java
-vmargs
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
BK_STOP 1621416065203
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -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 ReachabilityFireability -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
(process:424): Gtk-WARNING **: 09:21:05.160: Locale not supported by C library.
Using the fallback 'C' locale.
Unable to init server: Could not connect: Connection refused
Its-tools: Cannot open display:
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-S32C12"
export BK_EXAMINATION="ReachabilityFireability"
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-S32C12, examination is ReachabilityFireability"
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-162124157000799"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C12.tgz
mv MultiCrashLeafsetExtension-PT-S32C12 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;