About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16242.527 | 1267415.00 | 3343496.00 | 11603.40 | ?F??FFF?FFFFFT?? | 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-162124157000781.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-S32C10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124157000781
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 63M
-rw-r--r-- 1 mcc users 29K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 95K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 20K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.5K May 11 19:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 19:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 11 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 11 16:25 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 63M May 12 08:13 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-15
=== Now, execution of the tool begins
BK_START 1621406739292
Running Version 0
[2021-05-19 06:45:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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 06:45:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 06:45:42] [INFO ] Load time of PNML (sax parser for PT used): 1559 ms
[2021-05-19 06:45:42] [INFO ] Transformed 32088 places.
[2021-05-19 06:45:42] [INFO ] Transformed 48223 transitions.
[2021-05-19 06:45:42] [INFO ] Parsed PT model containing 32088 places and 48223 transitions in 1812 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 23 ms.
Working with output stream class java.io.PrintStream
[2021-05-19 06:45:42] [INFO ] Initial state test concluded for 3 properties.
Support contains 73 out of 32088 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32088/32088 places, 48223/48223 transitions.
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 32032 transition count 48223
Applied a total of 56 rules in 2597 ms. Remains 32032 /32088 variables (removed 56) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 06:45:46] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:46:00] [INFO ] Computed 1837 place invariants in 14043 ms
[2021-05-19 06:46:04] [INFO ] Implicit Places using invariants in 18351 ms returned []
Implicit Place search using SMT only with invariants took 18388 ms to find 0 implicit places.
[2021-05-19 06:46:04] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:46:33] [INFO ] Computed 1837 place invariants in 29221 ms
[2021-05-19 06:46:36] [INFO ] Dead Transitions using invariants and state equation in 32299 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32088 places, 48223/48223 transitions.
[2021-05-19 06:46:41] [INFO ] Initial state reduction rules for LTL removed 2 formulas.
[2021-05-19 06:46:41] [INFO ] Flatten gal took : 3963 ms
FORMULA MultiCrashLeafsetExtension-PT-S32C10-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C10-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 06:46:43] [INFO ] Flatten gal took : 1730 ms
[2021-05-19 06:46:46] [INFO ] Input system was already deterministic with 48223 transitions.
Incomplete random walk after 100000 steps, including 979 resets, run finished after 5357 ms. (steps per millisecond=18 ) properties (out of 32) seen :13
Running SMT prover for 19 properties.
[2021-05-19 06:46:53] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:47:24] [INFO ] Computed 1837 place invariants in 31344 ms
[2021-05-19 06:47:38] [INFO ] [Real]Absence check using 63 positive place invariants in 503 ms returned sat
[2021-05-19 06:47:41] [INFO ] [Real]Absence check using 63 positive and 1774 generalized place invariants in 2729 ms returned sat
[2021-05-19 06:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:04] [INFO ] [Real]Absence check using state equation in 74783 ms returned unsat :2 sat :9 real:4
[2021-05-19 06:49:05] [INFO ] State equation strengthened by 15523 read => feed constraints.
[2021-05-19 06:49:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Successfully simplified 2 atomic propositions for a total of 14 simplifications.
[2021-05-19 06:49:05] [INFO ] Initial state test concluded for 2 properties.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C10-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X(X(p0)) U (G(p1) U p2)))], workingDir=/home/mcc/execution]
Support contains 5 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 2090 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 06:49:07] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:49:34] [INFO ] Computed 1837 place invariants in 26627 ms
[2021-05-19 06:49:37] [INFO ] Implicit Places using invariants in 29655 ms returned []
Implicit Place search using SMT only with invariants took 29656 ms to find 0 implicit places.
[2021-05-19 06:49:37] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:49:54] [INFO ] Computed 1837 place invariants in 17180 ms
[2021-05-19 06:49:57] [INFO ] Dead Transitions using invariants and state equation in 19959 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 48223/48223 transitions.
Stuttering acceptance computed with spot in 565 ms :[(NOT p2), (NOT p0), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), true, (AND (NOT p1) (NOT p0)), (AND (NOT p2) p1 (NOT p0)), (NOT p1), (NOT p2)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-00 automaton TGBA [mat=[[{ cond=(NOT p2), acceptance={0} source=0 dest: 0}, { cond=(AND (NOT p2) (NOT p1)), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={} source=0 dest: 2}], [{ cond=true, acceptance={} source=1 dest: 3}], [{ cond=(NOT p1), acceptance={} source=2 dest: 3}, { cond=p1, acceptance={} source=2 dest: 5}, { cond=(AND (NOT p2) p1), acceptance={} source=2 dest: 6}], [{ cond=(NOT p0), acceptance={} source=3 dest: 4}], [{ cond=true, acceptance={0} source=4 dest: 4}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=5 dest: 4}, { cond=(AND p1 (NOT p0)), acceptance={} source=5 dest: 7}], [{ cond=(AND (NOT p2) p1 (NOT p0)), acceptance={} source=6 dest: 8}], [{ cond=(NOT p1), acceptance={} source=7 dest: 4}, { cond=p1, acceptance={} source=7 dest: 7}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={} source=8 dest: 4}, { cond=(AND (NOT p2) p1), acceptance={} source=8 dest: 7}, { cond=(AND (NOT p2) p1), acceptance={0} source=8 dest: 8}]], initial=0, aps=[p2:(AND (GEQ s28285 1) (GEQ s28838 1)), p1:(GEQ s26946 1), p0:(AND (OR (LT s28285 1) (LT s28838 1)) (OR (LT s4790 1) (LT s31521 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false, false]]
Product exploration explored 100000 steps with 24947 reset in 9081 ms.
Product exploration explored 100000 steps with 24974 reset in 8459 ms.
Knowledge obtained : [(NOT p2), (NOT p1), p0]
Stuttering acceptance computed with spot in 252 ms :[(NOT p2), (NOT p0), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), true, (AND (NOT p1) (NOT p0)), (AND (NOT p2) p1 (NOT p0)), (NOT p1), (NOT p2)]
Product exploration explored 100000 steps with 24980 reset in 8376 ms.
Product exploration explored 100000 steps with 25074 reset in 8587 ms.
Applying partial POR strategy [false, false, false, true, true, true, true, true, true]
Stuttering acceptance computed with spot in 253 ms :[(NOT p2), (NOT p0), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), true, (AND (NOT p1) (NOT p0)), (AND (NOT p2) p1 (NOT p0)), (NOT p1), (NOT p2)]
Support contains 5 out of 32032 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Performed 10559 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 10559 rules applied. Total rules applied 10559 place count 32032 transition count 48223
Performed 659 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 659 Pre rules applied. Total rules applied 10559 place count 32032 transition count 58108
Deduced a syphon composed of 11218 places in 140 ms
Iterating global reduction 1 with 659 rules applied. Total rules applied 11218 place count 32032 transition count 58108
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 11251 places in 138 ms
Iterating global reduction 1 with 33 rules applied. Total rules applied 11251 place count 32032 transition count 58108
Deduced a syphon composed of 11251 places in 135 ms
Applied a total of 11251 rules in 9480 ms. Remains 32032 /32032 variables (removed 0) and now considering 58108/48223 (removed -9885) transitions.
[2021-05-19 06:50:42] [INFO ] Flow matrix only has 57052 transitions (discarded 1056 similar events)
// Phase 1: matrix 57052 rows 32032 cols
[2021-05-19 06:51:06] [INFO ] Computed 1837 place invariants in 23382 ms
[2021-05-19 06:51:09] [INFO ] Dead Transitions using invariants and state equation in 26708 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 58108/48223 transitions.
Product exploration timeout after 9120 steps with 2307 reset in 10007 ms.
Product exploration timeout after 9030 steps with 2238 reset in 10003 ms.
[2021-05-19 06:51:32] [INFO ] Flatten gal took : 1404 ms
[2021-05-19 06:51:34] [INFO ] Flatten gal took : 1497 ms
[2021-05-19 06:51:34] [INFO ] Time to serialize gal into /tmp/LTL18138579509417793702.gal : 313 ms
[2021-05-19 06:51:34] [INFO ] Time to serialize properties into /tmp/LTL9997297172324737197.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL18138579509417793702.gal, -t, CGAL, -LTL, /tmp/LTL9997297172324737197.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL18138579509417793702.gal -t CGAL -LTL /tmp/LTL9997297172324737197.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:51:51] [INFO ] Flatten gal took : 1565 ms
[2021-05-19 06:51:51] [INFO ] Applying decomposition
[2021-05-19 06:51:52] [INFO ] Flatten gal took : 1496 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/graph10350505123607610349.txt, -o, /tmp/graph10350505123607610349.bin, -w, /tmp/graph10350505123607610349.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/graph10350505123607610349.bin, -l, -1, -v, -w, /tmp/graph10350505123607610349.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:51:55] [INFO ] Decomposing Gal with order
[2021-05-19 06:52:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:52:23] [INFO ] Removed a total of 32580 redundant transitions.
[2021-05-19 06:52:25] [INFO ] Flatten gal took : 10865 ms
[2021-05-19 06:52:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 7091 labels/synchronizations in 1704 ms.
[2021-05-19 06:52:28] [INFO ] Time to serialize gal into /tmp/LTL1241351369983167048.gal : 297 ms
[2021-05-19 06:52:28] [INFO ] Time to serialize properties into /tmp/LTL12675732178353305449.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL1241351369983167048.gal, -t, CGAL, -LTL, /tmp/LTL12675732178353305449.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL1241351369983167048.gal -t CGAL -LTL /tmp/LTL12675732178353305449.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11973025494536050937
[2021-05-19 06:52:44] [INFO ] Built C files in 505ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11973025494536050937
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/ltsmin11973025494536050937]
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/ltsmin11973025494536050937] 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/ltsmin11973025494536050937] 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)
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-00 finished in 220178 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G((G(p0) U (p1||F(G(p2)))))))], workingDir=/home/mcc/execution]
Support contains 6 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 1788 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 06:52:47] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:53:05] [INFO ] Computed 1837 place invariants in 17647 ms
[2021-05-19 06:53:07] [INFO ] Implicit Places using invariants in 20438 ms returned []
Implicit Place search using SMT only with invariants took 20447 ms to find 0 implicit places.
[2021-05-19 06:53:07] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:53:20] [INFO ] Computed 1837 place invariants in 12816 ms
[2021-05-19 06:53:23] [INFO ] Dead Transitions using invariants and state equation in 16171 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 48223/48223 transitions.
Stuttering acceptance computed with spot in 157 ms :[(AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p0)), (AND (NOT p1) (NOT p2))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-01 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(OR p1 p0), acceptance={} source=1 dest: 1}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p1) p0), acceptance={} source=1 dest: 3}, { cond=(AND (NOT p1) (NOT p2) p0), acceptance={} source=1 dest: 4}], [{ cond=(NOT p2), acceptance={0} source=2 dest: 2}, { cond=p2, acceptance={} source=2 dest: 2}], [{ cond=(NOT p0), acceptance={} source=3 dest: 2}, { cond=p0, acceptance={} source=3 dest: 3}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=4 dest: 2}, { cond=(AND (NOT p1) p0), acceptance={} source=4 dest: 3}, { cond=(AND (NOT p1) (NOT p2) p0), acceptance={0} source=4 dest: 4}, { cond=(AND (NOT p1) p2 p0), acceptance={} source=4 dest: 4}]], initial=0, aps=[p1:(AND (GEQ s26131 1) (GEQ s26590 1)), p0:(AND (GEQ s7731 1) (GEQ s28620 1)), p2:(AND (GEQ s20622 1) (GEQ s31976 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Stuttering criterion allowed to conclude after 103 steps with 0 reset in 7 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-01 finished in 38736 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F((X(X(p1))&&p0))||G(p2)))], workingDir=/home/mcc/execution]
Support contains 8 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 2180 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 06:53:26] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:53:40] [INFO ] Computed 1837 place invariants in 13726 ms
[2021-05-19 06:53:43] [INFO ] Implicit Places using invariants in 16576 ms returned []
Implicit Place search using SMT only with invariants took 16581 ms to find 0 implicit places.
[2021-05-19 06:53:43] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:53:57] [INFO ] Computed 1837 place invariants in 14235 ms
[2021-05-19 06:54:00] [INFO ] Dead Transitions using invariants and state equation in 17045 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 48223/48223 transitions.
Stuttering acceptance computed with spot in 245 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p1), (OR (NOT p1) (NOT p0)), (NOT p1), (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-02 automaton TGBA [mat=[[{ cond=(AND (NOT p0) p2), acceptance={} source=0 dest: 0}, { cond=(AND p0 p2), acceptance={} source=0 dest: 1}, { cond=(AND p0 (NOT p2)), acceptance={} source=0 dest: 4}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=0 dest: 5}], [{ cond=(AND p0 p2), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p0) p2), acceptance={} source=1 dest: 3}, { cond=(AND p0 (NOT p2)), acceptance={} source=1 dest: 6}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=1 dest: 7}], [{ cond=(AND p0 p2 (NOT p1)), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=2 dest: 3}, { cond=(AND p0 (NOT p2) (NOT p1)), acceptance={} source=2 dest: 6}, { cond=(AND (NOT p0) (NOT p2) (NOT p1)), acceptance={} source=2 dest: 7}], [{ cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND p0 p2 (NOT p1)), acceptance={} source=3 dest: 1}, { cond=(AND p0 (NOT p2) (NOT p1)), acceptance={} source=3 dest: 4}, { cond=(AND (NOT p0) (NOT p2) (NOT p1)), acceptance={} source=3 dest: 5}], [{ cond=p0, acceptance={0} source=4 dest: 6}, { cond=(NOT p0), acceptance={0} source=4 dest: 7}], [{ cond=p0, acceptance={0} source=5 dest: 4}, { cond=(NOT p0), acceptance={0} source=5 dest: 5}], [{ cond=(AND p0 (NOT p1)), acceptance={0} source=6 dest: 6}, { cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=6 dest: 7}], [{ cond=(AND p0 (NOT p1)), acceptance={0} source=7 dest: 4}, { cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=7 dest: 5}]], initial=0, aps=[p0:(AND (OR (LT s21605 1) (LT s31836 1)) (OR (LT s20737 1) (LT s31696 1))), p2:(OR (LT s31304 1) (LT s31942 1)), p1:(OR (LT s15456 1) (LT s31346 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false]]
Product exploration timeout after 70530 steps with 23510 reset in 10003 ms.
Product exploration timeout after 74410 steps with 24803 reset in 10001 ms.
Knowledge obtained : [p0, p2, p1]
Stuttering acceptance computed with spot in 271 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p1), (OR (NOT p1) (NOT p0)), (NOT p1), (NOT p1)]
Product exploration timeout after 71160 steps with 23720 reset in 10001 ms.
Product exploration timeout after 72090 steps with 24030 reset in 10001 ms.
[2021-05-19 06:54:43] [INFO ] Flatten gal took : 1498 ms
[2021-05-19 06:54:45] [INFO ] Flatten gal took : 1567 ms
[2021-05-19 06:54:45] [INFO ] Time to serialize gal into /tmp/LTL13610803589936741276.gal : 170 ms
[2021-05-19 06:54:45] [INFO ] Time to serialize properties into /tmp/LTL6922168075698837827.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13610803589936741276.gal, -t, CGAL, -LTL, /tmp/LTL6922168075698837827.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13610803589936741276.gal -t CGAL -LTL /tmp/LTL6922168075698837827.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:55:02] [INFO ] Flatten gal took : 1546 ms
[2021-05-19 06:55:02] [INFO ] Applying decomposition
[2021-05-19 06:55:03] [INFO ] Flatten gal took : 1642 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/graph9181971893868321007.txt, -o, /tmp/graph9181971893868321007.bin, -w, /tmp/graph9181971893868321007.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/graph9181971893868321007.bin, -l, -1, -v, -w, /tmp/graph9181971893868321007.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:55:07] [INFO ] Decomposing Gal with order
[2021-05-19 06:55:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:55:34] [INFO ] Removed a total of 32401 redundant transitions.
[2021-05-19 06:55:35] [INFO ] Flatten gal took : 10218 ms
[2021-05-19 06:55:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 5625 labels/synchronizations in 1612 ms.
[2021-05-19 06:55:38] [INFO ] Time to serialize gal into /tmp/LTL16960638456075502736.gal : 180 ms
[2021-05-19 06:55:38] [INFO ] Time to serialize properties into /tmp/LTL16452436611483157965.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL16960638456075502736.gal, -t, CGAL, -LTL, /tmp/LTL16452436611483157965.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL16960638456075502736.gal -t CGAL -LTL /tmp/LTL16452436611483157965.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12367727352624017516
[2021-05-19 06:55:54] [INFO ] Built C files in 566ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12367727352624017516
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/ltsmin12367727352624017516]
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/ltsmin12367727352624017516] 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/ltsmin12367727352624017516] 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)
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-02 finished in 150805 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((p0||G(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 3 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10559 transitions
Trivial Post-agglo rules discarded 10559 transitions
Performed 10559 trivial Post agglomeration. Transition count delta: 10559
Iterating post reduction 0 with 10559 rules applied. Total rules applied 10559 place count 32032 transition count 37664
Reduce places removed 10559 places and 0 transitions.
Iterating post reduction 1 with 10559 rules applied. Total rules applied 21118 place count 21473 transition count 37664
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21118 place count 21473 transition count 37004
Deduced a syphon composed of 660 places in 135 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22438 place count 20813 transition count 37004
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 51 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22504 place count 20780 transition count 36971
Applied a total of 22504 rules in 7266 ms. Remains 20780 /32032 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2021-05-19 06:56:02] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 06:56:11] [INFO ] Computed 1837 place invariants in 8783 ms
[2021-05-19 06:56:13] [INFO ] Implicit Places using invariants in 10738 ms returned []
Implicit Place search using SMT only with invariants took 10738 ms to find 0 implicit places.
[2021-05-19 06:56:13] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 06:56:21] [INFO ] Computed 1837 place invariants in 8699 ms
[2021-05-19 06:56:23] [INFO ] Dead Transitions using invariants and state equation in 10808 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20780/32032 places, 36971/48223 transitions.
Stuttering acceptance computed with spot in 64 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-03 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 0}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(GEQ s1879 1), p1:(OR (LT s4496 1) (LT s14722 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 1224 reset in 3494 ms.
Product exploration explored 100000 steps with 1223 reset in 3819 ms.
Knowledge obtained : [(NOT p0), p1]
Stuttering acceptance computed with spot in 155 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 1225 reset in 4228 ms.
Product exploration explored 100000 steps with 1224 reset in 4076 ms.
[2021-05-19 06:56:42] [INFO ] Flatten gal took : 1130 ms
[2021-05-19 06:56:43] [INFO ] Flatten gal took : 1278 ms
[2021-05-19 06:56:43] [INFO ] Time to serialize gal into /tmp/LTL18100494839973084676.gal : 199 ms
[2021-05-19 06:56:43] [INFO ] Time to serialize properties into /tmp/LTL3523292142883248259.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL18100494839973084676.gal, -t, CGAL, -LTL, /tmp/LTL3523292142883248259.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL18100494839973084676.gal -t CGAL -LTL /tmp/LTL3523292142883248259.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(("(Node2HasTheLeafSetOfLx1ToReplaceNode6>=1)")||(G(F("((Node5ThinksNode26ShouldBeNodeMasterToReplaceNode20<1)||(NodesCanDetectThatNode26HasCrashed<1))"))))))
Formula 0 simplified : !F("(Node2HasTheLeafSetOfLx1ToReplaceNode6>=1)" | GF"((Node5ThinksNode26ShouldBeNodeMasterToReplaceNode20<1)||(NodesCanDetectThatNode26HasCrashed<1))")
Detected timeout of ITS tools.
[2021-05-19 06:57:00] [INFO ] Flatten gal took : 1277 ms
[2021-05-19 06:57:00] [INFO ] Applying decomposition
[2021-05-19 06:57:01] [INFO ] Flatten gal took : 1106 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/graph18340099721631514689.txt, -o, /tmp/graph18340099721631514689.bin, -w, /tmp/graph18340099721631514689.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/graph18340099721631514689.bin, -l, -1, -v, -w, /tmp/graph18340099721631514689.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:57:03] [INFO ] Decomposing Gal with order
[2021-05-19 06:57:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:57:26] [INFO ] Removed a total of 28904 redundant transitions.
[2021-05-19 06:57:27] [INFO ] Flatten gal took : 14254 ms
[2021-05-19 06:57:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 7115 labels/synchronizations in 1503 ms.
[2021-05-19 06:57:30] [INFO ] Time to serialize gal into /tmp/LTL8401381702207989592.gal : 174 ms
[2021-05-19 06:57:30] [INFO ] Time to serialize properties into /tmp/LTL17786886322633317432.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL8401381702207989592.gal, -t, CGAL, -LTL, /tmp/LTL17786886322633317432.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL8401381702207989592.gal -t CGAL -LTL /tmp/LTL17786886322633317432.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7099273082500564945
[2021-05-19 06:57:45] [INFO ] Built C files in 239ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7099273082500564945
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/ltsmin7099273082500564945]
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/ltsmin7099273082500564945] 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/ltsmin7099273082500564945] 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)
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-03 finished in 111854 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X((p0&&G(p1))) U (p2 U p3)))], workingDir=/home/mcc/execution]
Support contains 6 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 1818 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 06:57:48] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:58:11] [INFO ] Computed 1837 place invariants in 22242 ms
[2021-05-19 06:58:13] [INFO ] Implicit Places using invariants in 24269 ms returned []
Implicit Place search using SMT only with invariants took 24270 ms to find 0 implicit places.
[2021-05-19 06:58:13] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 06:58:30] [INFO ] Computed 1837 place invariants in 17916 ms
[2021-05-19 06:58:33] [INFO ] Dead Transitions using invariants and state equation in 20085 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 48223/48223 transitions.
Stuttering acceptance computed with spot in 217 ms :[(NOT p3), (OR (NOT p1) (NOT p0)), (OR (AND (NOT p0) (NOT p3)) (AND (NOT p1) (NOT p3))), true, (NOT p1), (NOT p3), false]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-04 automaton TGBA [mat=[[{ cond=(NOT p3), acceptance={0} source=0 dest: 0}, { cond=(AND (NOT p3) (NOT p2)), acceptance={0} source=0 dest: 1}, { cond=(AND (NOT p3) p2), acceptance={0} source=0 dest: 2}], [{ cond=(OR (NOT p0) (NOT p1)), acceptance={} source=1 dest: 3}, { cond=(AND p0 p1), acceptance={} source=1 dest: 4}], [{ cond=(OR (AND (NOT p3) (NOT p2) (NOT p0)) (AND (NOT p3) (NOT p2) (NOT p1))), acceptance={} source=2 dest: 3}, { cond=(AND (NOT p3) (NOT p2) p0 p1), acceptance={} source=2 dest: 4}, { cond=(OR (AND (NOT p3) p2 (NOT p0)) (AND (NOT p3) p2 (NOT p1))), acceptance={} source=2 dest: 5}, { cond=(AND (NOT p3) p2 p0 p1), acceptance={} source=2 dest: 6}], [{ cond=true, acceptance={0} source=3 dest: 3}], [{ cond=(NOT p1), acceptance={} source=4 dest: 3}, { cond=p1, acceptance={} source=4 dest: 4}], [{ cond=(AND (NOT p3) (NOT p2)), acceptance={0} source=5 dest: 3}, { cond=(AND (NOT p3) p2), acceptance={0} source=5 dest: 5}], [{ cond=(AND (NOT p3) (NOT p2) (NOT p0) p1), acceptance={} source=6 dest: 4}, { cond=(AND (NOT p3) p2 (NOT p0) p1), acceptance={} source=6 dest: 6}]], initial=0, aps=[p3:(AND (GEQ s9554 1) (GEQ s27695 1)), p2:(OR (LT s8424 1) (LT s8643 1)), p0:(GEQ s4245 1), p1:(AND (LT s31393 1) (GEQ s8424 1) (GEQ s8643 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Stuttering criterion allowed to conclude after 100 steps with 0 reset in 7 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-04 finished in 46556 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10560 transitions
Trivial Post-agglo rules discarded 10560 transitions
Performed 10560 trivial Post agglomeration. Transition count delta: 10560
Iterating post reduction 0 with 10560 rules applied. Total rules applied 10560 place count 32032 transition count 37663
Reduce places removed 10560 places and 0 transitions.
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21120 place count 21472 transition count 37663
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21120 place count 21472 transition count 37003
Deduced a syphon composed of 660 places in 68 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22440 place count 20812 transition count 37003
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 45 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22506 place count 20779 transition count 36970
Applied a total of 22506 rules in 6780 ms. Remains 20779 /32032 variables (removed 11253) and now considering 36970/48223 (removed 11253) transitions.
[2021-05-19 06:58:40] [INFO ] Flow matrix only has 35914 transitions (discarded 1056 similar events)
// Phase 1: matrix 35914 rows 20779 cols
[2021-05-19 06:58:49] [INFO ] Computed 1837 place invariants in 9034 ms
[2021-05-19 06:58:50] [INFO ] Implicit Places using invariants in 10395 ms returned []
Implicit Place search using SMT only with invariants took 10396 ms to find 0 implicit places.
[2021-05-19 06:58:50] [INFO ] Flow matrix only has 35914 transitions (discarded 1056 similar events)
// Phase 1: matrix 35914 rows 20779 cols
[2021-05-19 06:59:00] [INFO ] Computed 1837 place invariants in 9431 ms
[2021-05-19 06:59:01] [INFO ] Dead Transitions using invariants and state equation in 10813 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20779/32032 places, 36970/48223 transitions.
Stuttering acceptance computed with spot in 25 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-07 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(OR (LT s4704 1) (LT s20164 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration explored 100000 steps with 1222 reset in 4151 ms.
Product exploration explored 100000 steps with 1223 reset in 4273 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 25 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1223 reset in 3933 ms.
Product exploration explored 100000 steps with 1224 reset in 4133 ms.
[2021-05-19 06:59:20] [INFO ] Flatten gal took : 1150 ms
[2021-05-19 06:59:21] [INFO ] Flatten gal took : 1175 ms
[2021-05-19 06:59:21] [INFO ] Time to serialize gal into /tmp/LTL3678125910778312565.gal : 125 ms
[2021-05-19 06:59:21] [INFO ] Time to serialize properties into /tmp/LTL6765097008081272652.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL3678125910778312565.gal, -t, CGAL, -LTL, /tmp/LTL6765097008081272652.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL3678125910778312565.gal -t CGAL -LTL /tmp/LTL6765097008081272652.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(G("((RequestOfNode5IsSentToLx3<1)||(Lx3IsActiveAndNotInTheLeafSet<1))"))))
Formula 0 simplified : !FG"((RequestOfNode5IsSentToLx3<1)||(Lx3IsActiveAndNotInTheLeafSet<1))"
Detected timeout of ITS tools.
[2021-05-19 06:59:38] [INFO ] Flatten gal took : 1251 ms
[2021-05-19 06:59:38] [INFO ] Applying decomposition
[2021-05-19 06:59:39] [INFO ] Flatten gal took : 1303 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/graph14135305428409639109.txt, -o, /tmp/graph14135305428409639109.bin, -w, /tmp/graph14135305428409639109.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/graph14135305428409639109.bin, -l, -1, -v, -w, /tmp/graph14135305428409639109.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:59:44] [INFO ] Decomposing Gal with order
[2021-05-19 06:59:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 07:00:05] [INFO ] Removed a total of 27930 redundant transitions.
[2021-05-19 07:00:06] [INFO ] Flatten gal took : 13301 ms
[2021-05-19 07:00:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 5058 labels/synchronizations in 1648 ms.
[2021-05-19 07:00:09] [INFO ] Time to serialize gal into /tmp/LTL2661555717907537450.gal : 165 ms
[2021-05-19 07:00:09] [INFO ] Time to serialize properties into /tmp/LTL17503201240487584967.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL2661555717907537450.gal, -t, CGAL, -LTL, /tmp/LTL17503201240487584967.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL2661555717907537450.gal -t CGAL -LTL /tmp/LTL17503201240487584967.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9502970543347070332
[2021-05-19 07:00:24] [INFO ] Built C files in 438ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9502970543347070332
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/ltsmin9502970543347070332]
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/ltsmin9502970543347070332] 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/ltsmin9502970543347070332] 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)
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-07 finished in 112390 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(p0))], workingDir=/home/mcc/execution]
Support contains 1 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10559 transitions
Trivial Post-agglo rules discarded 10559 transitions
Performed 10559 trivial Post agglomeration. Transition count delta: 10559
Iterating post reduction 0 with 10559 rules applied. Total rules applied 10559 place count 32032 transition count 37664
Reduce places removed 10559 places and 0 transitions.
Iterating post reduction 1 with 10559 rules applied. Total rules applied 21118 place count 21473 transition count 37664
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21118 place count 21473 transition count 37004
Deduced a syphon composed of 660 places in 176 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22438 place count 20813 transition count 37004
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 92 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22504 place count 20780 transition count 36971
Applied a total of 22504 rules in 9429 ms. Remains 20780 /32032 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2021-05-19 07:00:35] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:00:48] [INFO ] Computed 1837 place invariants in 13298 ms
[2021-05-19 07:00:51] [INFO ] Implicit Places using invariants in 15791 ms returned []
Implicit Place search using SMT only with invariants took 15792 ms to find 0 implicit places.
[2021-05-19 07:00:51] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:01:04] [INFO ] Computed 1837 place invariants in 13095 ms
[2021-05-19 07:01:06] [INFO ] Dead Transitions using invariants and state equation in 15500 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20780/32032 places, 36971/48223 transitions.
Stuttering acceptance computed with spot in 95 ms :[true, (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}]], initial=1, aps=[p0:(LT s17509 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Entered a terminal (fully accepting) state of product in 73803 steps with 901 reset in 4907 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-08 finished in 45887 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 6 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10560 transitions
Trivial Post-agglo rules discarded 10560 transitions
Performed 10560 trivial Post agglomeration. Transition count delta: 10560
Iterating post reduction 0 with 10560 rules applied. Total rules applied 10560 place count 32032 transition count 37663
Reduce places removed 10560 places and 0 transitions.
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21120 place count 21472 transition count 37663
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21120 place count 21472 transition count 37003
Deduced a syphon composed of 660 places in 143 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22440 place count 20812 transition count 37003
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 119 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22506 place count 20779 transition count 36970
Applied a total of 22506 rules in 9096 ms. Remains 20779 /32032 variables (removed 11253) and now considering 36970/48223 (removed 11253) transitions.
[2021-05-19 07:01:20] [INFO ] Flow matrix only has 35914 transitions (discarded 1056 similar events)
// Phase 1: matrix 35914 rows 20779 cols
[2021-05-19 07:01:34] [INFO ] Computed 1837 place invariants in 13192 ms
[2021-05-19 07:01:36] [INFO ] Implicit Places using invariants in 15715 ms returned []
Implicit Place search using SMT only with invariants took 15716 ms to find 0 implicit places.
[2021-05-19 07:01:36] [INFO ] Flow matrix only has 35914 transitions (discarded 1056 similar events)
// Phase 1: matrix 35914 rows 20779 cols
[2021-05-19 07:01:49] [INFO ] Computed 1837 place invariants in 12576 ms
[2021-05-19 07:01:51] [INFO ] Dead Transitions using invariants and state equation in 15187 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20779/32032 places, 36970/48223 transitions.
Stuttering acceptance computed with spot in 130 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-09 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(OR (AND (GEQ s2 1) (GEQ s37 1) (GEQ s39 1) (GEQ s3349 1)) (AND (GEQ s3084 1) (GEQ s7014 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 80 steps with 0 reset in 7 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-09 finished in 40384 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X(X(F((p0&&F(p1)))))||((p2 U (p3||G(p2))) U p0)))], workingDir=/home/mcc/execution]
Support contains 5 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 2289 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 07:01:54] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 07:02:18] [INFO ] Computed 1837 place invariants in 24104 ms
[2021-05-19 07:02:22] [INFO ] Implicit Places using invariants in 27795 ms returned []
Implicit Place search using SMT only with invariants took 27808 ms to find 0 implicit places.
[2021-05-19 07:02:22] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2021-05-19 07:02:49] [INFO ] Computed 1837 place invariants in 27252 ms
[2021-05-19 07:02:53] [INFO ] Dead Transitions using invariants and state equation in 31061 ms returned []
Finished structural reductions, in 1 iterations. Remains : 32032/32032 places, 48223/48223 transitions.
Stuttering acceptance computed with spot in 1514 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p1) p0 (NOT p3) (NOT p2)), (OR (NOT p0) (NOT p1)), (NOT p1), (OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p1) (NOT p2) (NOT p3))), (AND (NOT p1) (NOT p3) (NOT p2))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-11 automaton TGBA [mat=[[{ cond=(AND (NOT p0) (NOT p3) (NOT p2)), acceptance={} source=0 dest: 1}, { cond=(OR (AND (NOT p0) p3) (AND (NOT p0) p2)), acceptance={} source=0 dest: 2}, { cond=(AND (NOT p0) (NOT p3) p2), acceptance={} source=0 dest: 3}], [{ cond=true, acceptance={} source=1 dest: 4}], [{ cond=(OR (AND (NOT p0) p3) (AND (NOT p0) p2)), acceptance={0} source=2 dest: 2}, { cond=(AND (NOT p0) (NOT p3) (NOT p2)), acceptance={0} source=2 dest: 4}, { cond=(AND (NOT p0) (NOT p3) p2), acceptance={0} source=2 dest: 6}], [{ cond=(AND p0 (NOT p3) (NOT p2)), acceptance={} source=3 dest: 4}, { cond=(AND p0 (NOT p3) p2), acceptance={} source=3 dest: 6}], [{ cond=(NOT p0), acceptance={0} source=4 dest: 4}, { cond=(AND p0 (NOT p1)), acceptance={0} source=4 dest: 5}], [{ cond=(NOT p1), acceptance={0} source=5 dest: 5}], [{ cond=(AND (NOT p0) (NOT p3) (NOT p2)), acceptance={} source=6 dest: 4}, { cond=(AND p0 (NOT p3) (NOT p2) (NOT p1)), acceptance={} source=6 dest: 5}, { cond=(AND (NOT p0) (NOT p3) p2), acceptance={} source=6 dest: 6}, { cond=(AND p0 (NOT p3) p2 (NOT p1)), acceptance={} source=6 dest: 7}], [{ cond=(AND (NOT p3) (NOT p2) (NOT p1)), acceptance={} source=7 dest: 5}, { cond=(AND (NOT p3) p2 (NOT p1)), acceptance={} source=7 dest: 7}]], initial=0, aps=[p0:(GEQ s5841 1), p3:(AND (LT s5841 1) (OR (LT s30288 1) (LT s31521 1))), p2:(OR (LT s30288 1) (LT s31521 1)), p1:(AND (GEQ s9467 1) (GEQ s31871 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false]]
Stuttering criterion allowed to conclude after 103 steps with 0 reset in 6 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-11 finished in 63020 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 1 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10559 transitions
Trivial Post-agglo rules discarded 10559 transitions
Performed 10559 trivial Post agglomeration. Transition count delta: 10559
Iterating post reduction 0 with 10559 rules applied. Total rules applied 10559 place count 32032 transition count 37664
Reduce places removed 10559 places and 0 transitions.
Iterating post reduction 1 with 10559 rules applied. Total rules applied 21118 place count 21473 transition count 37664
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21118 place count 21473 transition count 37004
Deduced a syphon composed of 660 places in 123 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22438 place count 20813 transition count 37004
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 165 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22504 place count 20780 transition count 36971
Applied a total of 22504 rules in 18234 ms. Remains 20780 /32032 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2021-05-19 07:03:13] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:03:26] [INFO ] Computed 1837 place invariants in 13078 ms
[2021-05-19 07:03:29] [INFO ] Implicit Places using invariants in 15633 ms returned []
Implicit Place search using SMT only with invariants took 15633 ms to find 0 implicit places.
[2021-05-19 07:03:29] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:03:41] [INFO ] Computed 1837 place invariants in 12726 ms
[2021-05-19 07:03:44] [INFO ] Dead Transitions using invariants and state equation in 15166 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20780/32032 places, 36971/48223 transitions.
Stuttering acceptance computed with spot in 151 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-12 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(GEQ s17206 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 80 steps with 0 reset in 8 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C10-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-12 finished in 49397 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 6 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Drop transitions removed 10560 transitions
Trivial Post-agglo rules discarded 10560 transitions
Performed 10560 trivial Post agglomeration. Transition count delta: 10560
Iterating post reduction 0 with 10560 rules applied. Total rules applied 10560 place count 32032 transition count 37663
Reduce places removed 10560 places and 0 transitions.
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21120 place count 21472 transition count 37663
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21120 place count 21472 transition count 37003
Deduced a syphon composed of 660 places in 142 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22440 place count 20812 transition count 37003
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 49 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 2 with 64 rules applied. Total rules applied 22504 place count 20780 transition count 36971
Applied a total of 22504 rules in 9038 ms. Remains 20780 /32032 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2021-05-19 07:03:53] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:04:06] [INFO ] Computed 1837 place invariants in 13199 ms
[2021-05-19 07:04:09] [INFO ] Implicit Places using invariants in 15649 ms returned []
Implicit Place search using SMT only with invariants took 15650 ms to find 0 implicit places.
[2021-05-19 07:04:09] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20780 cols
[2021-05-19 07:04:22] [INFO ] Computed 1837 place invariants in 13306 ms
[2021-05-19 07:04:24] [INFO ] Dead Transitions using invariants and state equation in 14796 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20780/32032 places, 36971/48223 transitions.
Stuttering acceptance computed with spot in 119 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C10-14 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (OR (LT s5932 1) (LT s19713 1)) (OR (LT s878 1) (LT s18277 1)) (OR (LT s15344 1) (LT s19365 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration explored 100000 steps with 1223 reset in 5758 ms.
Product exploration explored 100000 steps with 1223 reset in 5718 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 60 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1222 reset in 5475 ms.
Product exploration explored 100000 steps with 1222 reset in 9602 ms.
[2021-05-19 07:04:55] [INFO ] Flatten gal took : 1749 ms
[2021-05-19 07:04:56] [INFO ] Flatten gal took : 1773 ms
[2021-05-19 07:04:57] [INFO ] Time to serialize gal into /tmp/LTL7607887520731430555.gal : 283 ms
[2021-05-19 07:04:57] [INFO ] Time to serialize properties into /tmp/LTL961627274544606158.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL7607887520731430555.gal, -t, CGAL, -LTL, /tmp/LTL961627274544606158.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL7607887520731430555.gal -t CGAL -LTL /tmp/LTL961627274544606158.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 07:05:14] [INFO ] Flatten gal took : 1649 ms
[2021-05-19 07:05:14] [INFO ] Applying decomposition
[2021-05-19 07:05:16] [INFO ] Flatten gal took : 2624 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/graph17377183104735021705.txt, -o, /tmp/graph17377183104735021705.bin, -w, /tmp/graph17377183104735021705.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/graph17377183104735021705.bin, -l, -1, -v, -w, /tmp/graph17377183104735021705.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 07:05:26] [INFO ] Decomposing Gal with order
[2021-05-19 07:05:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 07:05:55] [INFO ] Removed a total of 28020 redundant transitions.
[2021-05-19 07:05:56] [INFO ] Flatten gal took : 17341 ms
[2021-05-19 07:06:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 4737 labels/synchronizations in 2126 ms.
[2021-05-19 07:06:00] [INFO ] Time to serialize gal into /tmp/LTL5144753617071644109.gal : 308 ms
[2021-05-19 07:06:00] [INFO ] Time to serialize properties into /tmp/LTL3054679626109107349.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL5144753617071644109.gal, -t, CGAL, -LTL, /tmp/LTL3054679626109107349.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL5144753617071644109.gal -t CGAL -LTL /tmp/LTL3054679626109107349.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11433989755962791395
[2021-05-19 07:06:15] [INFO ] Built C files in 464ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11433989755962791395
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/ltsmin11433989755962791395]
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/ltsmin11433989755962791395] 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/ltsmin11433989755962791395] 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)
Treatment of property MultiCrashLeafsetExtension-PT-S32C10-14 finished in 152581 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((X(p0)&&G((((p2 U p3)||G(p4))&&p1)))))], workingDir=/home/mcc/execution]
Support contains 7 out of 32032 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 32032/32032 places, 48223/48223 transitions.
Applied a total of 0 rules in 3197 ms. Remains 32032 /32032 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2021-05-19 07:06:20] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
BK_STOP 1621408006707
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C10"
export BK_EXAMINATION="LTLFireability"
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-S32C10, examination is LTLFireability"
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-162124157000781"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;