About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16241.172 | 1705934.00 | 4805181.00 | 6566.40 | TFFT?????FTT?F?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r292-tall-162124157000772.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-S32C09, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124157000772
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 60M
-rw-r--r-- 1 mcc users 67K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 232K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.8K May 11 19:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 11 19:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 11 16:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 16:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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 59M 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-S32C09-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-15
=== Now, execution of the tool begins
BK_START 1621403599508
Running Version 0
[2021-05-19 05:53:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -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 05:53:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 05:53:22] [INFO ] Load time of PNML (sax parser for PT used): 1489 ms
[2021-05-19 05:53:22] [INFO ] Transformed 29770 places.
[2021-05-19 05:53:22] [INFO ] Transformed 44921 transitions.
[2021-05-19 05:53:22] [INFO ] Parsed PT model containing 29770 places and 44921 transitions in 1676 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 56 ms.
Working with output stream class java.io.PrintStream
[2021-05-19 05:53:22] [INFO ] Initial state test concluded for 3 properties.
FORMULA MultiCrashLeafsetExtension-PT-S32C09-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C09-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 40 out of 29770 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29770/29770 places, 44921/44921 transitions.
Reduce places removed 53 places and 0 transitions.
Iterating post reduction 0 with 53 rules applied. Total rules applied 53 place count 29717 transition count 44921
Applied a total of 53 rules in 2568 ms. Remains 29717 /29770 variables (removed 53) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 05:53:26] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29717 cols
[2021-05-19 05:53:39] [INFO ] Computed 1770 place invariants in 13851 ms
[2021-05-19 05:53:42] [INFO ] Implicit Places using invariants in 16725 ms returned []
Implicit Place search using SMT only with invariants took 16779 ms to find 0 implicit places.
[2021-05-19 05:53:42] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29717 cols
[2021-05-19 05:53:53] [INFO ] Computed 1770 place invariants in 10592 ms
[2021-05-19 05:53:56] [INFO ] Dead Transitions using invariants and state equation in 13272 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29717/29770 places, 44921/44921 transitions.
[2021-05-19 05:53:57] [INFO ] Initial state reduction rules for LTL removed 3 formulas.
[2021-05-19 05:53:58] [INFO ] Flatten gal took : 1651 ms
FORMULA MultiCrashLeafsetExtension-PT-S32C09-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C09-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C09-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 05:53:59] [INFO ] Flatten gal took : 1624 ms
[2021-05-19 05:54:02] [INFO ] Input system was already deterministic with 44921 transitions.
Incomplete random walk after 100000 steps, including 1086 resets, run finished after 5222 ms. (steps per millisecond=19 ) properties (out of 20) seen :8
Running SMT prover for 12 properties.
[2021-05-19 05:54:08] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29717 cols
[2021-05-19 05:54:24] [INFO ] Computed 1770 place invariants in 15985 ms
[2021-05-19 05:54:33] [INFO ] [Real]Absence check using 63 positive place invariants in 471 ms returned sat
[2021-05-19 05:54:35] [INFO ] [Real]Absence check using 63 positive and 1707 generalized place invariants in 1505 ms returned sat
[2021-05-19 05:54:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 05:56:04] [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 11 simplifications.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.163 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9504 transitions
Trivial Post-agglo rules discarded 9504 transitions
Performed 9504 trivial Post agglomeration. Transition count delta: 9504
Iterating post reduction 0 with 9504 rules applied. Total rules applied 9505 place count 29716 transition count 35417
Reduce places removed 9504 places and 0 transitions.
Iterating post reduction 1 with 9504 rules applied. Total rules applied 19009 place count 20212 transition count 35417
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 594 Pre rules applied. Total rules applied 19009 place count 20212 transition count 34823
Deduced a syphon composed of 594 places in 55 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 2 with 1188 rules applied. Total rules applied 20197 place count 19618 transition count 34823
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 56 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 20263 place count 19585 transition count 34790
Applied a total of 20263 rules in 7289 ms. Remains 19585 /29717 variables (removed 10132) and now considering 34790/44921 (removed 10131) transitions.
[2021-05-19 05:56:11] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 05:56:19] [INFO ] Computed 1769 place invariants in 7839 ms
[2021-05-19 05:56:21] [INFO ] Implicit Places using invariants in 9981 ms returned []
Implicit Place search using SMT only with invariants took 9982 ms to find 0 implicit places.
[2021-05-19 05:56:21] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 05:56:29] [INFO ] Computed 1769 place invariants in 7823 ms
[2021-05-19 05:56:31] [INFO ] Dead Transitions using invariants and state equation in 9635 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19585/29717 places, 34790/44921 transitions.
Stuttering acceptance computed with spot in 128 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-01 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(LEQ 1 s17664)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 76 steps with 0 reset in 12 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C09-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C09-01 finished in 27233 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X((p0&&X(F(p1))))||(p2 U ((p2&&G(p0))||G(p2)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 29716 transition count 44921
Applied a total of 1 rules in 2067 ms. Remains 29716 /29717 variables (removed 1) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 05:56:33] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 05:56:45] [INFO ] Computed 1769 place invariants in 11996 ms
[2021-05-19 05:56:48] [INFO ] Implicit Places using invariants in 14658 ms returned []
Implicit Place search using SMT only with invariants took 14659 ms to find 0 implicit places.
[2021-05-19 05:56:48] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 05:57:01] [INFO ] Computed 1769 place invariants in 13192 ms
[2021-05-19 05:57:04] [INFO ] Dead Transitions using invariants and state equation in 15846 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29717 places, 44921/44921 transitions.
Stuttering acceptance computed with spot in 448 ms :[(NOT p1), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), true, (OR (NOT p0) (NOT p1)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p2), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-02 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=(AND p0 (NOT p2)), acceptance={} source=1 dest: 0}, { cond=(AND p0 p2), acceptance={} source=1 dest: 3}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=1 dest: 6}, { cond=(AND (NOT p0) p2), acceptance={} source=1 dest: 9}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={} source=2 dest: 0}, { cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=2 dest: 2}, { cond=(AND p0 p2 (NOT p1)), acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p2) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=3 dest: 2}, { cond=(AND p0 p2 (NOT p1)), acceptance={} source=3 dest: 3}, { cond=(AND p0 (NOT p2) (NOT p1)), acceptance={} source=3 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=4 dest: 0}, { cond=(AND p0 (NOT p1)), acceptance={} source=4 dest: 4}], [{ cond=p0, acceptance={} source=5 dest: 5}, { cond=(NOT p0), acceptance={} source=5 dest: 6}], [{ cond=true, acceptance={0} source=6 dest: 6}], [{ cond=p0, acceptance={} source=7 dest: 0}, { cond=(NOT p0), acceptance={} source=7 dest: 6}], [{ cond=(AND (NOT p0) p2), acceptance={} source=8 dest: 1}, { cond=(NOT p2), acceptance={} source=8 dest: 7}, { cond=(AND p0 p2), acceptance={} source=8 dest: 10}], [{ cond=(NOT p2), acceptance={} source=9 dest: 6}, { cond=(AND (NOT p0) p2), acceptance={} source=9 dest: 9}, { cond=(AND p0 p2), acceptance={} source=9 dest: 11}], [{ cond=(AND p0 p2), acceptance={} source=10 dest: 3}, { cond=(AND p0 (NOT p2)), acceptance={} source=10 dest: 4}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=10 dest: 6}, { cond=(AND (NOT p0) p2), acceptance={} source=10 dest: 9}], [{ cond=(AND p0 (NOT p2)), acceptance={} source=11 dest: 5}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=11 dest: 6}, { cond=(AND (NOT p0) p2), acceptance={} source=11 dest: 9}, { cond=(AND p0 p2), acceptance={} source=11 dest: 11}]], initial=8, aps=[p1:(GT 3 s17287), p0:(GT s19351 s1351), p2:(GT 1 s7963)], 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, null, null, null, null][false, false, false, false, false, false, false, false, false, false, false, false]]
Product exploration explored 100000 steps with 1087 reset in 4124 ms.
Product exploration explored 100000 steps with 1086 reset in 3510 ms.
Knowledge obtained : [p1, (NOT p0), p2]
Stuttering acceptance computed with spot in 358 ms :[(NOT p1), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), true, (OR (NOT p0) (NOT p1)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p2), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2))]
Product exploration explored 100000 steps with 1087 reset in 3824 ms.
Entered a terminal (fully accepting) state of product in 9297 steps with 100 reset in 354 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C09-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C09-02 finished in 45615 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0)||(p1&&X(G((p1||X(G(!p1)))))))))], workingDir=/home/mcc/execution]
Support contains 3 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 29716 transition count 44921
Applied a total of 1 rules in 1732 ms. Remains 29716 /29717 variables (removed 1) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 05:57:18] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 05:57:30] [INFO ] Computed 1769 place invariants in 11222 ms
[2021-05-19 05:57:32] [INFO ] Implicit Places using invariants in 13863 ms returned []
Implicit Place search using SMT only with invariants took 13872 ms to find 0 implicit places.
[2021-05-19 05:57:32] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 05:57:43] [INFO ] Computed 1769 place invariants in 11117 ms
[2021-05-19 05:57:46] [INFO ] Dead Transitions using invariants and state equation in 14101 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29717 places, 44921/44921 transitions.
Stuttering acceptance computed with spot in 144 ms :[(AND (NOT p0) (NOT p1)), false, (AND (NOT p0) (NOT p1)), (AND (NOT p0) p1), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-04 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 2}], [{ cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 1}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 3}], [{ cond=(AND (NOT p0) p1), acceptance={} source=2 dest: 1}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=3 dest: 3}, { cond=(AND (NOT p0) p1), acceptance={} source=3 dest: 4}], [{ cond=(NOT p0), acceptance={0} source=4 dest: 4}]], initial=0, aps=[p0:(LEQ s11716 s25372), p1:(GT 1 s12213)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration timeout after 37300 steps with 18650 reset in 10001 ms.
Product exploration timeout after 37580 steps with 18790 reset in 10003 ms.
Knowledge obtained : [p0, p1]
Stuttering acceptance computed with spot in 213 ms :[(AND (NOT p0) (NOT p1)), false, (AND (NOT p0) (NOT p1)), (AND (NOT p0) p1), (NOT p0)]
Product exploration timeout after 39210 steps with 19605 reset in 10001 ms.
Product exploration timeout after 38930 steps with 19465 reset in 10001 ms.
Applying partial POR strategy [false, true, true, true, true]
Stuttering acceptance computed with spot in 225 ms :[(AND (NOT p0) (NOT p1)), false, (AND (NOT p0) (NOT p1)), (AND (NOT p0) p1), (NOT p0)]
Support contains 3 out of 29716 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 29716/29716 places, 44921/44921 transitions.
Performed 9503 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 9503 rules applied. Total rules applied 9503 place count 29716 transition count 44921
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 594 Pre rules applied. Total rules applied 9503 place count 29716 transition count 53831
Deduced a syphon composed of 10097 places in 124 ms
Iterating global reduction 1 with 594 rules applied. Total rules applied 10097 place count 29716 transition count 53831
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 10130 places in 88 ms
Iterating global reduction 1 with 33 rules applied. Total rules applied 10130 place count 29716 transition count 53831
Deduced a syphon composed of 10130 places in 132 ms
Applied a total of 10130 rules in 9022 ms. Remains 29716 /29716 variables (removed 0) and now considering 53831/44921 (removed -8910) transitions.
[2021-05-19 05:58:36] [INFO ] Flow matrix only has 52775 transitions (discarded 1056 similar events)
// Phase 1: matrix 52775 rows 29716 cols
[2021-05-19 05:58:55] [INFO ] Computed 1769 place invariants in 18819 ms
[2021-05-19 05:58:58] [INFO ] Dead Transitions using invariants and state equation in 21504 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29716 places, 53831/44921 transitions.
Product exploration timeout after 4740 steps with 2370 reset in 10019 ms.
Product exploration timeout after 4320 steps with 2160 reset in 10021 ms.
[2021-05-19 05:59:21] [INFO ] Flatten gal took : 1538 ms
[2021-05-19 05:59:22] [INFO ] Flatten gal took : 1405 ms
[2021-05-19 05:59:23] [INFO ] Time to serialize gal into /tmp/LTL10922658405979349546.gal : 311 ms
[2021-05-19 05:59:23] [INFO ] Time to serialize properties into /tmp/LTL7749497206116665997.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/LTL10922658405979349546.gal, -t, CGAL, -LTL, /tmp/LTL7749497206116665997.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/LTL10922658405979349546.gal -t CGAL -LTL /tmp/LTL7749497206116665997.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 05:59:39] [INFO ] Flatten gal took : 1501 ms
[2021-05-19 05:59:39] [INFO ] Applying decomposition
[2021-05-19 05:59:41] [INFO ] Flatten gal took : 1555 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/graph16940540000180854868.txt, -o, /tmp/graph16940540000180854868.bin, -w, /tmp/graph16940540000180854868.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/graph16940540000180854868.bin, -l, -1, -v, -w, /tmp/graph16940540000180854868.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 05:59:45] [INFO ] Decomposing Gal with order
[2021-05-19 05:59:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:00:24] [INFO ] Removed a total of 31311 redundant transitions.
[2021-05-19 06:00:26] [INFO ] Flatten gal took : 21565 ms
[2021-05-19 06:00:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 2237 labels/synchronizations in 1172 ms.
[2021-05-19 06:00:34] [INFO ] Time to serialize gal into /tmp/LTL8746835346062995495.gal : 302 ms
[2021-05-19 06:00:34] [INFO ] Time to serialize properties into /tmp/LTL5100884629991548926.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/LTL8746835346062995495.gal, -t, CGAL, -LTL, /tmp/LTL5100884629991548926.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/LTL8746835346062995495.gal -t CGAL -LTL /tmp/LTL5100884629991548926.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X((F("(gu878.Node12HasAskedItsLeafSetToRx5ToReplaceNode20<=gu878.Node29ThinksNode27ShouldBeNodeMasterToReplaceNode22)"))||(("(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9<1)")&&(X(G(("(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9<1)")||(X(G("(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9>=1)"))))))))))
Formula 0 simplified : !X(F"(gu878.Node12HasAskedItsLeafSetToRx5ToReplaceNode20<=gu878.Node29ThinksNode27ShouldBeNodeMasterToReplaceNode22)" | ("(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9<1)" & XG("(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9<1)" | XG"(gi0.gi3.gu1096.Node13HasTheLeafSetOfLx0ToReplaceNode9>=1)")))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7819347340160478299
[2021-05-19 06:00:50] [INFO ] Built C files in 666ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7819347340160478299
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/ltsmin7819347340160478299]
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/ltsmin7819347340160478299] 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/ltsmin7819347340160478299] 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-S32C09-04 finished in 213926 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0||F(G((G(p1) U p2))))))], workingDir=/home/mcc/execution]
Support contains 6 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 29716 transition count 44921
Applied a total of 1 rules in 1942 ms. Remains 29716 /29717 variables (removed 1) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 06:00:53] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:01:03] [INFO ] Computed 1769 place invariants in 10748 ms
[2021-05-19 06:01:07] [INFO ] Implicit Places using invariants in 14846 ms returned []
Implicit Place search using SMT only with invariants took 14847 ms to find 0 implicit places.
[2021-05-19 06:01:07] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:01:21] [INFO ] Computed 1769 place invariants in 13180 ms
[2021-05-19 06:01:23] [INFO ] Dead Transitions using invariants and state equation in 15790 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29717 places, 44921/44921 transitions.
Stuttering acceptance computed with spot in 167 ms :[(AND (NOT p0) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p1)), (NOT p2), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-05 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={} source=0 dest: 2}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={} source=0 dest: 3}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={0, 1} source=1 dest: 1}, { cond=(OR p2 p1), acceptance={0} source=1 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={1} source=1 dest: 2}, { cond=(AND (NOT p2) p1), acceptance={0, 1} source=1 dest: 3}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={0, 1} source=2 dest: 1}, { cond=(AND p2 (NOT p1)), acceptance={0} source=2 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={1} source=2 dest: 2}, { cond=(AND p2 p1), acceptance={} source=2 dest: 2}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={0, 1} source=3 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={1} source=3 dest: 2}, { cond=(AND (NOT p2) p1), acceptance={0, 1} source=3 dest: 3}], [{ cond=true, acceptance={} source=4 dest: 0}]], initial=4, aps=[p0:(LEQ s27283 s9368), p2:(AND (LEQ s18129 s25197) (LEQ s18036 s23861)), p1:(LEQ s18129 s25197)], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration timeout after 37820 steps with 18910 reset in 10003 ms.
Product exploration timeout after 37880 steps with 18940 reset in 10001 ms.
Knowledge obtained : [p0, p2, p1]
Stuttering acceptance computed with spot in 158 ms :[(AND (NOT p0) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p1)), (NOT p2), (AND (NOT p0) (NOT p2))]
Product exploration timeout after 38500 steps with 19250 reset in 10001 ms.
Product exploration timeout after 37490 steps with 18745 reset in 10002 ms.
Applying partial POR strategy [true, true, true, true, false]
Stuttering acceptance computed with spot in 288 ms :[(AND (NOT p0) (NOT p2)), (NOT p2), (AND (NOT p2) (NOT p1)), (NOT p2), (AND (NOT p0) (NOT p2))]
Support contains 6 out of 29716 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 29716/29716 places, 44921/44921 transitions.
Performed 9503 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 9503 rules applied. Total rules applied 9503 place count 29716 transition count 44921
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 594 Pre rules applied. Total rules applied 9503 place count 29716 transition count 53831
Deduced a syphon composed of 10097 places in 105 ms
Iterating global reduction 1 with 594 rules applied. Total rules applied 10097 place count 29716 transition count 53831
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 10130 places in 99 ms
Iterating global reduction 1 with 33 rules applied. Total rules applied 10130 place count 29716 transition count 53831
Deduced a syphon composed of 10130 places in 95 ms
Applied a total of 10130 rules in 11626 ms. Remains 29716 /29716 variables (removed 0) and now considering 53831/44921 (removed -8910) transitions.
[2021-05-19 06:02:16] [INFO ] Flow matrix only has 52775 transitions (discarded 1056 similar events)
// Phase 1: matrix 52775 rows 29716 cols
[2021-05-19 06:02:34] [INFO ] Computed 1769 place invariants in 18232 ms
[2021-05-19 06:02:37] [INFO ] Dead Transitions using invariants and state equation in 21146 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29716 places, 53831/44921 transitions.
Product exploration timeout after 4020 steps with 2010 reset in 10024 ms.
Product exploration timeout after 3830 steps with 1915 reset in 10018 ms.
[2021-05-19 06:03:00] [INFO ] Flatten gal took : 1526 ms
[2021-05-19 06:03:01] [INFO ] Flatten gal took : 1480 ms
[2021-05-19 06:03:01] [INFO ] Time to serialize gal into /tmp/LTL3484428214388336634.gal : 148 ms
[2021-05-19 06:03:01] [INFO ] Time to serialize properties into /tmp/LTL11889878152578831322.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/LTL3484428214388336634.gal, -t, CGAL, -LTL, /tmp/LTL11889878152578831322.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/LTL3484428214388336634.gal -t CGAL -LTL /tmp/LTL11889878152578831322.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:03:18] [INFO ] Flatten gal took : 1538 ms
[2021-05-19 06:03:18] [INFO ] Applying decomposition
[2021-05-19 06:03:20] [INFO ] Flatten gal took : 1612 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/graph12690012177628414617.txt, -o, /tmp/graph12690012177628414617.bin, -w, /tmp/graph12690012177628414617.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/graph12690012177628414617.bin, -l, -1, -v, -w, /tmp/graph12690012177628414617.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:03:23] [INFO ] Decomposing Gal with order
[2021-05-19 06:03:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:04:01] [INFO ] Removed a total of 31024 redundant transitions.
[2021-05-19 06:04:02] [INFO ] Flatten gal took : 20207 ms
[2021-05-19 06:04:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 605 labels/synchronizations in 486 ms.
[2021-05-19 06:04:09] [INFO ] Time to serialize gal into /tmp/LTL7742498121635404508.gal : 240 ms
[2021-05-19 06:04:09] [INFO ] Time to serialize properties into /tmp/LTL10607151028359204023.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/LTL7742498121635404508.gal, -t, CGAL, -LTL, /tmp/LTL10607151028359204023.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/LTL7742498121635404508.gal -t CGAL -LTL /tmp/LTL10607151028359204023.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(("(gu870.Node31ThinksNode13ShouldBeNodeMasterToReplaceNode16<=gu870.Node9ThinksNode13ShouldBeNodeMasterToReplaceNode18)")||(F(G((G("(gu760.Node21HasDetectedCrashOfNode15<=gu760.Node29HasTheLeafSetOfRx5ToReplaceNode17)"))U("((gu760.Node21HasDetectedCrashOfNode15<=gu760.Node29HasTheLeafSetOfRx5ToReplaceNode17)&&(gu544.Node21HasDetectedCrashOfNode11<=gu544.Node28ManageTheCrashOfNode9))")))))))
Formula 0 simplified : !X("(gu870.Node31ThinksNode13ShouldBeNodeMasterToReplaceNode16<=gu870.Node9ThinksNode13ShouldBeNodeMasterToReplaceNode18)" | FG(G"(gu760.Node21HasDetectedCrashOfNode15<=gu760.Node29HasTheLeafSetOfRx5ToReplaceNode17)" U "((gu760.Node21HasDetectedCrashOfNode15<=gu760.Node29HasTheLeafSetOfRx5ToReplaceNode17)&&(gu544.Node21HasDetectedCrashOfNode11<=gu544.Node28ManageTheCrashOfNode9))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11357287231862719768
[2021-05-19 06:04:24] [INFO ] Built C files in 558ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11357287231862719768
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/ltsmin11357287231862719768]
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/ltsmin11357287231862719768] 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/ltsmin11357287231862719768] 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-S32C09-05 finished in 214745 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G((p0||G(p1)||X(p0)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 29716 transition count 44921
Applied a total of 1 rules in 1879 ms. Remains 29716 /29717 variables (removed 1) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 06:04:27] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:04:42] [INFO ] Computed 1769 place invariants in 14479 ms
[2021-05-19 06:04:46] [INFO ] Implicit Places using invariants in 18498 ms returned []
Implicit Place search using SMT only with invariants took 18510 ms to find 0 implicit places.
[2021-05-19 06:04:46] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:04:56] [INFO ] Computed 1769 place invariants in 10750 ms
[2021-05-19 06:05:00] [INFO ] Dead Transitions using invariants and state equation in 14365 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29717 places, 44921/44921 transitions.
Stuttering acceptance computed with spot in 195 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), true, (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-06 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 3}, { cond=(NOT p0), acceptance={} source=0 dest: 4}], [{ cond=p0, acceptance={} source=1 dest: 3}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 4}, { cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 5}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND (NOT p0) p1), acceptance={} source=3 dest: 1}, { cond=p0, acceptance={} source=3 dest: 3}], [{ cond=true, acceptance={0} source=4 dest: 4}], [{ cond=(NOT p1), acceptance={} source=5 dest: 4}, { cond=p1, acceptance={} source=5 dest: 5}]], initial=2, aps=[p0:(LEQ s21244 s11919), p1:(LEQ s4413 s4055)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Product exploration explored 100000 steps with 1087 reset in 4310 ms.
Product exploration explored 100000 steps with 1087 reset in 4260 ms.
Knowledge obtained : [p0, p1]
Stuttering acceptance computed with spot in 176 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), true, (NOT p1)]
Product exploration explored 100000 steps with 1087 reset in 4191 ms.
Product exploration explored 100000 steps with 1086 reset in 4365 ms.
Applying partial POR strategy [false, false, false, false, true, true]
Stuttering acceptance computed with spot in 9211 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), true, (NOT p1)]
Support contains 4 out of 29716 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 29716/29716 places, 44921/44921 transitions.
Performed 9502 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 9502 rules applied. Total rules applied 9502 place count 29716 transition count 44921
Performed 593 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 593 Pre rules applied. Total rules applied 9502 place count 29716 transition count 53816
Deduced a syphon composed of 10095 places in 119 ms
Iterating global reduction 1 with 593 rules applied. Total rules applied 10095 place count 29716 transition count 53816
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 10128 places in 118 ms
Iterating global reduction 1 with 33 rules applied. Total rules applied 10128 place count 29716 transition count 53816
Deduced a syphon composed of 10128 places in 121 ms
Applied a total of 10128 rules in 10377 ms. Remains 29716 /29716 variables (removed 0) and now considering 53816/44921 (removed -8895) transitions.
[2021-05-19 06:05:38] [INFO ] Flow matrix only has 52760 transitions (discarded 1056 similar events)
// Phase 1: matrix 52760 rows 29716 cols
[2021-05-19 06:05:57] [INFO ] Computed 1769 place invariants in 19729 ms
[2021-05-19 06:06:00] [INFO ] Dead Transitions using invariants and state equation in 22297 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29716 places, 53816/44921 transitions.
Product exploration explored 100000 steps with 1087 reset in 4209 ms.
Product exploration explored 100000 steps with 1087 reset in 4310 ms.
[2021-05-19 06:06:11] [INFO ] Flatten gal took : 1693 ms
[2021-05-19 06:06:13] [INFO ] Flatten gal took : 1377 ms
[2021-05-19 06:06:13] [INFO ] Time to serialize gal into /tmp/LTL425432863699047852.gal : 243 ms
[2021-05-19 06:06:13] [INFO ] Time to serialize properties into /tmp/LTL6478801590798901307.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/LTL425432863699047852.gal, -t, CGAL, -LTL, /tmp/LTL6478801590798901307.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/LTL425432863699047852.gal -t CGAL -LTL /tmp/LTL6478801590798901307.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:06:30] [INFO ] Flatten gal took : 1536 ms
[2021-05-19 06:06:30] [INFO ] Applying decomposition
[2021-05-19 06:06:31] [INFO ] Flatten gal took : 1498 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/graph14668307182454043972.txt, -o, /tmp/graph14668307182454043972.bin, -w, /tmp/graph14668307182454043972.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/graph14668307182454043972.bin, -l, -1, -v, -w, /tmp/graph14668307182454043972.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:06:35] [INFO ] Decomposing Gal with order
[2021-05-19 06:06:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:07:16] [INFO ] Removed a total of 31145 redundant transitions.
[2021-05-19 06:07:17] [INFO ] Flatten gal took : 20559 ms
[2021-05-19 06:07:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 678 labels/synchronizations in 644 ms.
[2021-05-19 06:07:24] [INFO ] Time to serialize gal into /tmp/LTL8633494385849258931.gal : 187 ms
[2021-05-19 06:07:24] [INFO ] Time to serialize properties into /tmp/LTL8379255862309935441.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/LTL8633494385849258931.gal, -t, CGAL, -LTL, /tmp/LTL8379255862309935441.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/LTL8633494385849258931.gal -t CGAL -LTL /tmp/LTL8379255862309935441.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(G((("(gu590.Node25HasTheLeafSetOfLx0ToReplaceNode12<=gu590.Node12HasTheLeafSetOfRx1ToReplaceNode30)")||(G("(gu270.LeafSetOfLx2IsSentToNode3<=gu270.Node3ThinksNode21ShouldBeNodeMasterToReplaceNode20)")))||(X("(gu590.Node25HasTheLeafSetOfLx0ToReplaceNode12<=gu590.Node12HasTheLeafSetOfRx1ToReplaceNode30)"))))))
Formula 0 simplified : !XG("(gu590.Node25HasTheLeafSetOfLx0ToReplaceNode12<=gu590.Node12HasTheLeafSetOfRx1ToReplaceNode30)" | G"(gu270.LeafSetOfLx2IsSentToNode3<=gu270.Node3ThinksNode21ShouldBeNodeMasterToReplaceNode20)" | X"(gu590.Node25HasTheLeafSetOfLx0ToReplaceNode12<=gu590.Node12HasTheLeafSetOfRx1ToReplaceNode30)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3816924680185703075
[2021-05-19 06:07:39] [INFO ] Built C files in 633ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3816924680185703075
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/ltsmin3816924680185703075]
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/ltsmin3816924680185703075] 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/ltsmin3816924680185703075] 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-S32C09-06 finished in 194903 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 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.60 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9487 transitions
Trivial Post-agglo rules discarded 9487 transitions
Performed 9487 trivial Post agglomeration. Transition count delta: 9487
Iterating post reduction 0 with 9487 rules applied. Total rules applied 9488 place count 29716 transition count 35434
Reduce places removed 9487 places and 0 transitions.
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Iterating post reduction 1 with 9504 rules applied. Total rules applied 18992 place count 20229 transition count 35417
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 2 with 17 rules applied. Total rules applied 19009 place count 20212 transition count 35417
Performed 593 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 593 Pre rules applied. Total rules applied 19009 place count 20212 transition count 34824
Deduced a syphon composed of 593 places in 66 ms
Reduce places removed 593 places and 0 transitions.
Iterating global reduction 3 with 1186 rules applied. Total rules applied 20195 place count 19619 transition count 34824
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 3 with 66 rules applied. Total rules applied 20261 place count 19586 transition count 34791
Applied a total of 20261 rules in 7275 ms. Remains 19586 /29717 variables (removed 10131) and now considering 34791/44921 (removed 10130) transitions.
[2021-05-19 06:07:48] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:07:57] [INFO ] Computed 1769 place invariants in 9303 ms
[2021-05-19 06:07:58] [INFO ] Implicit Places using invariants in 10603 ms returned []
Implicit Place search using SMT only with invariants took 10604 ms to find 0 implicit places.
[2021-05-19 06:07:58] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:08:06] [INFO ] Computed 1769 place invariants in 7748 ms
[2021-05-19 06:08:07] [INFO ] Dead Transitions using invariants and state equation in 9061 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19586/29717 places, 34791/44921 transitions.
Stuttering acceptance computed with spot in 32 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-07 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(LEQ s486 s6664)], 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 1358 reset in 3416 ms.
Product exploration explored 100000 steps with 1357 reset in 3749 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1357 reset in 3339 ms.
Product exploration explored 100000 steps with 1357 reset in 3361 ms.
[2021-05-19 06:08:23] [INFO ] Flatten gal took : 1197 ms
[2021-05-19 06:08:25] [INFO ] Flatten gal took : 1167 ms
[2021-05-19 06:08:25] [INFO ] Time to serialize gal into /tmp/LTL7981867691745195125.gal : 123 ms
[2021-05-19 06:08:25] [INFO ] Time to serialize properties into /tmp/LTL13043278950337086869.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL7981867691745195125.gal, -t, CGAL, -LTL, /tmp/LTL13043278950337086869.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/LTL7981867691745195125.gal -t CGAL -LTL /tmp/LTL13043278950337086869.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(G("(Node0HasAskedItsLeafSetToRx0ToReplaceNode17<=LeafSetOfRx5IsSentToNode9)"))))
Formula 0 simplified : !FG"(Node0HasAskedItsLeafSetToRx0ToReplaceNode17<=LeafSetOfRx5IsSentToNode9)"
Detected timeout of ITS tools.
[2021-05-19 06:08:41] [INFO ] Flatten gal took : 1098 ms
[2021-05-19 06:08:41] [INFO ] Applying decomposition
[2021-05-19 06:08:42] [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/graph10800937083200122551.txt, -o, /tmp/graph10800937083200122551.bin, -w, /tmp/graph10800937083200122551.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/graph10800937083200122551.bin, -l, -1, -v, -w, /tmp/graph10800937083200122551.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:08:45] [INFO ] Decomposing Gal with order
[2021-05-19 06:08:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:09:09] [INFO ] Removed a total of 26308 redundant transitions.
[2021-05-19 06:09:09] [INFO ] Flatten gal took : 13865 ms
[2021-05-19 06:09:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 1856 labels/synchronizations in 1013 ms.
[2021-05-19 06:09:14] [INFO ] Time to serialize gal into /tmp/LTL16647821127680115495.gal : 153 ms
[2021-05-19 06:09:14] [INFO ] Time to serialize properties into /tmp/LTL4165375552541019687.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/LTL16647821127680115495.gal, -t, CGAL, -LTL, /tmp/LTL4165375552541019687.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/LTL16647821127680115495.gal -t CGAL -LTL /tmp/LTL4165375552541019687.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(G("(gu45.Node0HasAskedItsLeafSetToRx0ToReplaceNode17<=gu45.LeafSetOfRx5IsSentToNode9)"))))
Formula 0 simplified : !FG"(gu45.Node0HasAskedItsLeafSetToRx0ToReplaceNode17<=gu45.LeafSetOfRx5IsSentToNode9)"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11010605757739963480
[2021-05-19 06:09:30] [INFO ] Built C files in 748ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11010605757739963480
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/ltsmin11010605757739963480]
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/ltsmin11010605757739963480] 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/ltsmin11010605757739963480] 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-S32C09-07 finished in 110503 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(p0))], workingDir=/home/mcc/execution]
Support contains 1 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.165 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9504 transitions
Trivial Post-agglo rules discarded 9504 transitions
Performed 9504 trivial Post agglomeration. Transition count delta: 9504
Iterating post reduction 0 with 9504 rules applied. Total rules applied 9505 place count 29716 transition count 35417
Reduce places removed 9504 places and 0 transitions.
Iterating post reduction 1 with 9504 rules applied. Total rules applied 19009 place count 20212 transition count 35417
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 594 Pre rules applied. Total rules applied 19009 place count 20212 transition count 34823
Deduced a syphon composed of 594 places in 116 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 2 with 1188 rules applied. Total rules applied 20197 place count 19618 transition count 34823
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 124 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 20263 place count 19585 transition count 34790
Applied a total of 20263 rules in 8320 ms. Remains 19585 /29717 variables (removed 10132) and now considering 34790/44921 (removed 10131) transitions.
[2021-05-19 06:09:39] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 06:09:50] [INFO ] Computed 1769 place invariants in 10838 ms
[2021-05-19 06:09:52] [INFO ] Implicit Places using invariants in 13160 ms returned []
Implicit Place search using SMT only with invariants took 13161 ms to find 0 implicit places.
[2021-05-19 06:09:52] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 06:10:02] [INFO ] Computed 1769 place invariants in 9622 ms
[2021-05-19 06:10:04] [INFO ] Dead Transitions using invariants and state equation in 11931 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19585/29717 places, 34790/44921 transitions.
Stuttering acceptance computed with spot in 83 ms :[true, (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-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:(GT 3 s3542)], 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]]
Product exploration explored 100000 steps with 1357 reset in 5396 ms.
Product exploration explored 100000 steps with 1357 reset in 5117 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 128 ms :[true, (NOT p0)]
Product exploration explored 100000 steps with 1356 reset in 4619 ms.
Product exploration explored 100000 steps with 1357 reset in 4443 ms.
[2021-05-19 06:10:27] [INFO ] Flatten gal took : 1314 ms
[2021-05-19 06:10:28] [INFO ] Flatten gal took : 1673 ms
[2021-05-19 06:10:29] [INFO ] Time to serialize gal into /tmp/LTL6045142270506726322.gal : 153 ms
[2021-05-19 06:10:29] [INFO ] Time to serialize properties into /tmp/LTL5352808000562486701.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/LTL6045142270506726322.gal, -t, CGAL, -LTL, /tmp/LTL5352808000562486701.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/LTL6045142270506726322.gal -t CGAL -LTL /tmp/LTL5352808000562486701.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G("(Node4ThinksNode26ShouldBeNodeMasterToReplaceNode16<3)")))
Formula 0 simplified : !G"(Node4ThinksNode26ShouldBeNodeMasterToReplaceNode16<3)"
Detected timeout of ITS tools.
[2021-05-19 06:10:46] [INFO ] Flatten gal took : 1729 ms
[2021-05-19 06:10:46] [INFO ] Applying decomposition
[2021-05-19 06:10:47] [INFO ] Flatten gal took : 1533 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/graph5757175973650759226.txt, -o, /tmp/graph5757175973650759226.bin, -w, /tmp/graph5757175973650759226.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/graph5757175973650759226.bin, -l, -1, -v, -w, /tmp/graph5757175973650759226.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:10:51] [INFO ] Decomposing Gal with order
[2021-05-19 06:10:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:11:17] [INFO ] Removed a total of 28630 redundant transitions.
[2021-05-19 06:11:18] [INFO ] Flatten gal took : 17451 ms
[2021-05-19 06:11:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 7285 labels/synchronizations in 2210 ms.
[2021-05-19 06:11:22] [INFO ] Time to serialize gal into /tmp/LTL3334347166588343123.gal : 246 ms
[2021-05-19 06:11:22] [INFO ] Time to serialize properties into /tmp/LTL7010106836231715918.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL3334347166588343123.gal, -t, CGAL, -LTL, /tmp/LTL7010106836231715918.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/LTL3334347166588343123.gal -t CGAL -LTL /tmp/LTL7010106836231715918.ltl -c -stutter-deadlock
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9189012616308266298
[2021-05-19 06:11:38] [INFO ] Built C files in 222ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9189012616308266298
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/ltsmin9189012616308266298]
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/ltsmin9189012616308266298] 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/ltsmin9189012616308266298] 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-S32C09-08 finished in 128068 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.73 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9502 transitions
Trivial Post-agglo rules discarded 9502 transitions
Performed 9502 trivial Post agglomeration. Transition count delta: 9502
Iterating post reduction 0 with 9502 rules applied. Total rules applied 9503 place count 29716 transition count 35419
Reduce places removed 9502 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 9503 rules applied. Total rules applied 19006 place count 20214 transition count 35418
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 19007 place count 20213 transition count 35418
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 594 Pre rules applied. Total rules applied 19007 place count 20213 transition count 34824
Deduced a syphon composed of 594 places in 78 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 3 with 1188 rules applied. Total rules applied 20195 place count 19619 transition count 34824
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 36 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 20261 place count 19586 transition count 34791
Applied a total of 20261 rules in 9696 ms. Remains 19586 /29717 variables (removed 10131) and now considering 34791/44921 (removed 10130) transitions.
[2021-05-19 06:11:49] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:12:00] [INFO ] Computed 1769 place invariants in 11642 ms
[2021-05-19 06:12:02] [INFO ] Implicit Places using invariants in 13999 ms returned []
Implicit Place search using SMT only with invariants took 14011 ms to find 0 implicit places.
[2021-05-19 06:12:03] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:12:15] [INFO ] Computed 1769 place invariants in 12701 ms
[2021-05-19 06:12:17] [INFO ] Dead Transitions using invariants and state equation in 14972 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19586/29717 places, 34791/44921 transitions.
Stuttering acceptance computed with spot in 117 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-09 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(GT s1158 s8310)], 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 72 steps with 0 reset in 4 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C09-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C09-09 finished in 38987 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 29716 transition count 44921
Applied a total of 1 rules in 2739 ms. Remains 29716 /29717 variables (removed 1) and now considering 44921/44921 (removed 0) transitions.
[2021-05-19 06:12:21] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:12:44] [INFO ] Computed 1769 place invariants in 23724 ms
[2021-05-19 06:12:48] [INFO ] Implicit Places using invariants in 27203 ms returned []
Implicit Place search using SMT only with invariants took 27204 ms to find 0 implicit places.
[2021-05-19 06:12:48] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29716 cols
[2021-05-19 06:13:13] [INFO ] Computed 1769 place invariants in 25193 ms
[2021-05-19 06:13:16] [INFO ] Dead Transitions using invariants and state equation in 28625 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29717 places, 44921/44921 transitions.
Stuttering acceptance computed with spot in 180 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-12 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(LEQ s18353 s728)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration timeout after 21950 steps with 10975 reset in 10009 ms.
Product exploration timeout after 26070 steps with 13035 reset in 10001 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 175 ms :[(NOT p0), (NOT p0)]
Product exploration timeout after 23620 steps with 11810 reset in 10001 ms.
Product exploration timeout after 24740 steps with 12370 reset in 10006 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 202 ms :[(NOT p0), (NOT p0)]
Support contains 2 out of 29716 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 29716/29716 places, 44921/44921 transitions.
Performed 9502 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 9502 rules applied. Total rules applied 9502 place count 29716 transition count 44921
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 594 Pre rules applied. Total rules applied 9502 place count 29716 transition count 53831
Deduced a syphon composed of 10096 places in 236 ms
Iterating global reduction 1 with 594 rules applied. Total rules applied 10096 place count 29716 transition count 53831
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 10129 places in 93 ms
Iterating global reduction 1 with 33 rules applied. Total rules applied 10129 place count 29716 transition count 53831
Deduced a syphon composed of 10129 places in 55 ms
Applied a total of 10129 rules in 14438 ms. Remains 29716 /29716 variables (removed 0) and now considering 53831/44921 (removed -8910) transitions.
[2021-05-19 06:14:12] [INFO ] Flow matrix only has 52775 transitions (discarded 1056 similar events)
// Phase 1: matrix 52775 rows 29716 cols
[2021-05-19 06:14:41] [INFO ] Computed 1769 place invariants in 28704 ms
[2021-05-19 06:14:44] [INFO ] Dead Transitions using invariants and state equation in 32294 ms returned []
Finished structural reductions, in 1 iterations. Remains : 29716/29716 places, 53831/44921 transitions.
Product exploration timeout after 2730 steps with 1365 reset in 10014 ms.
Product exploration timeout after 2700 steps with 1350 reset in 10026 ms.
[2021-05-19 06:15:08] [INFO ] Flatten gal took : 1810 ms
[2021-05-19 06:15:10] [INFO ] Flatten gal took : 2638 ms
[2021-05-19 06:15:10] [INFO ] Time to serialize gal into /tmp/LTL13770861937898371871.gal : 175 ms
[2021-05-19 06:15:11] [INFO ] Time to serialize properties into /tmp/LTL9280380488091733558.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/LTL13770861937898371871.gal, -t, CGAL, -LTL, /tmp/LTL9280380488091733558.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/LTL13770861937898371871.gal -t CGAL -LTL /tmp/LTL9280380488091733558.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:15:28] [INFO ] Flatten gal took : 2507 ms
[2021-05-19 06:15:28] [INFO ] Applying decomposition
[2021-05-19 06:15:30] [INFO ] Flatten gal took : 2102 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/graph9661421836291330519.txt, -o, /tmp/graph9661421836291330519.bin, -w, /tmp/graph9661421836291330519.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/graph9661421836291330519.bin, -l, -1, -v, -w, /tmp/graph9661421836291330519.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:15:36] [INFO ] Decomposing Gal with order
[2021-05-19 06:15:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:16:39] [INFO ] Removed a total of 31248 redundant transitions.
[2021-05-19 06:16:40] [INFO ] Flatten gal took : 32314 ms
[2021-05-19 06:16:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 547 labels/synchronizations in 703 ms.
[2021-05-19 06:16:49] [INFO ] Time to serialize gal into /tmp/LTL11713124791308698630.gal : 353 ms
[2021-05-19 06:16:49] [INFO ] Time to serialize properties into /tmp/LTL7190514806087135726.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/LTL11713124791308698630.gal, -t, CGAL, -LTL, /tmp/LTL7190514806087135726.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/LTL11713124791308698630.gal -t CGAL -LTL /tmp/LTL7190514806087135726.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11453021290142201676
[2021-05-19 06:17:07] [INFO ] Built C files in 2188ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11453021290142201676
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/ltsmin11453021290142201676]
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/ltsmin11453021290142201676] 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/ltsmin11453021290142201676] 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-S32C09-12 finished in 290178 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 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.168 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9503 transitions
Trivial Post-agglo rules discarded 9503 transitions
Performed 9503 trivial Post agglomeration. Transition count delta: 9503
Iterating post reduction 0 with 9503 rules applied. Total rules applied 9504 place count 29716 transition count 35418
Reduce places removed 9503 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 9504 rules applied. Total rules applied 19008 place count 20213 transition count 35417
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 19009 place count 20212 transition count 35417
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 594 Pre rules applied. Total rules applied 19009 place count 20212 transition count 34823
Deduced a syphon composed of 594 places in 124 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 3 with 1188 rules applied. Total rules applied 20197 place count 19618 transition count 34823
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 117 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 20263 place count 19585 transition count 34790
Applied a total of 20263 rules in 12445 ms. Remains 19585 /29717 variables (removed 10132) and now considering 34790/44921 (removed 10131) transitions.
[2021-05-19 06:17:21] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 06:17:36] [INFO ] Computed 1769 place invariants in 15646 ms
[2021-05-19 06:17:38] [INFO ] Implicit Places using invariants in 17851 ms returned []
Implicit Place search using SMT only with invariants took 17862 ms to find 0 implicit places.
[2021-05-19 06:17:38] [INFO ] Flow matrix only has 33734 transitions (discarded 1056 similar events)
// Phase 1: matrix 33734 rows 19585 cols
[2021-05-19 06:17:52] [INFO ] Computed 1769 place invariants in 13724 ms
[2021-05-19 06:17:55] [INFO ] Dead Transitions using invariants and state equation in 16212 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19585/29717 places, 34790/44921 transitions.
Stuttering acceptance computed with spot in 182 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-14 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(LEQ s4449 s5406)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration timeout after 69140 steps with 938 reset in 10001 ms.
Product exploration explored 100000 steps with 1358 reset in 7802 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 76 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1357 reset in 7781 ms.
Product exploration explored 100000 steps with 1357 reset in 7514 ms.
[2021-05-19 06:18:32] [INFO ] Flatten gal took : 2014 ms
[2021-05-19 06:18:35] [INFO ] Flatten gal took : 2274 ms
[2021-05-19 06:18:35] [INFO ] Time to serialize gal into /tmp/LTL18188373143368485647.gal : 243 ms
[2021-05-19 06:18:35] [INFO ] Time to serialize properties into /tmp/LTL9272463264947899634.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/LTL18188373143368485647.gal, -t, CGAL, -LTL, /tmp/LTL9272463264947899634.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/LTL18188373143368485647.gal -t CGAL -LTL /tmp/LTL9272463264947899634.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
[2021-05-19 06:18:52] [INFO ] Flatten gal took : 1874 ms
[2021-05-19 06:18:52] [INFO ] Applying decomposition
[2021-05-19 06:18:54] [INFO ] Flatten gal took : 1729 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/graph16134325119335305178.txt, -o, /tmp/graph16134325119335305178.bin, -w, /tmp/graph16134325119335305178.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/graph16134325119335305178.bin, -l, -1, -v, -w, /tmp/graph16134325119335305178.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-19 06:19:02] [INFO ] Decomposing Gal with order
[2021-05-19 06:19:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 06:19:44] [INFO ] Removed a total of 28489 redundant transitions.
[2021-05-19 06:19:45] [INFO ] Flatten gal took : 25758 ms
[2021-05-19 06:19:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 1668 labels/synchronizations in 1502 ms.
[2021-05-19 06:19:56] [INFO ] Time to serialize gal into /tmp/LTL14758093274813578041.gal : 374 ms
[2021-05-19 06:19:56] [INFO ] Time to serialize properties into /tmp/LTL6883628362274606698.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/LTL14758093274813578041.gal, -t, CGAL, -LTL, /tmp/LTL6883628362274606698.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/LTL14758093274813578041.gal -t CGAL -LTL /tmp/LTL6883628362274606698.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15637526291347997211
[2021-05-19 06:20:12] [INFO ] Built C files in 403ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15637526291347997211
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/ltsmin15637526291347997211]
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/ltsmin15637526291347997211] 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/ltsmin15637526291347997211] 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-S32C09-14 finished in 185208 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 29717 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 29717/29717 places, 44921/44921 transitions.
Graph (complete) has 124493 edges and 29717 vertex of which 29716 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.141 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 9503 transitions
Trivial Post-agglo rules discarded 9503 transitions
Performed 9503 trivial Post agglomeration. Transition count delta: 9503
Iterating post reduction 0 with 9503 rules applied. Total rules applied 9504 place count 29716 transition count 35418
Reduce places removed 9503 places and 0 transitions.
Iterating post reduction 1 with 9503 rules applied. Total rules applied 19007 place count 20213 transition count 35418
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 594 Pre rules applied. Total rules applied 19007 place count 20213 transition count 34824
Deduced a syphon composed of 594 places in 146 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 2 with 1188 rules applied. Total rules applied 20195 place count 19619 transition count 34824
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 93 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 20261 place count 19586 transition count 34791
Applied a total of 20261 rules in 12274 ms. Remains 19586 /29717 variables (removed 10131) and now considering 34791/44921 (removed 10130) transitions.
[2021-05-19 06:20:26] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:20:51] [INFO ] Computed 1769 place invariants in 25082 ms
[2021-05-19 06:20:53] [INFO ] Implicit Places using invariants in 27482 ms returned []
Implicit Place search using SMT only with invariants took 27483 ms to find 0 implicit places.
[2021-05-19 06:20:53] [INFO ] Flow matrix only has 33735 transitions (discarded 1056 similar events)
// Phase 1: matrix 33735 rows 19586 cols
[2021-05-19 06:21:15] [INFO ] Computed 1769 place invariants in 21778 ms
[2021-05-19 06:21:18] [INFO ] Dead Transitions using invariants and state equation in 24190 ms returned []
Finished structural reductions, in 1 iterations. Remains : 19586/29717 places, 34791/44921 transitions.
Stuttering acceptance computed with spot in 204 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C09-15 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(GT 1 s15032)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 1357 reset in 8506 ms.
Product exploration timeout after 96190 steps with 1306 reset in 13971 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 192 ms :[(NOT p0), (NOT p0)]
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 3825205248 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /home/mcc/execution/hs_err_pid439.log
Its-tools:
JVM terminated. Exit code=1
/usr/bin/java
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
-os linux
-ws gtk
-arch x86_64
-showsplash
-launcher /home/mcc/BenchKit/itstools/its-tools
-name Its-tools
--launcher.library /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.100.v20210209-1541/eclipse_11301.so
-startup /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
--launcher.overrideVmargs
-exitdata 0
-data /home/mcc/execution/workspace
-pnfolder /home/mcc/execution
-examination LTLCardinality
-spotpath /home/mcc/BenchKit/bin//..//ltlfilt
-z3path /home/mcc/BenchKit/bin//..//z3/bin/z3
-yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices
-its
-ltsmin
-greatspnpath /home/mcc/BenchKit/bin//..//greatspn/
-order META
-manyOrder
-smt
-timeout 3600
-vm /usr/bin/java
-vmargs
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
BK_STOP 1621405305442
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
(process:419): Gtk-WARNING **: 06:21:45.392: Locale not supported by C library.
Using the fallback 'C' locale.
Unable to init server: Could not connect: Connection refused
Its-tools: Cannot open display:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C09"
export BK_EXAMINATION="LTLCardinality"
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-S32C09, examination is LTLCardinality"
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-162124157000772"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;