About the Execution of ITS-Tools for ShieldPPPs-PT-100A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16245.235 | 3600000.00 | 3146513.00 | 431108.50 | ??FFFFF?FF?TFFF? | 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.r216-tall-162098205500677.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 ShieldPPPs-PT-100A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r216-tall-162098205500677
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 12:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 18:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 907K May 5 16:52 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 ShieldPPPs-PT-100A-00
FORMULA_NAME ShieldPPPs-PT-100A-01
FORMULA_NAME ShieldPPPs-PT-100A-02
FORMULA_NAME ShieldPPPs-PT-100A-03
FORMULA_NAME ShieldPPPs-PT-100A-04
FORMULA_NAME ShieldPPPs-PT-100A-05
FORMULA_NAME ShieldPPPs-PT-100A-06
FORMULA_NAME ShieldPPPs-PT-100A-07
FORMULA_NAME ShieldPPPs-PT-100A-08
FORMULA_NAME ShieldPPPs-PT-100A-09
FORMULA_NAME ShieldPPPs-PT-100A-10
FORMULA_NAME ShieldPPPs-PT-100A-11
FORMULA_NAME ShieldPPPs-PT-100A-12
FORMULA_NAME ShieldPPPs-PT-100A-13
FORMULA_NAME ShieldPPPs-PT-100A-14
FORMULA_NAME ShieldPPPs-PT-100A-15
=== Now, execution of the tool begins
BK_START 1621161899997
Running Version 0
[2021-05-16 10:45:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 10:45:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 10:45:13] [INFO ] Load time of PNML (sax parser for PT used): 192 ms
[2021-05-16 10:45:13] [INFO ] Transformed 3103 places.
[2021-05-16 10:45:13] [INFO ] Transformed 2603 transitions.
[2021-05-16 10:45:13] [INFO ] Found NUPN structural information;
[2021-05-16 10:45:13] [INFO ] Parsed PT model containing 3103 places and 2603 transitions in 347 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
[2021-05-16 10:45:13] [INFO ] Initial state test concluded for 2 properties.
FORMULA ShieldPPPs-PT-100A-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 57 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 462 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:45:14] [INFO ] Computed 1101 place invariants in 38 ms
[2021-05-16 10:45:16] [INFO ] Implicit Places using invariants in 2155 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:45:16] [INFO ] Computed 1101 place invariants in 18 ms
[2021-05-16 10:45:17] [INFO ] Implicit Places using invariants and state equation in 1791 ms returned []
Implicit Place search using SMT with State Equation took 3975 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:45:17] [INFO ] Computed 1101 place invariants in 14 ms
[2021-05-16 10:45:19] [INFO ] Dead Transitions using invariants and state equation in 1804 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
[2021-05-16 10:45:20] [INFO ] Initial state reduction rules for LTL removed 4 formulas.
[2021-05-16 10:45:20] [INFO ] Flatten gal took : 385 ms
FORMULA ShieldPPPs-PT-100A-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-100A-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-100A-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-100A-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 10:45:20] [INFO ] Flatten gal took : 224 ms
[2021-05-16 10:45:20] [INFO ] Input system was already deterministic with 2603 transitions.
Incomplete random walk after 100000 steps, including 14 resets, run finished after 2455 ms. (steps per millisecond=40 ) properties (out of 25) seen :22
Running SMT prover for 3 properties.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:45:29] [INFO ] Computed 1101 place invariants in 11 ms
[2021-05-16 10:45:30] [INFO ] [Real]Absence check using 1101 positive place invariants in 254 ms returned sat
[2021-05-16 10:45:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:45:31] [INFO ] [Real]Absence check using state equation in 1292 ms returned sat
[2021-05-16 10:45:32] [INFO ] Deduced a trap composed of 18 places in 515 ms of which 8 ms to minimize.
[2021-05-16 10:45:33] [INFO ] Deduced a trap composed of 18 places in 618 ms of which 2 ms to minimize.
[2021-05-16 10:45:34] [INFO ] Deduced a trap composed of 18 places in 435 ms of which 2 ms to minimize.
[2021-05-16 10:45:34] [INFO ] Deduced a trap composed of 18 places in 261 ms of which 2 ms to minimize.
[2021-05-16 10:45:34] [INFO ] Deduced a trap composed of 18 places in 208 ms of which 5 ms to minimize.
[2021-05-16 10:45:34] [INFO ] Deduced a trap composed of 20 places in 180 ms of which 1 ms to minimize.
[2021-05-16 10:45:35] [INFO ] Deduced a trap composed of 18 places in 229 ms of which 1 ms to minimize.
[2021-05-16 10:45:35] [INFO ] Deduced a trap composed of 18 places in 185 ms of which 0 ms to minimize.
[2021-05-16 10:45:35] [INFO ] Deduced a trap composed of 18 places in 160 ms of which 1 ms to minimize.
[2021-05-16 10:45:36] [INFO ] Deduced a trap composed of 18 places in 129 ms of which 1 ms to minimize.
[2021-05-16 10:45:36] [INFO ] Deduced a trap composed of 20 places in 110 ms of which 1 ms to minimize.
[2021-05-16 10:45:36] [INFO ] Deduced a trap composed of 18 places in 82 ms of which 0 ms to minimize.
[2021-05-16 10:45:36] [INFO ] Deduced a trap composed of 18 places in 74 ms of which 1 ms to minimize.
[2021-05-16 10:45:36] [INFO ] Deduced a trap composed of 18 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:45:37] [INFO ] Deduced a trap composed of 18 places in 59 ms of which 1 ms to minimize.
[2021-05-16 10:45:37] [INFO ] Deduced a trap composed of 29 places in 37 ms of which 0 ms to minimize.
[2021-05-16 10:45:37] [INFO ] Trap strengthening (SAT) tested/added 17/16 trap constraints in 5248 ms
[2021-05-16 10:45:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:45:38] [INFO ] [Nat]Absence check using 1101 positive place invariants in 244 ms returned sat
[2021-05-16 10:45:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:45:39] [INFO ] [Nat]Absence check using state equation in 1293 ms returned sat
[2021-05-16 10:45:39] [INFO ] Deduced a trap composed of 18 places in 273 ms of which 1 ms to minimize.
[2021-05-16 10:45:40] [INFO ] Deduced a trap composed of 18 places in 247 ms of which 0 ms to minimize.
[2021-05-16 10:45:40] [INFO ] Deduced a trap composed of 18 places in 249 ms of which 1 ms to minimize.
[2021-05-16 10:45:40] [INFO ] Deduced a trap composed of 18 places in 235 ms of which 1 ms to minimize.
[2021-05-16 10:45:40] [INFO ] Deduced a trap composed of 31 places in 180 ms of which 1 ms to minimize.
[2021-05-16 10:45:41] [INFO ] Deduced a trap composed of 18 places in 174 ms of which 1 ms to minimize.
[2021-05-16 10:45:41] [INFO ] Deduced a trap composed of 47 places in 152 ms of which 1 ms to minimize.
[2021-05-16 10:45:41] [INFO ] Deduced a trap composed of 18 places in 127 ms of which 1 ms to minimize.
[2021-05-16 10:45:41] [INFO ] Deduced a trap composed of 20 places in 107 ms of which 0 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Deduced a trap composed of 18 places in 84 ms of which 0 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Deduced a trap composed of 18 places in 87 ms of which 1 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Deduced a trap composed of 18 places in 53 ms of which 1 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Deduced a trap composed of 18 places in 40 ms of which 0 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Deduced a trap composed of 18 places in 27 ms of which 0 ms to minimize.
[2021-05-16 10:45:42] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 3448 ms
[2021-05-16 10:45:42] [INFO ] Computed and/alt/rep : 2602/7203/2602 causal constraints (skipped 0 transitions) in 179 ms.
[2021-05-16 10:45:57] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-16 10:45:58] [INFO ] [Real]Absence check using 1101 positive place invariants in 244 ms returned sat
[2021-05-16 10:45:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:45:59] [INFO ] [Real]Absence check using state equation in 1227 ms returned sat
[2021-05-16 10:45:59] [INFO ] Deduced a trap composed of 18 places in 117 ms of which 1 ms to minimize.
[2021-05-16 10:45:59] [INFO ] Deduced a trap composed of 18 places in 118 ms of which 0 ms to minimize.
[2021-05-16 10:45:59] [INFO ] Deduced a trap composed of 18 places in 104 ms of which 0 ms to minimize.
[2021-05-16 10:46:00] [INFO ] Deduced a trap composed of 18 places in 100 ms of which 5 ms to minimize.
[2021-05-16 10:46:00] [INFO ] Deduced a trap composed of 20 places in 86 ms of which 1 ms to minimize.
[2021-05-16 10:46:00] [INFO ] Deduced a trap composed of 18 places in 102 ms of which 0 ms to minimize.
[2021-05-16 10:46:00] [INFO ] Deduced a trap composed of 18 places in 84 ms of which 1 ms to minimize.
[2021-05-16 10:46:00] [INFO ] Deduced a trap composed of 29 places in 73 ms of which 0 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 18 places in 69 ms of which 0 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 18 places in 74 ms of which 0 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 18 places in 70 ms of which 1 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 20 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 35 places in 59 ms of which 1 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 18 places in 42 ms of which 0 ms to minimize.
[2021-05-16 10:46:01] [INFO ] Deduced a trap composed of 18 places in 50 ms of which 1 ms to minimize.
[2021-05-16 10:46:02] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 2695 ms
[2021-05-16 10:46:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:46:02] [INFO ] [Nat]Absence check using 1101 positive place invariants in 259 ms returned sat
[2021-05-16 10:46:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:46:04] [INFO ] [Nat]Absence check using state equation in 1316 ms returned sat
[2021-05-16 10:46:04] [INFO ] Deduced a trap composed of 18 places in 124 ms of which 1 ms to minimize.
[2021-05-16 10:46:04] [INFO ] Deduced a trap composed of 18 places in 142 ms of which 0 ms to minimize.
[2021-05-16 10:46:04] [INFO ] Deduced a trap composed of 20 places in 130 ms of which 0 ms to minimize.
[2021-05-16 10:46:05] [INFO ] Deduced a trap composed of 18 places in 111 ms of which 0 ms to minimize.
[2021-05-16 10:46:05] [INFO ] Deduced a trap composed of 18 places in 104 ms of which 0 ms to minimize.
[2021-05-16 10:46:05] [INFO ] Deduced a trap composed of 18 places in 109 ms of which 1 ms to minimize.
[2021-05-16 10:46:05] [INFO ] Deduced a trap composed of 29 places in 119 ms of which 1 ms to minimize.
[2021-05-16 10:46:05] [INFO ] Deduced a trap composed of 18 places in 115 ms of which 0 ms to minimize.
[2021-05-16 10:46:06] [INFO ] Deduced a trap composed of 18 places in 119 ms of which 1 ms to minimize.
[2021-05-16 10:46:06] [INFO ] Deduced a trap composed of 18 places in 97 ms of which 1 ms to minimize.
[2021-05-16 10:46:06] [INFO ] Deduced a trap composed of 18 places in 111 ms of which 17 ms to minimize.
[2021-05-16 10:46:06] [INFO ] Deduced a trap composed of 18 places in 97 ms of which 0 ms to minimize.
[2021-05-16 10:46:06] [INFO ] Deduced a trap composed of 35 places in 85 ms of which 1 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Deduced a trap composed of 35 places in 86 ms of which 1 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Deduced a trap composed of 18 places in 78 ms of which 1 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Deduced a trap composed of 35 places in 56 ms of which 0 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Deduced a trap composed of 29 places in 63 ms of which 0 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Deduced a trap composed of 40 places in 41 ms of which 1 ms to minimize.
[2021-05-16 10:46:07] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 3573 ms
[2021-05-16 10:46:07] [INFO ] Computed and/alt/rep : 2602/7203/2602 causal constraints (skipped 0 transitions) in 178 ms.
[2021-05-16 10:46:22] [INFO ] Added : 475 causal constraints over 95 iterations in 14333 ms. Result :unknown
[2021-05-16 10:46:22] [INFO ] [Real]Absence check using 1101 positive place invariants in 238 ms returned sat
[2021-05-16 10:46:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:46:24] [INFO ] [Real]Absence check using state equation in 1221 ms returned sat
[2021-05-16 10:46:24] [INFO ] Deduced a trap composed of 18 places in 297 ms of which 1 ms to minimize.
[2021-05-16 10:46:24] [INFO ] Deduced a trap composed of 18 places in 292 ms of which 1 ms to minimize.
[2021-05-16 10:46:25] [INFO ] Deduced a trap composed of 18 places in 232 ms of which 3 ms to minimize.
[2021-05-16 10:46:25] [INFO ] Deduced a trap composed of 18 places in 219 ms of which 1 ms to minimize.
[2021-05-16 10:46:25] [INFO ] Deduced a trap composed of 18 places in 221 ms of which 3 ms to minimize.
[2021-05-16 10:46:26] [INFO ] Deduced a trap composed of 24 places in 198 ms of which 16 ms to minimize.
[2021-05-16 10:46:26] [INFO ] Deduced a trap composed of 18 places in 173 ms of which 2 ms to minimize.
[2021-05-16 10:46:26] [INFO ] Deduced a trap composed of 18 places in 186 ms of which 1 ms to minimize.
[2021-05-16 10:46:27] [INFO ] Deduced a trap composed of 18 places in 177 ms of which 0 ms to minimize.
[2021-05-16 10:46:27] [INFO ] Deduced a trap composed of 18 places in 167 ms of which 0 ms to minimize.
[2021-05-16 10:46:27] [INFO ] Deduced a trap composed of 18 places in 149 ms of which 1 ms to minimize.
[2021-05-16 10:46:27] [INFO ] Deduced a trap composed of 31 places in 154 ms of which 1 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 18 places in 129 ms of which 1 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 18 places in 134 ms of which 0 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 24 places in 123 ms of which 0 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 18 places in 57 ms of which 1 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 20 places in 50 ms of which 1 ms to minimize.
[2021-05-16 10:46:28] [INFO ] Deduced a trap composed of 24 places in 52 ms of which 0 ms to minimize.
[2021-05-16 10:46:29] [INFO ] Deduced a trap composed of 18 places in 51 ms of which 0 ms to minimize.
[2021-05-16 10:46:29] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 4986 ms
[2021-05-16 10:46:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:46:29] [INFO ] [Nat]Absence check using 1101 positive place invariants in 241 ms returned sat
[2021-05-16 10:46:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:46:31] [INFO ] [Nat]Absence check using state equation in 1216 ms returned sat
[2021-05-16 10:46:31] [INFO ] Deduced a trap composed of 18 places in 307 ms of which 1 ms to minimize.
[2021-05-16 10:46:31] [INFO ] Deduced a trap composed of 18 places in 306 ms of which 1 ms to minimize.
[2021-05-16 10:46:32] [INFO ] Deduced a trap composed of 18 places in 292 ms of which 1 ms to minimize.
[2021-05-16 10:46:32] [INFO ] Deduced a trap composed of 46 places in 309 ms of which 1 ms to minimize.
[2021-05-16 10:46:33] [INFO ] Deduced a trap composed of 18 places in 292 ms of which 0 ms to minimize.
[2021-05-16 10:46:33] [INFO ] Deduced a trap composed of 18 places in 290 ms of which 1 ms to minimize.
[2021-05-16 10:46:33] [INFO ] Deduced a trap composed of 18 places in 276 ms of which 1 ms to minimize.
[2021-05-16 10:46:34] [INFO ] Deduced a trap composed of 18 places in 276 ms of which 1 ms to minimize.
[2021-05-16 10:46:34] [INFO ] Deduced a trap composed of 18 places in 269 ms of which 0 ms to minimize.
[2021-05-16 10:46:34] [INFO ] Deduced a trap composed of 29 places in 231 ms of which 0 ms to minimize.
[2021-05-16 10:46:35] [INFO ] Deduced a trap composed of 18 places in 234 ms of which 1 ms to minimize.
[2021-05-16 10:46:35] [INFO ] Deduced a trap composed of 20 places in 240 ms of which 1 ms to minimize.
[2021-05-16 10:46:35] [INFO ] Deduced a trap composed of 18 places in 211 ms of which 0 ms to minimize.
[2021-05-16 10:46:36] [INFO ] Deduced a trap composed of 18 places in 212 ms of which 1 ms to minimize.
[2021-05-16 10:46:36] [INFO ] Deduced a trap composed of 32 places in 238 ms of which 1 ms to minimize.
[2021-05-16 10:46:36] [INFO ] Deduced a trap composed of 18 places in 203 ms of which 0 ms to minimize.
[2021-05-16 10:46:37] [INFO ] Deduced a trap composed of 18 places in 211 ms of which 1 ms to minimize.
[2021-05-16 10:46:37] [INFO ] Deduced a trap composed of 24 places in 138 ms of which 0 ms to minimize.
[2021-05-16 10:46:37] [INFO ] Deduced a trap composed of 24 places in 138 ms of which 0 ms to minimize.
[2021-05-16 10:46:37] [INFO ] Deduced a trap composed of 20 places in 135 ms of which 0 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 24 places in 134 ms of which 1 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 18 places in 85 ms of which 0 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 18 places in 76 ms of which 1 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 18 places in 48 ms of which 0 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 24 places in 41 ms of which 0 ms to minimize.
[2021-05-16 10:46:38] [INFO ] Deduced a trap composed of 18 places in 38 ms of which 0 ms to minimize.
[2021-05-16 10:46:39] [INFO ] Deduced a trap composed of 24 places in 47 ms of which 0 ms to minimize.
[2021-05-16 10:46:39] [INFO ] Deduced a trap composed of 20 places in 46 ms of which 0 ms to minimize.
[2021-05-16 10:46:39] [INFO ] Trap strengthening (SAT) tested/added 29/28 trap constraints in 8105 ms
[2021-05-16 10:46:39] [INFO ] Computed and/alt/rep : 2602/7203/2602 causal constraints (skipped 0 transitions) in 152 ms.
[2021-05-16 10:46:51] [INFO ] Deduced a trap composed of 3 places in 2366 ms of which 15 ms to minimize.
[2021-05-16 10:46:51] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 2
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((G(p0)||X(F(p1))))], workingDir=/home/mcc/execution]
Support contains 3 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 153 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:46:51] [INFO ] Computed 1101 place invariants in 19 ms
[2021-05-16 10:46:53] [INFO ] Implicit Places using invariants in 1782 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:46:53] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:46:55] [INFO ] Implicit Places using invariants and state equation in 1674 ms returned []
Implicit Place search using SMT with State Equation took 3467 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:46:55] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:46:57] [INFO ] Dead Transitions using invariants and state equation in 1634 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 241 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ShieldPPPs-PT-100A-00 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 0}, { cond=(AND p0 (NOT p1)), acceptance={} source=2 dest: 2}]], initial=1, aps=[p1:(OR (EQ s3014 0) (EQ s3016 0)), p0:(EQ s2760 1)], 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][false, false, false]]
Product exploration explored 100000 steps with 50000 reset in 8430 ms.
Product exploration explored 100000 steps with 50000 reset in 8381 ms.
Knowledge obtained : [p1, (NOT p0)]
Stuttering acceptance computed with spot in 76 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 50000 reset in 8259 ms.
Product exploration explored 100000 steps with 50000 reset in 8439 ms.
Applying partial POR strategy [true, false, true]
Stuttering acceptance computed with spot in 87 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Support contains 3 out of 3103 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 2 places in 16 ms
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 3103 transition count 2603
Deduced a syphon composed of 2 places in 14 ms
Applied a total of 2 rules in 665 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
[2021-05-16 10:47:32] [INFO ] Redundant transitions in 204 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:47:32] [INFO ] Computed 1101 place invariants in 14 ms
[2021-05-16 10:47:33] [INFO ] Dead Transitions using invariants and state equation in 1629 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Product exploration timeout after 44860 steps with 22430 reset in 10003 ms.
Product exploration timeout after 44250 steps with 22125 reset in 10002 ms.
[2021-05-16 10:47:54] [INFO ] Flatten gal took : 182 ms
[2021-05-16 10:47:54] [INFO ] Flatten gal took : 198 ms
[2021-05-16 10:47:54] [INFO ] Time to serialize gal into /tmp/LTL16505831499478229182.gal : 130 ms
[2021-05-16 10:47:54] [INFO ] Time to serialize properties into /tmp/LTL13607973174944054773.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/LTL16505831499478229182.gal, -t, CGAL, -LTL, /tmp/LTL13607973174944054773.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/LTL16505831499478229182.gal -t CGAL -LTL /tmp/LTL13607973174944054773.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !(((G("(p2760==1)"))||(X(F("((p3014==0)||(p3016==0))")))))
Formula 0 simplified : !(G"(p2760==1)" | XF"((p3014==0)||(p3016==0))")
Detected timeout of ITS tools.
[2021-05-16 10:48:09] [INFO ] Flatten gal took : 154 ms
[2021-05-16 10:48:09] [INFO ] Applying decomposition
[2021-05-16 10:48:09] [INFO ] Flatten gal took : 152 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/graph10948416635811859061.txt, -o, /tmp/graph10948416635811859061.bin, -w, /tmp/graph10948416635811859061.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/graph10948416635811859061.bin, -l, -1, -v, -w, /tmp/graph10948416635811859061.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:48:10] [INFO ] Decomposing Gal with order
[2021-05-16 10:48:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:48:10] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:48:10] [INFO ] Flatten gal took : 265 ms
[2021-05-16 10:48:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 1206 labels/synchronizations in 398 ms.
[2021-05-16 10:48:11] [INFO ] Time to serialize gal into /tmp/LTL15490036665545103893.gal : 46 ms
[2021-05-16 10:48:11] [INFO ] Time to serialize properties into /tmp/LTL204784556437484714.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/LTL15490036665545103893.gal, -t, CGAL, -LTL, /tmp/LTL204784556437484714.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/LTL15490036665545103893.gal -t CGAL -LTL /tmp/LTL204784556437484714.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !(((G("(i49.i0.i3.u979.p2760==1)"))||(X(F("((i53.i1.i1.u1069.p3014==0)||(i53.i1.i2.u1070.p3016==0))")))))
Formula 0 simplified : !(G"(i49.i0.i3.u979.p2760==1)" | XF"((i53.i1.i1.u1069.p3014==0)||(i53.i1.i2.u1070.p3016==0))")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10976653527797461444
[2021-05-16 10:48:26] [INFO ] Built C files in 48ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10976653527797461444
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/ltsmin10976653527797461444]
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/ltsmin10976653527797461444] 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/ltsmin10976653527797461444] 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 ShieldPPPs-PT-100A-00 finished in 95864 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(G((F(((p1 U p2)&&G(p1)))||p0))) U p1))], workingDir=/home/mcc/execution]
Support contains 4 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 13 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 3101 transition count 2601
Applied a total of 4 rules in 414 ms. Remains 3101 /3103 variables (removed 2) and now considering 2601/2603 (removed 2) transitions.
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:48:28] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:48:29] [INFO ] Implicit Places using invariants in 1686 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:48:29] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:48:31] [INFO ] Implicit Places using invariants and state equation in 1855 ms returned []
Implicit Place search using SMT with State Equation took 3544 ms to find 0 implicit places.
[2021-05-16 10:48:31] [INFO ] Redundant transitions in 199 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:48:31] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:48:33] [INFO ] Dead Transitions using invariants and state equation in 1640 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3101/3103 places, 2601/2603 transitions.
Stuttering acceptance computed with spot in 185 ms :[(NOT p1), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : ShieldPPPs-PT-100A-01 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0, 1} source=0 dest: 0}, { cond=(NOT p1), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=true, acceptance={} source=1 dest: 1}, { cond=(NOT p1), acceptance={} source=1 dest: 2}, { cond=(AND p1 (NOT p0)), acceptance={} source=1 dest: 3}, { cond=(AND p1 (NOT p2)), acceptance={} source=1 dest: 4}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0, 1} source=2 dest: 2}, { cond=(AND (NOT p1) p0), acceptance={1} source=2 dest: 2}, { cond=(AND p1 (NOT p0)), acceptance={0} source=2 dest: 3}, { cond=(AND p1 p0), acceptance={} source=2 dest: 3}, { cond=(AND p1 (NOT p0) (NOT p2)), acceptance={0, 1} source=2 dest: 4}, { cond=(AND p1 p0 (NOT p2)), acceptance={1} source=2 dest: 4}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0, 1} source=3 dest: 2}, { cond=(AND (NOT p1) p0), acceptance={1} source=3 dest: 2}, { cond=(AND p1 (NOT p0)), acceptance={0} source=3 dest: 3}, { cond=(AND p1 p0), acceptance={} source=3 dest: 3}], [{ cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={0, 1} source=4 dest: 2}, { cond=(AND (NOT p1) p0 (NOT p2)), acceptance={1} source=4 dest: 2}, { cond=(AND p1 (NOT p0) (NOT p2)), acceptance={0, 1} source=4 dest: 4}, { cond=(AND p1 p0 (NOT p2)), acceptance={1} source=4 dest: 4}]], initial=0, aps=[p1:(AND (EQ s2178 1) (EQ s2199 1)), p0:(OR (EQ s2178 0) (EQ s2199 0)), p2:(AND (EQ s411 1) (EQ s432 1))], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null, null, null][true, true, true, true, true]]
Product exploration explored 100000 steps with 15 reset in 2070 ms.
Product exploration explored 100000 steps with 15 reset in 2490 ms.
Knowledge obtained : [(NOT p1), p0, (NOT p2)]
Stuttering acceptance computed with spot in 160 ms :[(NOT p1), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p2))]
Product exploration explored 100000 steps with 14 reset in 1972 ms.
Product exploration explored 100000 steps with 14 reset in 2432 ms.
[2021-05-16 10:48:43] [INFO ] Flatten gal took : 155 ms
[2021-05-16 10:48:43] [INFO ] Flatten gal took : 154 ms
[2021-05-16 10:48:43] [INFO ] Time to serialize gal into /tmp/LTL12889488431698911457.gal : 10 ms
[2021-05-16 10:48:43] [INFO ] Time to serialize properties into /tmp/LTL16970914545123902118.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/LTL12889488431698911457.gal, -t, CGAL, -LTL, /tmp/LTL16970914545123902118.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/LTL12889488431698911457.gal -t CGAL -LTL /tmp/LTL16970914545123902118.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !(((F(G(("((p2178==0)||(p2199==0))")||(F((("((p2178==1)&&(p2199==1))")U("((p411==1)&&(p432==1))"))&&(G("((p2178==1)&&(p2199==1))")))))))U("((p2178==1)&&(p2199==1))")))
Formula 0 simplified : !(FG("((p2178==0)||(p2199==0))" | F(("((p2178==1)&&(p2199==1))" U "((p411==1)&&(p432==1))") & G"((p2178==1)&&(p2199==1))")) U "((p2178==1)&&(p2199==1))")
Detected timeout of ITS tools.
[2021-05-16 10:48:58] [INFO ] Flatten gal took : 138 ms
[2021-05-16 10:48:58] [INFO ] Applying decomposition
[2021-05-16 10:48:58] [INFO ] Flatten gal took : 149 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/graph802627551378518409.txt, -o, /tmp/graph802627551378518409.bin, -w, /tmp/graph802627551378518409.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/graph802627551378518409.bin, -l, -1, -v, -w, /tmp/graph802627551378518409.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:48:58] [INFO ] Decomposing Gal with order
[2021-05-16 10:48:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:48:59] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:48:59] [INFO ] Flatten gal took : 163 ms
[2021-05-16 10:48:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 1200 labels/synchronizations in 142 ms.
[2021-05-16 10:48:59] [INFO ] Time to serialize gal into /tmp/LTL8874066565709037259.gal : 31 ms
[2021-05-16 10:48:59] [INFO ] Time to serialize properties into /tmp/LTL18425340031440435064.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/LTL8874066565709037259.gal, -t, CGAL, -LTL, /tmp/LTL18425340031440435064.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/LTL8874066565709037259.gal -t CGAL -LTL /tmp/LTL18425340031440435064.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !(((F(G(("((i40.i1.i2.u773.p2178==0)||(i40.i1.i2.u780.p2199==0))")||(F((("((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))")U("((i7.u146.p411==1)&&(i7.u153.p432==1))"))&&(G("((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))")))))))U("((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))")))
Formula 0 simplified : !(FG("((i40.i1.i2.u773.p2178==0)||(i40.i1.i2.u780.p2199==0))" | F(("((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))" U "((i7.u146.p411==1)&&(i7.u153.p432==1))") & G"((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))")) U "((i40.i1.i2.u773.p2178==1)&&(i40.i1.i2.u780.p2199==1))")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2377412904199364655
[2021-05-16 10:49:14] [INFO ] Built C files in 31ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2377412904199364655
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/ltsmin2377412904199364655]
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/ltsmin2377412904199364655] 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/ltsmin2377412904199364655] 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 ShieldPPPs-PT-100A-01 finished in 48238 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((((p0 U X(p0))||G(p1)) U p2))], workingDir=/home/mcc/execution]
Support contains 6 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 125 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:15] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:17] [INFO ] Implicit Places using invariants in 1662 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:17] [INFO ] Computed 1101 place invariants in 17 ms
[2021-05-16 10:49:19] [INFO ] Implicit Places using invariants and state equation in 1950 ms returned []
Implicit Place search using SMT with State Equation took 3614 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:19] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:49:21] [INFO ] Dead Transitions using invariants and state equation in 1817 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 184 ms :[(NOT p2), (NOT p0), (AND (NOT p0) p2 (NOT p1)), (AND (NOT p1) (NOT p0)), (OR (AND (NOT p0) p1) (AND (NOT p0) p2)), true, (NOT p1)]
Running random walk in product with property : ShieldPPPs-PT-100A-02 automaton TGBA [mat=[[{ cond=(NOT p2), acceptance={0} source=0 dest: 0}, { cond=(AND (NOT p2) (NOT p0) (NOT p1)), acceptance={0} source=0 dest: 1}, { cond=(AND (NOT p2) p0 p1), acceptance={0} source=0 dest: 2}, { cond=(AND (NOT p2) (NOT p0) p1), acceptance={0} source=0 dest: 3}, { cond=(AND (NOT p2) p0 (NOT p1)), acceptance={0} source=0 dest: 4}], [{ cond=(NOT p0), acceptance={} source=1 dest: 5}], [{ cond=(AND p2 (NOT p0) (NOT p1)), acceptance={} source=2 dest: 1}, { cond=(AND p2 (NOT p0) p1), acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=3 dest: 5}, { cond=(AND (NOT p0) p1), acceptance={} source=3 dest: 6}], [{ cond=(OR (AND p2 (NOT p0)) (AND (NOT p0) p1)), acceptance={} source=4 dest: 1}], [{ cond=true, acceptance={0} source=5 dest: 5}], [{ cond=(NOT p1), acceptance={} source=6 dest: 5}, { cond=p1, acceptance={} source=6 dest: 6}]], initial=0, aps=[p2:(OR (AND (EQ s1646 1) (EQ s1673 1)) (AND (EQ s1709 1) (EQ s1730 1) (EQ s452 1) (EQ s461 1))), p0:(AND (EQ s1646 1) (EQ s1673 1)), p1:(AND (EQ s1709 1) (EQ s1730 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 0 ms.
FORMULA ShieldPPPs-PT-100A-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-02 finished in 5810 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Reduce places removed 1 places and 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 3101 transition count 2601
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 14 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 3100 transition count 2600
Applied a total of 4 rules in 413 ms. Remains 3100 /3103 variables (removed 3) and now considering 2600/2603 (removed 3) transitions.
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:49:22] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:23] [INFO ] Implicit Places using invariants in 1755 ms returned []
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:49:23] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:25] [INFO ] Implicit Places using invariants and state equation in 1829 ms returned []
Implicit Place search using SMT with State Equation took 3586 ms to find 0 implicit places.
[2021-05-16 10:49:25] [INFO ] Redundant transitions in 75 ms returned []
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:49:25] [INFO ] Computed 1101 place invariants in 4 ms
[2021-05-16 10:49:27] [INFO ] Dead Transitions using invariants and state equation in 1902 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3100/3103 places, 2600/2603 transitions.
Stuttering acceptance computed with spot in 63 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : ShieldPPPs-PT-100A-03 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:(AND (EQ s1255 1) (EQ s1270 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 10593 steps with 1 reset in 250 ms.
FORMULA ShieldPPPs-PT-100A-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-03 finished in 6327 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((G(p0)||G(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 6 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 12 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 3101 transition count 2601
Applied a total of 4 rules in 288 ms. Remains 3101 /3103 variables (removed 2) and now considering 2601/2603 (removed 2) transitions.
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:49:28] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:49:30] [INFO ] Implicit Places using invariants in 1830 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:49:30] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:31] [INFO ] Implicit Places using invariants and state equation in 1815 ms returned []
Implicit Place search using SMT with State Equation took 3647 ms to find 0 implicit places.
[2021-05-16 10:49:31] [INFO ] Redundant transitions in 74 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:49:32] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:49:33] [INFO ] Dead Transitions using invariants and state equation in 1678 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3101/3103 places, 2601/2603 transitions.
Stuttering acceptance computed with spot in 62 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : ShieldPPPs-PT-100A-05 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=1 dest: 1}, { cond=(AND p0 (NOT p1)), acceptance={} source=1 dest: 1}]], initial=0, aps=[p0:(AND (EQ s1129 1) (EQ s1149 1)), p1:(OR (AND (EQ s2832 1) (EQ s2844 1)) (AND (EQ s2930 1) (EQ s2945 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 7867 steps with 3 reset in 156 ms.
FORMULA ShieldPPPs-PT-100A-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-05 finished in 5943 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((G(p0)||X(G((p1&&X(X(p2)))))))], workingDir=/home/mcc/execution]
Support contains 5 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 156 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:34] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:35] [INFO ] Implicit Places using invariants in 1852 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:35] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:49:37] [INFO ] Implicit Places using invariants and state equation in 1880 ms returned []
Implicit Place search using SMT with State Equation took 3733 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:37] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:39] [INFO ] Dead Transitions using invariants and state equation in 1786 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 238 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p1) (NOT p2)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p1)), (OR (NOT p2) (NOT p1)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), true, (NOT p0)]
Running random walk in product with property : ShieldPPPs-PT-100A-06 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 3}, { cond=p0, acceptance={} source=0 dest: 5}], [{ cond=(AND p1 p2), acceptance={} source=1 dest: 1}, { cond=(OR (NOT p1) (NOT p2)), acceptance={} source=1 dest: 7}], [{ cond=(AND (NOT p0) p1 p2), acceptance={} source=2 dest: 1}, { cond=(AND p0 p1 p2), acceptance={} source=2 dest: 2}, { cond=(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), acceptance={} source=2 dest: 7}, { cond=(OR (AND p0 (NOT p1)) (AND p0 (NOT p2))), acceptance={} source=2 dest: 8}], [{ cond=p1, acceptance={} source=3 dest: 4}, { cond=(NOT p1), acceptance={} source=3 dest: 7}], [{ cond=p1, acceptance={} source=4 dest: 1}, { cond=(NOT p1), acceptance={} source=4 dest: 7}], [{ cond=(AND (NOT p0) p1), acceptance={} source=5 dest: 4}, { cond=(AND p0 p1), acceptance={} source=5 dest: 6}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=5 dest: 7}, { cond=(AND p0 (NOT p1)), acceptance={} source=5 dest: 8}], [{ cond=(AND (NOT p0) p1), acceptance={} source=6 dest: 1}, { cond=(AND p0 p1), acceptance={} source=6 dest: 2}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=6 dest: 7}, { cond=(AND p0 (NOT p1)), acceptance={} source=6 dest: 8}], [{ cond=true, acceptance={0} source=7 dest: 7}], [{ cond=(NOT p0), acceptance={} source=8 dest: 7}, { cond=p0, acceptance={} source=8 dest: 8}]], initial=0, aps=[p0:(EQ s1178 1), p1:(OR (EQ s142 0) (EQ s151 0)), p2:(AND (EQ s942 1) (EQ s944 1) (EQ s142 1) (EQ s151 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 3 steps with 0 reset in 1 ms.
FORMULA ShieldPPPs-PT-100A-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-06 finished in 5949 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F((G(p0)||(p1&&(G(p0)||p2))||G(p3)))))], workingDir=/home/mcc/execution]
Support contains 5 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 124 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:40] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:49:41] [INFO ] Implicit Places using invariants in 1883 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:41] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:43] [INFO ] Implicit Places using invariants and state equation in 1893 ms returned []
Implicit Place search using SMT with State Equation took 3778 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:49:43] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:49:45] [INFO ] Dead Transitions using invariants and state equation in 1896 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 77 ms :[(OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3)))]
Running random walk in product with property : ShieldPPPs-PT-100A-07 automaton TGBA [mat=[[{ cond=(OR (AND (NOT p3) (NOT p1) (NOT p0)) (AND (NOT p3) (NOT p2) (NOT p0))), acceptance={0, 1} source=0 dest: 0}, { cond=(OR (AND (NOT p3) (NOT p1) p0) (AND (NOT p3) (NOT p2) p0)), acceptance={1} source=0 dest: 0}, { cond=(OR (AND p3 (NOT p1) (NOT p0)) (AND p3 (NOT p2) (NOT p0))), acceptance={0} source=0 dest: 0}, { cond=(OR (AND p3 (NOT p1) p0) (AND p3 (NOT p2) p0)), acceptance={} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 0}]], initial=1, aps=[p3:(OR (NEQ s2395 1) (NEQ s2415 1)), p1:(OR (NEQ s1372 1) (NEQ s1392 1)), p0:(EQ s1489 1), p2:(OR (NEQ s2395 1) (NEQ s2415 1))], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null][false, false]]
Product exploration explored 100000 steps with 50000 reset in 7612 ms.
Product exploration explored 100000 steps with 50000 reset in 7738 ms.
Knowledge obtained : [p3, p1, (NOT p0), p2]
Stuttering acceptance computed with spot in 68 ms :[(OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3)))]
Product exploration explored 100000 steps with 50000 reset in 7491 ms.
Product exploration explored 100000 steps with 50000 reset in 7673 ms.
Applying partial POR strategy [true, false]
Stuttering acceptance computed with spot in 95 ms :[(OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p2) (NOT p3)) (AND (NOT p0) (NOT p1) (NOT p3)))]
Support contains 5 out of 3103 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 2 places in 11 ms
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 3103 transition count 2603
Deduced a syphon composed of 2 places in 14 ms
Applied a total of 2 rules in 287 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
[2021-05-16 10:50:17] [INFO ] Redundant transitions in 90 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:50:17] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:50:18] [INFO ] Dead Transitions using invariants and state equation in 1676 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Product exploration timeout after 44320 steps with 22160 reset in 10003 ms.
Product exploration timeout after 44010 steps with 22005 reset in 10002 ms.
[2021-05-16 10:50:39] [INFO ] Flatten gal took : 137 ms
[2021-05-16 10:50:39] [INFO ] Flatten gal took : 158 ms
[2021-05-16 10:50:39] [INFO ] Time to serialize gal into /tmp/LTL8992491720048684408.gal : 7 ms
[2021-05-16 10:50:39] [INFO ] Time to serialize properties into /tmp/LTL8536434549618731281.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/LTL8992491720048684408.gal, -t, CGAL, -LTL, /tmp/LTL8536434549618731281.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/LTL8992491720048684408.gal -t CGAL -LTL /tmp/LTL8536434549618731281.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(F(((G("(p1489==1)"))||(G("((p2395==0)||(p2415==0))")))||(("((p1372==0)||(p1392==0))")&&(("((p2395==0)||(p2415==0))")||(G("(p1489==1)"))))))))
Formula 0 simplified : !XF(G"(p1489==1)" | G"((p2395==0)||(p2415==0))" | ("((p1372==0)||(p1392==0))" & ("((p2395==0)||(p2415==0))" | G"(p1489==1)")))
Detected timeout of ITS tools.
[2021-05-16 10:50:54] [INFO ] Flatten gal took : 138 ms
[2021-05-16 10:50:54] [INFO ] Applying decomposition
[2021-05-16 10:50:54] [INFO ] Flatten gal took : 142 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/graph2896200075652793685.txt, -o, /tmp/graph2896200075652793685.bin, -w, /tmp/graph2896200075652793685.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/graph2896200075652793685.bin, -l, -1, -v, -w, /tmp/graph2896200075652793685.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:50:54] [INFO ] Decomposing Gal with order
[2021-05-16 10:50:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:50:55] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:50:55] [INFO ] Flatten gal took : 141 ms
[2021-05-16 10:50:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 1206 labels/synchronizations in 265 ms.
[2021-05-16 10:50:55] [INFO ] Time to serialize gal into /tmp/LTL9217364765342601982.gal : 18 ms
[2021-05-16 10:50:55] [INFO ] Time to serialize properties into /tmp/LTL13946753372555407097.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/LTL9217364765342601982.gal, -t, CGAL, -LTL, /tmp/LTL13946753372555407097.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/LTL9217364765342601982.gal -t CGAL -LTL /tmp/LTL13946753372555407097.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(F(((G("(i27.i1.i3.u528.p1489==1)"))||(G("((i43.i0.i0.u850.p2395==0)||(i43.i0.i0.u857.p2415==0))")))||(("((i25.i1.i2.u487.p1372==0)||(i25.i1.i2.u494.p1392==0))")&&(("((i43.i0.i0.u850.p2395==0)||(i43.i0.i0.u857.p2415==0))")||(G("(i27.i1.i3.u528.p1489==1)"))))))))
Formula 0 simplified : !XF(G"(i27.i1.i3.u528.p1489==1)" | G"((i43.i0.i0.u850.p2395==0)||(i43.i0.i0.u857.p2415==0))" | ("((i25.i1.i2.u487.p1372==0)||(i25.i1.i2.u494.p1392==0))" & ("((i43.i0.i0.u850.p2395==0)||(i43.i0.i0.u857.p2415==0))" | G"(i27.i1.i3.u528.p1489==1)")))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1800386009585628286
[2021-05-16 10:51:11] [INFO ] Built C files in 40ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1800386009585628286
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/ltsmin1800386009585628286]
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/ltsmin1800386009585628286] 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/ltsmin1800386009585628286] 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 ShieldPPPs-PT-100A-07 finished in 92147 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((p0 U X((X((p2 U (p3||G(p2))))&&p1))))], workingDir=/home/mcc/execution]
Support contains 5 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 124 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:51:12] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:51:13] [INFO ] Implicit Places using invariants in 1787 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:51:13] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:51:15] [INFO ] Implicit Places using invariants and state equation in 1880 ms returned []
Implicit Place search using SMT with State Equation took 3667 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:51:15] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:51:17] [INFO ] Dead Transitions using invariants and state equation in 1856 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 222 ms :[(OR (NOT p1) (AND (NOT p2) (NOT p3))), (OR (NOT p1) (AND (NOT p2) (NOT p3))), (OR (NOT p1) (AND (NOT p2) (NOT p3))), true, (AND (NOT p3) (NOT p2)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Running random walk in product with property : ShieldPPPs-PT-100A-09 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=p0, acceptance={} source=0 dest: 2}], [{ cond=(NOT p1), acceptance={} source=1 dest: 3}, { cond=p1, acceptance={} source=1 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 1}, { cond=(AND p0 (NOT p1)), acceptance={0} source=2 dest: 2}, { cond=(AND p0 p1), acceptance={0} source=2 dest: 5}, { cond=(AND (NOT p0) p1), acceptance={} source=2 dest: 6}], [{ cond=true, acceptance={0} source=3 dest: 3}], [{ cond=(AND (NOT p3) (NOT p2)), acceptance={} source=4 dest: 3}, { cond=(AND (NOT p3) p2), acceptance={} source=4 dest: 4}], [{ cond=(AND (NOT p0) (NOT p1) (NOT p3) (NOT p2)), acceptance={} source=5 dest: 1}, { cond=(AND p0 (NOT p1) (NOT p3) (NOT p2)), acceptance={0} source=5 dest: 2}, { cond=(AND p0 p1 (NOT p3) (NOT p2)), acceptance={0} source=5 dest: 5}, { cond=(AND p0 (NOT p3) p2), acceptance={} source=5 dest: 5}, { cond=(OR (AND (NOT p0) p1 (NOT p3)) (AND (NOT p0) (NOT p3) p2)), acceptance={} source=5 dest: 6}], [{ cond=(AND (NOT p1) (NOT p3) (NOT p2)), acceptance={} source=6 dest: 3}, { cond=(OR (AND p1 (NOT p3)) (AND (NOT p3) p2)), acceptance={} source=6 dest: 4}]], initial=0, aps=[p0:(OR (AND (EQ s576 1) (EQ s585 1)) (AND (EQ s306 1) (EQ s1132 1) (EQ s1147 1))), p1:(AND (EQ s306 1) (NEQ s306 0)), p3:(NEQ s306 1), p2:(NEQ s306 0)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 1 ms.
FORMULA ShieldPPPs-PT-100A-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-09 finished in 5924 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 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Reduce places removed 1 places and 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 3101 transition count 2601
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 3100 transition count 2600
Applied a total of 4 rules in 410 ms. Remains 3100 /3103 variables (removed 3) and now considering 2600/2603 (removed 3) transitions.
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:51:18] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:51:20] [INFO ] Implicit Places using invariants in 1887 ms returned []
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:51:20] [INFO ] Computed 1101 place invariants in 4 ms
[2021-05-16 10:51:22] [INFO ] Implicit Places using invariants and state equation in 1970 ms returned []
Implicit Place search using SMT with State Equation took 3859 ms to find 0 implicit places.
[2021-05-16 10:51:22] [INFO ] Redundant transitions in 75 ms returned []
// Phase 1: matrix 2600 rows 3100 cols
[2021-05-16 10:51:22] [INFO ] Computed 1101 place invariants in 4 ms
[2021-05-16 10:51:24] [INFO ] Dead Transitions using invariants and state equation in 1912 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3100/3103 places, 2600/2603 transitions.
Stuttering acceptance computed with spot in 26 ms :[(NOT p0)]
Running random walk in product with property : ShieldPPPs-PT-100A-10 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(OR (NEQ s2249 1) (NEQ s2258 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration explored 100000 steps with 15 reset in 1826 ms.
Product exploration explored 100000 steps with 14 reset in 2264 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 22 ms :[(NOT p0)]
Product exploration explored 100000 steps with 15 reset in 1814 ms.
Product exploration explored 100000 steps with 14 reset in 2266 ms.
[2021-05-16 10:51:32] [INFO ] Flatten gal took : 92 ms
[2021-05-16 10:51:32] [INFO ] Flatten gal took : 95 ms
[2021-05-16 10:51:32] [INFO ] Time to serialize gal into /tmp/LTL15325620095248468624.gal : 8 ms
[2021-05-16 10:51:32] [INFO ] Time to serialize properties into /tmp/LTL214836495920791509.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/LTL15325620095248468624.gal, -t, CGAL, -LTL, /tmp/LTL214836495920791509.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/LTL15325620095248468624.gal -t CGAL -LTL /tmp/LTL214836495920791509.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(G("((p2250==0)||(p2259==0))"))))
Formula 0 simplified : !FG"((p2250==0)||(p2259==0))"
Detected timeout of ITS tools.
[2021-05-16 10:51:47] [INFO ] Flatten gal took : 91 ms
[2021-05-16 10:51:47] [INFO ] Applying decomposition
[2021-05-16 10:51:48] [INFO ] Flatten gal took : 92 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9260165279832866005.txt, -o, /tmp/graph9260165279832866005.bin, -w, /tmp/graph9260165279832866005.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/graph9260165279832866005.bin, -l, -1, -v, -w, /tmp/graph9260165279832866005.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:51:48] [INFO ] Decomposing Gal with order
[2021-05-16 10:51:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:51:48] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:51:48] [INFO ] Flatten gal took : 155 ms
[2021-05-16 10:51:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 1200 labels/synchronizations in 21 ms.
[2021-05-16 10:51:48] [INFO ] Time to serialize gal into /tmp/LTL16830564201981785694.gal : 19 ms
[2021-05-16 10:51:48] [INFO ] Time to serialize properties into /tmp/LTL8320343693369100443.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/LTL16830564201981785694.gal, -t, CGAL, -LTL, /tmp/LTL8320343693369100443.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/LTL16830564201981785694.gal -t CGAL -LTL /tmp/LTL8320343693369100443.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F(G("((i38.i1.i2.u799.p2250==0)||(i38.i1.i2.u802.p2259==0))"))))
Formula 0 simplified : !FG"((i38.i1.i2.u799.p2250==0)||(i38.i1.i2.u802.p2259==0))"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8151454841157393504
[2021-05-16 10:52:03] [INFO ] Built C files in 35ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8151454841157393504
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/ltsmin8151454841157393504]
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/ltsmin8151454841157393504] 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/ltsmin8151454841157393504] 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 ShieldPPPs-PT-100A-10 finished in 46886 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X(G((X(p1)&&p0))))))], workingDir=/home/mcc/execution]
Support contains 5 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Applied a total of 0 rules in 121 ms. Remains 3103 /3103 variables (removed 0) and now considering 2603/2603 (removed 0) transitions.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:52:04] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:52:07] [INFO ] Implicit Places using invariants in 2656 ms returned []
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:52:07] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:52:10] [INFO ] Implicit Places using invariants and state equation in 2637 ms returned []
Implicit Place search using SMT with State Equation took 5297 ms to find 0 implicit places.
// Phase 1: matrix 2603 rows 3103 cols
[2021-05-16 10:52:10] [INFO ] Computed 1101 place invariants in 6 ms
[2021-05-16 10:52:12] [INFO ] Dead Transitions using invariants and state equation in 2519 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3103/3103 places, 2603/2603 transitions.
Stuttering acceptance computed with spot in 265 ms :[(OR (NOT p1) (NOT p0)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true]
Running random walk in product with property : ShieldPPPs-PT-100A-13 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 1}, { cond=(NOT p0), acceptance={} source=0 dest: 5}], [{ cond=(AND p0 p1), acceptance={} source=1 dest: 1}, { cond=(OR (NOT p0) (NOT p1)), acceptance={} source=1 dest: 5}], [{ cond=true, acceptance={} source=2 dest: 0}], [{ cond=true, acceptance={} source=3 dest: 2}], [{ cond=true, acceptance={} source=4 dest: 3}], [{ cond=true, acceptance={0} source=5 dest: 5}]], initial=4, aps=[p0:(AND (EQ s1306 1) (EQ s1327 1) (EQ s1489 1) (EQ s51 1) (EQ s72 1)), p1:(AND (EQ s51 1) (EQ s72 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 3 steps with 0 reset in 0 ms.
FORMULA ShieldPPPs-PT-100A-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ShieldPPPs-PT-100A-13 finished in 8249 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 3103 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3103/3103 places, 2603/2603 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 12 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 3101 transition count 2601
Applied a total of 4 rules in 333 ms. Remains 3101 /3103 variables (removed 2) and now considering 2601/2603 (removed 2) transitions.
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:52:13] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:52:16] [INFO ] Implicit Places using invariants in 2950 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:52:16] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:52:18] [INFO ] Implicit Places using invariants and state equation in 2435 ms returned []
Implicit Place search using SMT with State Equation took 5397 ms to find 0 implicit places.
[2021-05-16 10:52:18] [INFO ] Redundant transitions in 75 ms returned []
// Phase 1: matrix 2601 rows 3101 cols
[2021-05-16 10:52:18] [INFO ] Computed 1101 place invariants in 5 ms
[2021-05-16 10:52:30] [INFO ] Dead Transitions using invariants and state equation in 11973 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3101/3103 places, 2601/2603 transitions.
Stuttering acceptance computed with spot in 56 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : ShieldPPPs-PT-100A-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:(OR (NEQ s1401 1) (NEQ s1417 1) (NEQ s2741 1) (NEQ s2761 1))], 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 15 reset in 1865 ms.
Product exploration explored 100000 steps with 15 reset in 2312 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 49 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 15 reset in 2013 ms.
Product exploration explored 100000 steps with 15 reset in 2430 ms.
[2021-05-16 10:52:39] [INFO ] Flatten gal took : 176 ms
[2021-05-16 10:52:40] [INFO ] Flatten gal took : 149 ms
[2021-05-16 10:52:40] [INFO ] Time to serialize gal into /tmp/LTL9906809445690123054.gal : 9 ms
[2021-05-16 10:52:40] [INFO ] Time to serialize properties into /tmp/LTL3043619667306690551.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/LTL9906809445690123054.gal, -t, CGAL, -LTL, /tmp/LTL3043619667306690551.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/LTL9906809445690123054.gal -t CGAL -LTL /tmp/LTL3043619667306690551.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(F("((((p1401==0)||(p1417==0))||(p2741==0))||(p2761==0))"))))
Formula 0 simplified : !GF"((((p1401==0)||(p1417==0))||(p2741==0))||(p2761==0))"
Detected timeout of ITS tools.
[2021-05-16 10:52:55] [INFO ] Flatten gal took : 136 ms
[2021-05-16 10:52:55] [INFO ] Applying decomposition
[2021-05-16 10:52:55] [INFO ] Flatten gal took : 139 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/graph86065376911832666.txt, -o, /tmp/graph86065376911832666.bin, -w, /tmp/graph86065376911832666.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/graph86065376911832666.bin, -l, -1, -v, -w, /tmp/graph86065376911832666.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:52:55] [INFO ] Decomposing Gal with order
[2021-05-16 10:52:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:52:56] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:52:56] [INFO ] Flatten gal took : 152 ms
[2021-05-16 10:52:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 1200 labels/synchronizations in 137 ms.
[2021-05-16 10:52:56] [INFO ] Time to serialize gal into /tmp/LTL13069699316108756762.gal : 29 ms
[2021-05-16 10:52:56] [INFO ] Time to serialize properties into /tmp/LTL3893074525141538.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/LTL13069699316108756762.gal, -t, CGAL, -LTL, /tmp/LTL3893074525141538.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/LTL13069699316108756762.gal -t CGAL -LTL /tmp/LTL3893074525141538.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((G(F("((((i26.i0.i2.u497.p1401==0)||(i26.i0.i2.u503.p1417==0))||(i49.i1.i2.u973.p2741==0))||(i49.i1.i2.u979.p2761==0))"))))
Formula 0 simplified : !GF"((((i26.i0.i2.u497.p1401==0)||(i26.i0.i2.u503.p1417==0))||(i49.i1.i2.u973.p2741==0))||(i49.i1.i2.u979.p2761==0))"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11769362455258694832
[2021-05-16 10:53:11] [INFO ] Built C files in 29ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11769362455258694832
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/ltsmin11769362455258694832]
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/ltsmin11769362455258694832] 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/ltsmin11769362455258694832] 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 ShieldPPPs-PT-100A-15 finished in 59306 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin14254856740017312043
[2021-05-16 10:53:12] [INFO ] Too many transitions (2603) to apply POR reductions. Disabling POR matrices.
[2021-05-16 10:53:12] [INFO ] Built C files in 29ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14254856740017312043
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/ltsmin14254856740017312043]
[2021-05-16 10:53:12] [INFO ] Applying decomposition
[2021-05-16 10:53:12] [INFO ] Flatten gal took : 146 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/graph14032322184722770673.txt, -o, /tmp/graph14032322184722770673.bin, -w, /tmp/graph14032322184722770673.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/graph14032322184722770673.bin, -l, -1, -v, -w, /tmp/graph14032322184722770673.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:53:12] [INFO ] Decomposing Gal with order
[2021-05-16 10:53:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:53:13] [INFO ] Removed a total of 600 redundant transitions.
[2021-05-16 10:53:13] [INFO ] Flatten gal took : 150 ms
[2021-05-16 10:53:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 1206 labels/synchronizations in 246 ms.
[2021-05-16 10:53:13] [INFO ] Time to serialize gal into /tmp/LTLFireability4252248575524347915.gal : 24 ms
[2021-05-16 10:53:13] [INFO ] Time to serialize properties into /tmp/LTLFireability7584022653762071389.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/LTLFireability4252248575524347915.gal, -t, CGAL, -LTL, /tmp/LTLFireability7584022653762071389.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/LTLFireability4252248575524347915.gal -t CGAL -LTL /tmp/LTLFireability7584022653762071389.ltl -c -stutter-deadlock
Read 5 LTL properties
Checking formula 0 : !(((G("(i50.i1.i3.u979.p2760==1)"))||(X(F("((i55.i1.i3.u1069.p3014==0)||(i55.i1.i2.u1070.p3016==0))")))))
Formula 0 simplified : !(G"(i50.i1.i3.u979.p2760==1)" | XF"((i55.i1.i3.u1069.p3014==0)||(i55.i1.i2.u1070.p3016==0))")
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/ltsmin14254856740017312043] killed by timeout after 32 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/ltsmin14254856740017312043] killed by timeout after 32 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-16 11:16:02] [INFO ] Applying decomposition
[2021-05-16 11:16:03] [INFO ] Flatten gal took : 529 ms
[2021-05-16 11:16:03] [INFO ] Decomposing Gal with order
[2021-05-16 11:16:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:16:04] [INFO ] Removed a total of 900 redundant transitions.
[2021-05-16 11:16:04] [INFO ] Flatten gal took : 395 ms
[2021-05-16 11:16:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 1200 labels/synchronizations in 328 ms.
[2021-05-16 11:16:04] [INFO ] Time to serialize gal into /tmp/LTLFireability17803266858137736938.gal : 32 ms
[2021-05-16 11:16:04] [INFO ] Time to serialize properties into /tmp/LTLFireability3587032453258860896.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/LTLFireability17803266858137736938.gal, -t, CGAL, -LTL, /tmp/LTLFireability3587032453258860896.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/LTLFireability17803266858137736938.gal -t CGAL -LTL /tmp/LTLFireability3587032453258860896.ltl -c -stutter-deadlock
Read 5 LTL properties
Checking formula 0 : !(((G("(u1247.p2760==1)"))||(X(F("((i778.u1362.p3014==0)||(i778.u1363.p3016==0))")))))
Formula 0 simplified : !(G"(u1247.p2760==1)" | XF"((i778.u1362.p3014==0)||(i778.u1363.p3016==0))")
Detected timeout of ITS tools.
[2021-05-16 11:38:54] [INFO ] Flatten gal took : 604 ms
[2021-05-16 11:38:57] [INFO ] Input system was already deterministic with 2603 transitions.
[2021-05-16 11:38:57] [INFO ] Transformed 3103 places.
[2021-05-16 11:38:57] [INFO ] Transformed 2603 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 11:38:59] [INFO ] Time to serialize gal into /tmp/LTLFireability18132822279919449691.gal : 7 ms
[2021-05-16 11:38:59] [INFO ] Time to serialize properties into /tmp/LTLFireability11177124751201154980.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/LTLFireability18132822279919449691.gal, -t, CGAL, -LTL, /tmp/LTLFireability11177124751201154980.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --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/LTLFireability18132822279919449691.gal -t CGAL -LTL /tmp/LTLFireability11177124751201154980.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 5 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !(((G("(p2760==1)"))||(X(F("((p3014==0)||(p3016==0))")))))
Formula 0 simplified : !(G"(p2760==1)" | XF"((p3014==0)||(p3016==0))")
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-100A"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ShieldPPPs-PT-100A, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r216-tall-162098205500677"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-100A.tgz
mv ShieldPPPs-PT-100A execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;