About the Execution of 2019-Gold for Referendum-COL-0020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15917.740 | 2051266.00 | 2086893.00 | 5767.60 | FTTTF?F?FFF?FT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300088.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-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 win2019
Input is Referendum-COL-0020, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300088
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 09:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 14:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 14:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 9 21:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Apr 9 21:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 3.8K Mar 24 05:38 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 Referendum-COL-0020-00
FORMULA_NAME Referendum-COL-0020-01
FORMULA_NAME Referendum-COL-0020-02
FORMULA_NAME Referendum-COL-0020-03
FORMULA_NAME Referendum-COL-0020-04
FORMULA_NAME Referendum-COL-0020-05
FORMULA_NAME Referendum-COL-0020-06
FORMULA_NAME Referendum-COL-0020-07
FORMULA_NAME Referendum-COL-0020-08
FORMULA_NAME Referendum-COL-0020-09
FORMULA_NAME Referendum-COL-0020-10
FORMULA_NAME Referendum-COL-0020-11
FORMULA_NAME Referendum-COL-0020-12
FORMULA_NAME Referendum-COL-0020-13
FORMULA_NAME Referendum-COL-0020-14
FORMULA_NAME Referendum-COL-0020-15
=== Now, execution of the tool begins
BK_START 1589944279785
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-COL-0020 @ 3570 seconds
FORMULA Referendum-COL-0020-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-11 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0020-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1519
rslt: Output for LTLFireability @ Referendum-COL-0020
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 20 03:11:19 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 20,
"unfir": 20,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))))",
"processed_size": 435,
"rewrites": 116
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 20,
"problems": 20
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 3,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 60,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 60,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "A ((F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))) OR (F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))) OR X (X (G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))))",
"processed_size": 1237,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A ((G (FIREABLE(t40)) OR X (F (NOT FIREABLE(t40)))))",
"processed_size": 52,
"rewrites": 114
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 2,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 40,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 80,
"unfir": 40,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "A (X (X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) OR F ((G (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) OR (NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)))) AND F ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)))))))))",
"processed_size": 1712,
"rewrites": 114
},
"result":
{
"edges": 23,
"markings": 23,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 60,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 60,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "A (X (G ((X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) OR (G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) AND X (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))))))",
"processed_size": 1082,
"rewrites": 114
},
"result":
{
"edges": 61,
"markings": 61,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 2,
"X": 2,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 42,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 62,
"unfir": 20,
"visible_places": 0,
"visible_transitions": 21
},
"processed": "A ((X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) AND (FIREABLE(t40) U (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))))) OR ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) U X (FIREABLE(t40)))))",
"processed_size": 1212,
"rewrites": 114
},
"result":
{
"edges": 22,
"markings": 22,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 21,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 21,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 21
},
"processed": "A (G (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) AND FIREABLE(t40))))",
"processed_size": 385,
"rewrites": 116
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 408
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 20,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 20,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "(FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))",
"processed_size": 347,
"rewrites": 116
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 41
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 476
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 20,
"unfir": 20,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "(FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))",
"processed_size": 347,
"rewrites": 116
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 41
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 571
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (((FIREABLE(t40) OR (G (FIREABLE(t40)) AND F (FIREABLE(t40)))) AND F (FIREABLE(t40))))))",
"processed_size": 96,
"rewrites": 114
},
"result":
{
"edges": 22,
"markings": 22,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 714
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 4,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 80,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 80,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 20
},
"processed": "A ((G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))) OR F (G ((F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) AND (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) OR (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))))",
"processed_size": 1511,
"rewrites": 114
},
"result":
{
"edges": 23,
"markings": 23,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 953
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 20,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 41,
"unfir": 21,
"visible_places": 0,
"visible_transitions": 21
},
"processed": "A (F (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) OR G ((FIREABLE(t40) AND (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)))))))",
"processed_size": 832,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 67916,
"runtime": 2051.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(**)) AND A(X(*))) : A(F((* OR G(*)))) : A((F(*) OR (F(*) OR X(X(G(**)))))) : A((G(**) OR X(F(*)))) : A((G(*) OR F(G((F(**) AND (F(**) OR **)))))) : A(G((G(F(**)) OR (** U **)))) : A(X(X((** OR F((G(*) AND F(*))))))) : A(F(G((* OR X((* R F(**))))))) : A(X(G((X(**) OR (G(**) AND X(F(**))))))) : A(G(F(((** OR (G(**) AND F(**))) AND F(**))))) : A((X((** AND (** U **))) OR (** U X(**)))) : (A(F(*)) AND A(G(*))) : (A((** U (F(**) OR X(**)))) AND A(G(**))) : A(F(*)) : (A(F(G(*))) AND (* AND A(X(G(*))))) : A(F(**))"
},
"net":
{
"arcs": 101,
"conflict_clusters": 61,
"places": 61,
"places_significant": 41,
"singleton_clusters": 0,
"transitions": 41
},
"result":
{
"preliminary_value": "no yes yes yes no unknown no unknown no no no no yes unknown yes ",
"value": "no yes yes yes no unknown no unknown no no no no yes unknown yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 61, Transitions: 41
lola: @ trans yes
lola: @ trans no
lola: @ trans start
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 102/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 61
lola: finding significant places
lola: 61 places, 41 transitions, 41 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A ((G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))) AND NOT(X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))) : A ((NOT(G ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)))) OR F (NOT(F ((NOT FIREABLE(t40) OR (NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)))))))) : A (NOT((G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) AND NOT((NOT(G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))) OR G (X (X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))))))) : A ((G ((FIREABLE(t40) OR G (FIREABLE(t40)))) OR NOT(G (X (FIREABLE(t40)))))) : A ((NOT(F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))) OR F (X (X (G ((F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) U (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))))) : A (G ((F (G ((F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))) U F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))) OR ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)) U (NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)))))) : A (X (X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) OR NOT(G ((F (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) AND (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)))) OR G ((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)))))))))) : A (F (NOT(F (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)) AND X ((FIREABLE(t40) U NOT(F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))))))) : A (X (G ((G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) U X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))) : A (X (F (G (X (NOT(F (G (NOT(((G (FIREABLE(t40)) U FIREABLE(t40)) AND F (FIREABLE(t40)))))))))))) : A ((X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) AND (FIREABLE(t40) U (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))))) OR ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) U X (FIREABLE(t40))))) : A (NOT((G ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))) OR F (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) U (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))))))) : A ((((FIREABLE(t40) AND (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))) U (F ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))) OR X (FIREABLE(t40)))) AND G (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) AND FIREABLE(t40))))) : A ((X (X (X (X (X ((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))))))) U NOT(G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))) : A (((FIREABLE(t40) U F (NOT(F (G (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))))))) AND NOT(((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)) OR X (F (FIREABLE(t40))))))) : A (F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: processed formula length: 435
lola: 116 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 20 literals and 20 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FI... (shortened)
lola: processed formula length: 1237
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(t40)) OR X (F (NOT FIREABLE(t40)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(t40)) OR X (F (NOT FIREABLE(t40)))))
lola: processed formula length: 52
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t3... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t3... (shortened)
lola: processed formula length: 1712
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 23 markings, 23 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: processed formula length: 822
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 773338 markings, 5833936 edges, 154668 markings/sec, 0 secs
lola: 1420038 markings, 11203973 edges, 129340 markings/sec, 5 secs
lola: 2076018 markings, 16843009 edges, 131196 markings/sec, 10 secs
lola: 2681606 markings, 22365026 edges, 121118 markings/sec, 15 secs
lola: 3161762 markings, 27221944 edges, 96031 markings/sec, 20 secs
lola: 3842672 markings, 32896800 edges, 136182 markings/sec, 25 secs
lola: 4484697 markings, 38524834 edges, 128405 markings/sec, 30 secs
lola: 5056810 markings, 43904355 edges, 114423 markings/sec, 35 secs
lola: 5633622 markings, 49294506 edges, 115362 markings/sec, 40 secs
lola: 6232061 markings, 54758777 edges, 119688 markings/sec, 45 secs
lola: 6737697 markings, 59921383 edges, 101127 markings/sec, 50 secs
lola: 7335560 markings, 65404623 edges, 119573 markings/sec, 55 secs
lola: 7847949 markings, 70563337 edges, 102478 markings/sec, 60 secs
lola: 8317918 markings, 75409788 edges, 93994 markings/sec, 65 secs
lola: 8827032 markings, 80641649 edges, 101823 markings/sec, 70 secs
lola: 9282350 markings, 85640383 edges, 91064 markings/sec, 75 secs
lola: 9757945 markings, 90599731 edges, 95119 markings/sec, 80 secs
lola: 10373567 markings, 95830675 edges, 123124 markings/sec, 85 secs
lola: 10997583 markings, 101318151 edges, 124803 markings/sec, 90 secs
lola: 11541601 markings, 106571115 edges, 108804 markings/sec, 95 secs
lola: 12118665 markings, 111877314 edges, 115413 markings/sec, 100 secs
lola: 12694512 markings, 117175832 edges, 115169 markings/sec, 105 secs
lola: 13178737 markings, 122066360 edges, 96845 markings/sec, 110 secs
lola: 13767798 markings, 127532609 edges, 117812 markings/sec, 115 secs
lola: 14285046 markings, 132771223 edges, 103450 markings/sec, 120 secs
lola: 14796353 markings, 137952911 edges, 102261 markings/sec, 125 secs
lola: 15287036 markings, 143093054 edges, 98137 markings/sec, 130 secs
lola: 15732242 markings, 148069822 edges, 89041 markings/sec, 135 secs
lola: 16240644 markings, 153209497 edges, 101680 markings/sec, 140 secs
lola: 16844796 markings, 158690971 edges, 120830 markings/sec, 145 secs
lola: 17362409 markings, 163923875 edges, 103523 markings/sec, 150 secs
lola: 17958140 markings, 169435994 edges, 119146 markings/sec, 155 secs
lola: 18484874 markings, 174723478 edges, 105347 markings/sec, 160 secs
lola: 18996488 markings, 179956901 edges, 102323 markings/sec, 165 secs
lola: 19502375 markings, 185190685 edges, 101177 markings/sec, 170 secs
lola: 19957643 markings, 190239801 edges, 91054 markings/sec, 175 secs
lola: 20436846 markings, 195342397 edges, 95841 markings/sec, 180 secs
lola: 21002189 markings, 200799319 edges, 113069 markings/sec, 185 secs
lola: 21534526 markings, 206108890 edges, 106467 markings/sec, 190 secs
lola: 22031758 markings, 211233498 edges, 99446 markings/sec, 195 secs
lola: 22496598 markings, 216242076 edges, 92968 markings/sec, 200 secs
lola: 22928638 markings, 221119232 edges, 86408 markings/sec, 205 secs
lola: 23420439 markings, 226227417 edges, 98360 markings/sec, 210 secs
lola: 23920410 markings, 231367250 edges, 99994 markings/sec, 215 secs
lola: 24393632 markings, 236477394 edges, 94644 markings/sec, 220 secs
lola: 24825007 markings, 241347422 edges, 86275 markings/sec, 225 secs
lola: 25284501 markings, 246312760 edges, 91899 markings/sec, 230 secs
lola: 25748503 markings, 251319610 edges, 92800 markings/sec, 235 secs
lola: 26153509 markings, 256057229 edges, 81001 markings/sec, 240 secs
lola: 26608313 markings, 261055276 edges, 90961 markings/sec, 245 secs
lola: 27012698 markings, 265822837 edges, 80877 markings/sec, 250 secs
lola: 27435655 markings, 270662045 edges, 84591 markings/sec, 255 secs
lola: 27827327 markings, 275367589 edges, 78334 markings/sec, 260 secs
lola: 28202037 markings, 280000748 edges, 74942 markings/sec, 265 secs
lola: 28549024 markings, 284481570 edges, 69397 markings/sec, 270 secs
lola: 29041533 markings, 289424486 edges, 98502 markings/sec, 275 secs
lola: 29689012 markings, 294969116 edges, 129496 markings/sec, 280 secs
lola: 30291096 markings, 300432958 edges, 120417 markings/sec, 285 secs
lola: 30815743 markings, 305670238 edges, 104929 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4624652 KB
lola: time consumption: 302 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) OR (G ((FIREABLE(t0) OR FIREABLE(t1) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))) OR (G ((FIREABLE(t0) OR FIREABLE(t1) ... (shortened)
lola: processed formula length: 1082
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37)... (shortened)
lola: processed formula length: 1212
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22 markings, 22 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(t40) AND (FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39))) U (F ((FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) AND FIREABLE(t40))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39)) AND FIREABLE(t40))))
lola: processed formula length: 385
lola: 116 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: formula 0: ((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39)) OR NOT FIREABLE(t40))
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 21 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(... (shortened)
lola: processed formula length: 427
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT ... (shortened)
lola: processed formula length: 439
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 409348 markings, 5922470 edges, 81870 markings/sec, 0 secs
lola: 800075 markings, 12140632 edges, 78145 markings/sec, 5 secs
lola: 1143094 markings, 18132018 edges, 68604 markings/sec, 10 secs
lola: 1531500 markings, 24343130 edges, 77681 markings/sec, 15 secs
lola: 1871393 markings, 30318297 edges, 67979 markings/sec, 20 secs
lola: 2213062 markings, 36336149 edges, 68334 markings/sec, 25 secs
lola: 2539700 markings, 42251619 edges, 65328 markings/sec, 30 secs
lola: 2851007 markings, 48103852 edges, 62261 markings/sec, 35 secs
lola: 3123612 markings, 53723034 edges, 54521 markings/sec, 40 secs
lola: 3483022 markings, 59751787 edges, 71882 markings/sec, 45 secs
lola: 3833733 markings, 65780507 edges, 70142 markings/sec, 50 secs
lola: 4190409 markings, 71856340 edges, 71335 markings/sec, 55 secs
lola: 4521413 markings, 77803339 edges, 66201 markings/sec, 60 secs
lola: 4838752 markings, 83706863 edges, 63468 markings/sec, 65 secs
lola: 5127556 markings, 89444110 edges, 57761 markings/sec, 70 secs
lola: 5422429 markings, 95183104 edges, 58975 markings/sec, 75 secs
lola: 5763902 markings, 101230785 edges, 68295 markings/sec, 80 secs
lola: 6088363 markings, 107102789 edges, 64892 markings/sec, 85 secs
lola: 6397897 markings, 112909268 edges, 61907 markings/sec, 90 secs
lola: 6664752 markings, 118414555 edges, 53371 markings/sec, 95 secs
lola: 6976992 markings, 124242928 edges, 62448 markings/sec, 100 secs
lola: 7280509 markings, 130005604 edges, 60703 markings/sec, 105 secs
lola: 7558057 markings, 135575463 edges, 55510 markings/sec, 110 secs
lola: 7835022 markings, 141113492 edges, 55393 markings/sec, 115 secs
lola: 8118702 markings, 146748376 edges, 56736 markings/sec, 120 secs
lola: 8378251 markings, 152177681 edges, 51910 markings/sec, 125 secs
lola: 8646989 markings, 157696536 edges, 53748 markings/sec, 130 secs
lola: 8902526 markings, 163127173 edges, 51107 markings/sec, 135 secs
lola: 9144252 markings, 168454244 edges, 48345 markings/sec, 140 secs
lola: 9373558 markings, 173716937 edges, 45861 markings/sec, 145 secs
lola: 9585404 markings, 178827350 edges, 42369 markings/sec, 150 secs
lola: 9968148 markings, 184853364 edges, 76549 markings/sec, 155 secs
lola: 10287503 markings, 190572961 edges, 63871 markings/sec, 160 secs
lola: 10641044 markings, 196478488 edges, 70708 markings/sec, 165 secs
lola: 10957666 markings, 202178626 edges, 63324 markings/sec, 170 secs
lola: 11256292 markings, 207828239 edges, 59725 markings/sec, 175 secs
lola: 11535838 markings, 213354338 edges, 55909 markings/sec, 180 secs
lola: 11825682 markings, 218933394 edges, 57969 markings/sec, 185 secs
lola: 12154181 markings, 224819026 edges, 65700 markings/sec, 190 secs
lola: 12472174 markings, 230556198 edges, 63599 markings/sec, 195 secs
lola: 12778856 markings, 236288844 edges, 61336 markings/sec, 200 secs
lola: 13040315 markings, 241687088 edges, 52292 markings/sec, 205 secs
lola: 13345048 markings, 247379821 edges, 60947 markings/sec, 210 secs
lola: 13644780 markings, 253090243 edges, 59946 markings/sec, 215 secs
lola: 13924892 markings, 258660087 edges, 56022 markings/sec, 220 secs
lola: 14199315 markings, 264177950 edges, 54885 markings/sec, 225 secs
lola: 14483732 markings, 269776582 edges, 56883 markings/sec, 230 secs
lola: 14736319 markings, 275132062 edges, 50517 markings/sec, 235 secs
lola: 15007109 markings, 280620760 edges, 54158 markings/sec, 240 secs
lola: 15256481 markings, 285953896 edges, 49874 markings/sec, 245 secs
lola: 15498812 markings, 291253522 edges, 48466 markings/sec, 250 secs
lola: 15727459 markings, 296488658 edges, 45729 markings/sec, 255 secs
lola: 15929993 markings, 301493401 edges, 40507 markings/sec, 260 secs
lola: 16282837 markings, 307500453 edges, 70569 markings/sec, 265 secs
lola: 16603169 markings, 313262170 edges, 64066 markings/sec, 270 secs
lola: 16907239 markings, 318956168 edges, 60814 markings/sec, 275 secs
lola: 17189799 markings, 324555481 edges, 56512 markings/sec, 280 secs
lola: 17465036 markings, 330105198 edges, 55047 markings/sec, 285 secs
lola: 17784472 markings, 335927566 edges, 63887 markings/sec, 290 secs
lola: 18076078 markings, 341616265 edges, 58321 markings/sec, 295 secs
lola: 18332992 markings, 347072246 edges, 51383 markings/sec, 300 secs
lola: 18632518 markings, 352749371 edges, 59905 markings/sec, 305 secs
lola: 18894868 markings, 358231925 edges, 52470 markings/sec, 310 secs
lola: 19169833 markings, 363827201 edges, 54993 markings/sec, 315 secs
lola: 19425368 markings, 369259172 edges, 51107 markings/sec, 320 secs
lola: 19672908 markings, 374624847 edges, 49508 markings/sec, 325 secs
lola: 19912043 markings, 379959749 edges, 47827 markings/sec, 330 secs
lola: 20126379 markings, 385097611 edges, 42867 markings/sec, 335 secs
lola: 20419757 markings, 390802912 edges, 58676 markings/sec, 340 secs
lola: 20723968 markings, 396598780 edges, 60842 markings/sec, 345 secs
lola: 21012827 markings, 402328933 edges, 57772 markings/sec, 350 secs
lola: 21291517 markings, 407918798 edges, 55738 markings/sec, 355 secs
lola: 21575266 markings, 413520779 edges, 56750 markings/sec, 360 secs
lola: 21835256 markings, 418988616 edges, 51998 markings/sec, 365 secs
lola: 22105022 markings, 424515214 edges, 53953 markings/sec, 370 secs
lola: 22360096 markings, 429944121 edges, 51015 markings/sec, 375 secs
lola: 22603278 markings, 435293381 edges, 48636 markings/sec, 380 secs
lola: 22831477 markings, 440523512 edges, 45640 markings/sec, 385 secs
lola: 23036361 markings, 445630397 edges, 40977 markings/sec, 390 secs
lola: 23345965 markings, 451425334 edges, 61921 markings/sec, 395 secs
lola: 23607891 markings, 456881866 edges, 52385 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes yes unknown unknown no unknown no unknown no unknown no unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no unknown no unknown no unknown no unknown unknown unknown
lola: memory consumption: 3531352 KB
lola: time consumption: 710 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes unknown unknown no unknown no unknown no unknown no unknown unknown unknown
lola: memory consumption: 3531352 KB
lola: time consumption: 711 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))
lola: processed formula length: 347
lola: 116 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19))
lola: processed formula length: 347
lola: 116 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 571 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(t40) OR (G (FIREABLE(t40)) AND F (FIREABLE(t40)))) AND F (FIREABLE(t40))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(t40) OR (G (FIREABLE(t40)) AND F (FIREABLE(t40)))) AND F (FIREABLE(t40))))))
lola: processed formula length: 96
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22 markings, 22 edges
lola: ========================================
lola: subprocess 12 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FI... (shortened)
lola: processed formula length: 1511
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 23 markings, 23 edges
lola: ========================================
lola: subprocess 13 will run for 953 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) ... (shortened)
lola: processed formula length: 832
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((G (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))) OR ((FIREABLE(t0) OR FIREABLE(t1) OR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19)))) OR ((FIREABLE(t0) OR FIREABLE(t1) OR... (shortened)
lola: processed formula length: 1158
lola: 114 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 590619 markings, 4664015 edges, 118124 markings/sec, 0 secs
lola: 1156248 markings, 9518507 edges, 113126 markings/sec, 5 secs
lola: 1656027 markings, 14250070 edges, 99956 markings/sec, 10 secs
lola: 2218660 markings, 19080743 edges, 112527 markings/sec, 15 secs
lola: 2714384 markings, 23815933 edges, 99145 markings/sec, 20 secs
lola: 3238294 markings, 28615960 edges, 104782 markings/sec, 25 secs
lola: 3724901 markings, 33322196 edges, 97321 markings/sec, 30 secs
lola: 4176748 markings, 37924561 edges, 90369 markings/sec, 35 secs
lola: 4602917 markings, 42465834 edges, 85234 markings/sec, 40 secs
lola: 5081824 markings, 47039557 edges, 95781 markings/sec, 45 secs
lola: 5608474 markings, 51748774 edges, 105330 markings/sec, 50 secs
lola: 6102246 markings, 56406604 edges, 98754 markings/sec, 55 secs
lola: 6583269 markings, 61043853 edges, 96205 markings/sec, 60 secs
lola: 7063528 markings, 65702248 edges, 96052 markings/sec, 65 secs
lola: 7517341 markings, 70294560 edges, 90763 markings/sec, 70 secs
lola: 7916096 markings, 74741540 edges, 79751 markings/sec, 75 secs
lola: 8423631 markings, 79442198 edges, 101507 markings/sec, 80 secs
lola: 8909918 markings, 84134645 edges, 97257 markings/sec, 85 secs
lola: 9378441 markings, 88805126 edges, 93705 markings/sec, 90 secs
lola: 9811963 markings, 93379596 edges, 86704 markings/sec, 95 secs
lola: 10233922 markings, 97915410 edges, 84392 markings/sec, 100 secs
lola: 10714089 markings, 102626985 edges, 96033 markings/sec, 105 secs
lola: 11158676 markings, 107243923 edges, 88917 markings/sec, 110 secs
lola: 11553320 markings, 111698305 edges, 78929 markings/sec, 115 secs
lola: 12011233 markings, 116344924 edges, 91583 markings/sec, 120 secs
lola: 12411774 markings, 120813241 edges, 80108 markings/sec, 125 secs
lola: 12832571 markings, 125337107 edges, 84159 markings/sec, 130 secs
lola: 13218883 markings, 129731606 edges, 77262 markings/sec, 135 secs
lola: 13600712 markings, 134131280 edges, 76366 markings/sec, 140 secs
lola: 13961151 markings, 138427354 edges, 72088 markings/sec, 145 secs
lola: 14288367 markings, 142598279 edges, 65443 markings/sec, 150 secs
lola: 14804862 markings, 147244896 edges, 103299 markings/sec, 155 secs
lola: 15305418 markings, 151883033 edges, 100111 markings/sec, 160 secs
lola: 15806036 markings, 156522627 edges, 100124 markings/sec, 165 secs
lola: 16282000 markings, 161115766 edges, 95193 markings/sec, 170 secs
lola: 16753658 markings, 165735593 edges, 94332 markings/sec, 175 secs
lola: 17178548 markings, 170157041 edges, 84978 markings/sec, 180 secs
lola: 17572699 markings, 174567190 edges, 78830 markings/sec, 185 secs
lola: 18093241 markings, 179288740 edges, 104108 markings/sec, 190 secs
lola: 18571292 markings, 183914129 edges, 95610 markings/sec, 195 secs
lola: 19022344 markings, 188497744 edges, 90210 markings/sec, 200 secs
lola: 19457726 markings, 193095265 edges, 87076 markings/sec, 205 secs
lola: 19898375 markings, 197678989 edges, 88130 markings/sec, 210 secs
lola: 20365253 markings, 202332619 edges, 93376 markings/sec, 215 secs
lola: 20795903 markings, 206882621 edges, 86130 markings/sec, 220 secs
lola: 21203946 markings, 211353538 edges, 81609 markings/sec, 225 secs
lola: 21645844 markings, 215927285 edges, 88380 markings/sec, 230 secs
lola: 22025066 markings, 220287676 edges, 75844 markings/sec, 235 secs
lola: 22454397 markings, 224800864 edges, 85866 markings/sec, 240 secs
lola: 22837659 markings, 229150510 edges, 76652 markings/sec, 245 secs
lola: 23211607 markings, 233475668 edges, 74790 markings/sec, 250 secs
lola: 23563353 markings, 237723274 edges, 70349 markings/sec, 255 secs
lola: 23880457 markings, 241816841 edges, 63421 markings/sec, 260 secs
lola: 24380984 markings, 246442981 edges, 100105 markings/sec, 265 secs
lola: 24853896 markings, 251015131 edges, 94582 markings/sec, 270 secs
lola: 25309635 markings, 255548811 edges, 91148 markings/sec, 275 secs
lola: 25732414 markings, 259987707 edges, 84556 markings/sec, 280 secs
lola: 26130168 markings, 264350535 edges, 79551 markings/sec, 285 secs
lola: 26600140 markings, 268946386 edges, 93994 markings/sec, 290 secs
lola: 27034930 markings, 273436139 edges, 86958 markings/sec, 295 secs
lola: 27423462 markings, 277775130 edges, 77706 markings/sec, 300 secs
lola: 27871188 markings, 282333632 edges, 89545 markings/sec, 305 secs
lola: 28276817 markings, 286760616 edges, 81126 markings/sec, 310 secs
lola: 28681265 markings, 291171030 edges, 80890 markings/sec, 315 secs
lola: 29059641 markings, 295501732 edges, 75675 markings/sec, 320 secs
lola: 29440680 markings, 299830631 edges, 76208 markings/sec, 325 secs
lola: 29810419 markings, 304147954 edges, 73948 markings/sec, 330 secs
lola: 30147084 markings, 308347780 edges, 67333 markings/sec, 335 secs
lola: 30554299 markings, 312753886 edges, 81443 markings/sec, 340 secs
lola: 31015727 markings, 317351351 edges, 92286 markings/sec, 345 secs
lola: 31443152 markings, 321871320 edges, 85485 markings/sec, 350 secs
lola: 31852547 markings, 326332370 edges, 81879 markings/sec, 355 secs
lola: 32294511 markings, 330921461 edges, 88393 markings/sec, 360 secs
lola: 32682813 markings, 335339593 edges, 77660 markings/sec, 365 secs
lola: 33106110 markings, 339858916 edges, 84659 markings/sec, 370 secs
lola: 33496450 markings, 344272927 edges, 78068 markings/sec, 375 secs
lola: 33872646 markings, 348645741 edges, 75239 markings/sec, 380 secs
lola: 34228908 markings, 352953218 edges, 71252 markings/sec, 385 secs
lola: 34543360 markings, 357121483 edges, 62890 markings/sec, 390 secs
lola: 35009649 markings, 361772525 edges, 93258 markings/sec, 395 secs
lola: 35414725 markings, 366259787 edges, 81015 markings/sec, 400 secs
lola: 35829548 markings, 370752506 edges, 82965 markings/sec, 405 secs
lola: 36219193 markings, 375166452 edges, 77929 markings/sec, 410 secs
lola: 36602919 markings, 379574323 edges, 76745 markings/sec, 415 secs
lola: 36966095 markings, 383879243 edges, 72635 markings/sec, 420 secs
lola: 37296314 markings, 388073370 edges, 66044 markings/sec, 425 secs
lola: 37696160 markings, 392531893 edges, 79969 markings/sec, 430 secs
lola: 38082819 markings, 396930962 edges, 77332 markings/sec, 435 secs
lola: 38470772 markings, 401379462 edges, 77591 markings/sec, 440 secs
lola: 38840331 markings, 405737731 edges, 73912 markings/sec, 445 secs
lola: 39170093 markings, 409910862 edges, 65952 markings/sec, 450 secs
lola: 39542084 markings, 414259729 edges, 74398 markings/sec, 455 secs
lola: 39913825 markings, 418619514 edges, 74348 markings/sec, 460 secs
lola: 40264838 markings, 422895690 edges, 70203 markings/sec, 465 secs
lola: 40587511 markings, 427041708 edges, 64535 markings/sec, 470 secs
lola: 40952985 markings, 431369745 edges, 73095 markings/sec, 475 secs
lola: 41282511 markings, 435550297 edges, 65905 markings/sec, 480 secs
lola: 41617118 markings, 439745505 edges, 66921 markings/sec, 485 secs
lola: 41923925 markings, 443804718 edges, 61361 markings/sec, 490 secs
lola: 42248834 markings, 447954687 edges, 64982 markings/sec, 495 secs
lola: 42548211 markings, 452014314 edges, 59875 markings/sec, 500 secs
lola: 42835393 markings, 455970962 edges, 57436 markings/sec, 505 secs
lola: 43161046 markings, 460029930 edges, 65131 markings/sec, 510 secs
lola: 43709346 markings, 464761356 edges, 109660 markings/sec, 515 secs
lola: 44194398 markings, 469402819 edges, 97010 markings/sec, 520 secs
lola: 44706076 markings, 474113909 edges, 102336 markings/sec, 525 secs
lola: 45187654 markings, 478774456 edges, 96316 markings/sec, 530 secs
lola: 45638747 markings, 483357157 edges, 90219 markings/sec, 535 secs
lola: 46058790 markings, 487848368 edges, 84009 markings/sec, 540 secs
lola: 46512223 markings, 492358383 edges, 90687 markings/sec, 545 secs
lola: 46989049 markings, 496964896 edges, 95365 markings/sec, 550 secs
lola: 47464538 markings, 501583104 edges, 95098 markings/sec, 555 secs
lola: 47914080 markings, 506159900 edges, 89908 markings/sec, 560 secs
lola: 48310693 markings, 510580945 edges, 79323 markings/sec, 565 secs
lola: 48782073 markings, 515214647 edges, 94276 markings/sec, 570 secs
lola: 49235672 markings, 519797451 edges, 90720 markings/sec, 575 secs
lola: 49646485 markings, 524256732 edges, 82163 markings/sec, 580 secs
lola: 50068475 markings, 528737844 edges, 84398 markings/sec, 585 secs
lola: 50495501 markings, 533249172 edges, 85405 markings/sec, 590 secs
lola: 50888360 markings, 537612924 edges, 78572 markings/sec, 595 secs
lola: 51284574 markings, 542010324 edges, 79243 markings/sec, 600 secs
lola: 51671922 markings, 546381223 edges, 77470 markings/sec, 605 secs
lola: 52032228 markings, 550633079 edges, 72061 markings/sec, 610 secs
lola: 52379007 markings, 554868303 edges, 69356 markings/sec, 615 secs
lola: 52742163 markings, 559060370 edges, 72631 markings/sec, 620 secs
lola: 53234679 markings, 563661326 edges, 98503 markings/sec, 625 secs
lola: 53705966 markings, 568217473 edges, 94257 markings/sec, 630 secs
lola: 54147871 markings, 572700503 edges, 88381 markings/sec, 635 secs
lola: 54560733 markings, 577119345 edges, 82572 markings/sec, 640 secs
lola: 54992595 markings, 581572261 edges, 86372 markings/sec, 645 secs
lola: 55449809 markings, 586129919 edges, 91443 markings/sec, 650 secs
lola: 55870419 markings, 590575250 edges, 84122 markings/sec, 655 secs
lola: 56267680 markings, 594951957 edges, 79452 markings/sec, 660 secs
lola: 56706039 markings, 599473935 edges, 87672 markings/sec, 665 secs
lola: 57088291 markings, 603814079 edges, 76450 markings/sec, 670 secs
lola: 57510799 markings, 608287476 edges, 84502 markings/sec, 675 secs
lola: 57890059 markings, 612608437 edges, 75852 markings/sec, 680 secs
lola: 58263730 markings, 616920304 edges, 74734 markings/sec, 685 secs
lola: 58615078 markings, 621156452 edges, 70270 markings/sec, 690 secs
lola: 58937894 markings, 625267509 edges, 64563 markings/sec, 695 secs
lola: 59393252 markings, 629817721 edges, 91072 markings/sec, 700 secs
lola: 59840672 markings, 634352063 edges, 89484 markings/sec, 705 secs
lola: 60255111 markings, 638815664 edges, 82888 markings/sec, 710 secs
lola: 60675349 markings, 643284073 edges, 84048 markings/sec, 715 secs
lola: 61102758 markings, 647809574 edges, 85482 markings/sec, 720 secs
lola: 61498419 markings, 652206329 edges, 79132 markings/sec, 725 secs
lola: 61898297 markings, 656628012 edges, 79976 markings/sec, 730 secs
lola: 62287934 markings, 661024253 edges, 77927 markings/sec, 735 secs
lola: 62651425 markings, 665298580 edges, 72698 markings/sec, 740 secs
lola: 62996549 markings, 669527033 edges, 69025 markings/sec, 745 secs
lola: 63339001 markings, 673696556 edges, 68490 markings/sec, 750 secs
lola: 63783608 markings, 678282130 edges, 88921 markings/sec, 755 secs
lola: 64174086 markings, 682702693 edges, 78096 markings/sec, 760 secs
lola: 64597147 markings, 687182002 edges, 84612 markings/sec, 765 secs
lola: 64980165 markings, 691542086 edges, 76604 markings/sec, 770 secs
lola: 65358240 markings, 695901543 edges, 75615 markings/sec, 775 secs
lola: 65709634 markings, 700146859 edges, 70279 markings/sec, 780 secs
lola: 66030421 markings, 704249524 edges, 64157 markings/sec, 785 secs
lola: 66439400 markings, 708719746 edges, 81796 markings/sec, 790 secs
lola: 66823218 markings, 713072438 edges, 76764 markings/sec, 795 secs
lola: 67203990 markings, 717450789 edges, 76154 markings/sec, 800 secs
lola: 67564164 markings, 721733975 edges, 72035 markings/sec, 805 secs
lola: 67885884 markings, 725823152 edges, 64344 markings/sec, 810 secs
lola: 68254871 markings, 730113483 edges, 73797 markings/sec, 815 secs
lola: 68621697 markings, 734414178 edges, 73365 markings/sec, 820 secs
lola: 68966602 markings, 738624284 edges, 68981 markings/sec, 825 secs
lola: 69280675 markings, 742667597 edges, 62815 markings/sec, 830 secs
lola: 69643797 markings, 746959389 edges, 72624 markings/sec, 835 secs
lola: 69968376 markings, 751071852 edges, 64916 markings/sec, 840 secs
lola: 70295538 markings, 755194900 edges, 65432 markings/sec, 845 secs
lola: 70604243 markings, 759208645 edges, 61741 markings/sec, 850 secs
lola: 70923164 markings, 763312363 edges, 63784 markings/sec, 855 secs
lola: 71221132 markings, 767303915 edges, 59594 markings/sec, 860 secs
lola: 71502679 markings, 771191839 edges, 56309 markings/sec, 865 secs
lola: 71768237 markings, 775009448 edges, 53112 markings/sec, 870 secs
lola: 72289018 markings, 779703482 edges, 104156 markings/sec, 875 secs
lola: 72764842 markings, 784306888 edges, 95165 markings/sec, 880 secs
lola: 73213821 markings, 788848555 edges, 89796 markings/sec, 885 secs
lola: 73639943 markings, 793345499 edges, 85224 markings/sec, 890 secs
lola: 74060303 markings, 797791737 edges, 84072 markings/sec, 895 secs
lola: 74525966 markings, 802393396 edges, 93133 markings/sec, 900 secs
lola: 74957884 markings, 806898809 edges, 86384 markings/sec, 905 secs
lola: 75346574 markings, 811261520 edges, 77738 markings/sec, 910 secs
lola: 75793805 markings, 815832084 edges, 89446 markings/sec, 915 secs
lola: 76188746 markings, 820238316 edges, 78988 markings/sec, 920 secs
lola: 76606270 markings, 824721738 edges, 83505 markings/sec, 925 secs
lola: 76988373 markings, 829066371 edges, 76421 markings/sec, 930 secs
lola: 77365272 markings, 833402712 edges, 75380 markings/sec, 935 secs
lola: 77723848 markings, 837674252 edges, 71715 markings/sec, 940 secs
lola: 78049111 markings, 841818611 edges, 65053 markings/sec, 945 secs
lola: 78493652 markings, 846320192 edges, 88908 markings/sec, 950 secs
lola: 78937141 markings, 850830202 edges, 88698 markings/sec, 955 secs
lola: 79332512 markings, 855022745 edges, 79074 markings/sec, 960 secs
lola: 79730827 markings, 859321698 edges, 79663 markings/sec, 965 secs
lola: 80118099 markings, 863364430 edges, 77454 markings/sec, 970 secs
lola: 80469131 markings, 867375852 edges, 70206 markings/sec, 975 secs
lola: 80895269 markings, 871895017 edges, 85228 markings/sec, 980 secs
lola: 81278057 markings, 876251604 edges, 76558 markings/sec, 985 secs
lola: 81655671 markings, 880605863 edges, 75523 markings/sec, 990 secs
lola: 82008400 markings, 884865805 edges, 70546 markings/sec, 995 secs
lola: 82330282 markings, 888985821 edges, 64376 markings/sec, 1000 secs
lola: 82764841 markings, 893514313 edges, 86912 markings/sec, 1005 secs
lola: 83181018 markings, 898013222 edges, 83235 markings/sec, 1010 secs
lola: 83585154 markings, 902446410 edges, 80827 markings/sec, 1015 secs
lola: 83964676 markings, 906792698 edges, 75904 markings/sec, 1020 secs
lola: 84352026 markings, 911172384 edges, 77470 markings/sec, 1025 secs
lola: 84720178 markings, 915474479 edges, 73630 markings/sec, 1030 secs
lola: 85054331 markings, 919633198 edges, 66831 markings/sec, 1035 secs
lola: 85416257 markings, 923901968 edges, 72385 markings/sec, 1040 secs
lola: 85808324 markings, 928281413 edges, 78413 markings/sec, 1045 secs
lola: 86199628 markings, 932685113 edges, 78261 markings/sec, 1050 secs
lola: 86564475 markings, 936993499 edges, 72969 markings/sec, 1055 secs
lola: 86904954 markings, 941168203 edges, 68096 markings/sec, 1060 secs
lola: 87237215 markings, 945292094 edges, 66452 markings/sec, 1065 secs
lola: 87615299 markings, 949630892 edges, 75617 markings/sec, 1070 secs
lola: 87971227 markings, 953880185 edges, 71186 markings/sec, 1075 secs
lola: 88289238 markings, 957932508 edges, 63602 markings/sec, 1080 secs
lola: 88632641 markings, 962113188 edges, 68681 markings/sec, 1085 secs
lola: 88979957 markings, 966335483 edges, 69463 markings/sec, 1090 secs
lola: 89293175 markings, 970364827 edges, 62644 markings/sec, 1095 secs
lola: 89619794 markings, 974454928 edges, 65324 markings/sec, 1100 secs
lola: 89929621 markings, 978486032 edges, 61965 markings/sec, 1105 secs
lola: 90230677 markings, 982485337 edges, 60211 markings/sec, 1110 secs
lola: 90518935 markings, 986399615 edges, 57652 markings/sec, 1115 secs
lola: 90778480 markings, 990131843 edges, 51909 markings/sec, 1120 secs
lola: 91179347 markings, 994434100 edges, 80173 markings/sec, 1125 secs
lola: 91623680 markings, 998914056 edges, 88867 markings/sec, 1130 secs
lola: 92042030 markings, 1003333051 edges, 83670 markings/sec, 1135 secs
lola: 92439912 markings, 1007668977 edges, 79576 markings/sec, 1140 secs
lola: 92868947 markings, 1012132253 edges, 85807 markings/sec, 1145 secs
lola: 93240726 markings, 1016408170 edges, 74356 markings/sec, 1150 secs
lola: 93661261 markings, 1020826927 edges, 84107 markings/sec, 1155 secs
lola: 94037006 markings, 1025103408 edges, 75149 markings/sec, 1160 secs
lola: 94405750 markings, 1029360711 edges, 73749 markings/sec, 1165 secs
lola: 94751544 markings, 1033530835 edges, 69159 markings/sec, 1170 secs
lola: 95070220 markings, 1037585208 edges, 63735 markings/sec, 1175 secs
lola: 95489415 markings, 1042010530 edges, 83839 markings/sec, 1180 secs
lola: 95904878 markings, 1046469188 edges, 83093 markings/sec, 1185 secs
lola: 96297390 markings, 1050817426 edges, 78502 markings/sec, 1190 secs
lola: 96677896 markings, 1055103749 edges, 76101 markings/sec, 1195 secs
lola: 97063009 markings, 1059422974 edges, 77023 markings/sec, 1200 secs
lola: 97416763 markings, 1063612581 edges, 70751 markings/sec, 1205 secs
lola: 97755873 markings, 1067746803 edges, 67822 markings/sec, 1210 secs
lola: 98095223 markings, 1071858722 edges, 67870 markings/sec, 1215 secs
lola: 98493080 markings, 1076233394 edges, 79571 markings/sec, 1220 secs
lola: 98876692 markings, 1080568972 edges, 76722 markings/sec, 1225 secs
lola: 99240696 markings, 1084836300 edges, 72801 markings/sec, 1230 secs
lola: 99582677 markings, 1088999960 edges, 68396 markings/sec, 1235 secs
lola: 99893740 markings, 1093011848 edges, 62213 markings/sec, 1240 secs
lola: 100266674 markings, 1097280609 edges, 74587 markings/sec, 1245 secs
lola: 100635051 markings, 1101564407 edges, 73675 markings/sec, 1250 secs
lola: 100960306 markings, 1105625534 edges, 65051 markings/sec, 1255 secs
lola: 101289399 markings, 1109696909 edges, 65819 markings/sec, 1260 secs
lola: 101633976 markings, 1113871210 edges, 68915 markings/sec, 1265 secs
lola: 101935701 markings, 1117823122 edges, 60345 markings/sec, 1270 secs
lola: 102270177 markings, 1121935660 edges, 66895 markings/sec, 1275 secs
lola: 102574961 markings, 1125908991 edges, 60957 markings/sec, 1280 secs
lola: 102876103 markings, 1129877871 edges, 60228 markings/sec, 1285 secs
lola: 103171518 markings, 1133816385 edges, 59083 markings/sec, 1290 secs
lola: 103443312 markings, 1137605120 edges, 54359 markings/sec, 1295 secs
lola: 103743858 markings, 1141517570 edges, 60109 markings/sec, 1300 secs
lola: 104182399 markings, 1146041341 edges, 87708 markings/sec, 1305 secs
lola: 104565166 markings, 1150390541 edges, 76553 markings/sec, 1310 secs
lola: 104898688 markings, 1153886451 edges, 66704 markings/sec, 1315 secs
lola: 105081484 markings, 1155946099 edges, 36559 markings/sec, 1320 secs
lola: 105259171 markings, 1158007631 edges, 35537 markings/sec, 1325 secs
lola: 105425441 markings, 1159825533 edges, 33254 markings/sec, 1330 secs
lola: 105503860 markings, 1160729392 edges, 15684 markings/sec, 1335 secs
lola: Child process aborted or communication problem between parent and child process
lola: Cannot launch process for handling subproblem
lola: Cannot launch process for handling subproblem
lola: Cannot launch process for handling subproblem
lola: Cannot launch process for handling subproblem
lola: RESULT
lola:
SUMMARY: no yes yes yes no unknown no unknown no no no no yes unknown yes
lola:
preliminary result: no yes yes yes no unknown no unknown no no no no yes unknown yes
lola: memory consumption: 67916 KB
lola: time consumption: 2051 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589946331051
--------------------
content from stderr:
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="Referendum-COL-0020"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 win2019"
echo " Input is Referendum-COL-0020, 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 r150-smll-158961529300088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0020.tgz
mv Referendum-COL-0020 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 ;