About the Execution of 2019-Gold for Referendum-COL-0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.900 | 3570164.00 | 3592827.00 | 9914.70 | F?TFFFFF??TFFT?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-158961529300090.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-0050, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300090
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 4.0K Apr 12 08:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 09:51 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.6K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 21:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 21:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 4.9K 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-0050-00
FORMULA_NAME Referendum-COL-0050-01
FORMULA_NAME Referendum-COL-0050-02
FORMULA_NAME Referendum-COL-0050-03
FORMULA_NAME Referendum-COL-0050-04
FORMULA_NAME Referendum-COL-0050-05
FORMULA_NAME Referendum-COL-0050-06
FORMULA_NAME Referendum-COL-0050-07
FORMULA_NAME Referendum-COL-0050-08
FORMULA_NAME Referendum-COL-0050-09
FORMULA_NAME Referendum-COL-0050-10
FORMULA_NAME Referendum-COL-0050-11
FORMULA_NAME Referendum-COL-0050-12
FORMULA_NAME Referendum-COL-0050-13
FORMULA_NAME Referendum-COL-0050-14
FORMULA_NAME Referendum-COL-0050-15
=== Now, execution of the tool begins
BK_START 1589946347649
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-COL-0050 @ 3570 seconds
FORMULA Referendum-COL-0050-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Referendum-COL-0050
{
"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:45:47 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 150,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 150,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (X (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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) AND (FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))",
"processed_size": 2711,
"rewrites": 90
},
"result":
{
"edges": 53,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 4,
"aconj": 0,
"adisj": 2,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 101,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 101,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A (X ((X (X (G ((FIREABLE(t100) AND X ((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 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 NOT FIREABLE(t40) AND NOT FIREABLE(t41) AND NOT FIREABLE(t42) AND NOT FIREABLE(t43) AND NOT FIREABLE(t44) AND NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND NOT FIREABLE(t47) AND NOT FIREABLE(t48) AND NOT FIREABLE(t49))))))) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))))",
"processed_size": 2024,
"rewrites": 90
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"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": 256
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 4,
"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": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (((FIREABLE(t100) U X (X (NOT FIREABLE(t100)))) AND (X (FIREABLE(t100)) OR (G (FIREABLE(t100)) AND X (F (FIREABLE(t100))))))))",
"processed_size": 131,
"rewrites": 90
},
"result":
{
"edges": 20163,
"markings": 15253,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 29
},
"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": 277
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 100,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 100,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) AND G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))))",
"processed_size": 1807,
"rewrites": 90
},
"result":
{
"edges": 53,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 302
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 100,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 100,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (X (F ((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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) AND X (F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))",
"processed_size": 1815,
"rewrites": 90
},
"result":
{
"edges": 55,
"markings": 55,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 332
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 151,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 151,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A (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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) OR (X (FIREABLE(t100)) AND 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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))))))))",
"processed_size": 2718,
"rewrites": 90
},
"result":
{
"edges": 62,
"markings": 59,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 369
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 51,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 51,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A ((G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))) OR F (FIREABLE(t100))))",
"processed_size": 929,
"rewrites": 90
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"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": 422
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (X (X (G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))",
"processed_size": 913,
"rewrites": 90
},
"result":
{
"edges": 53,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 422
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 422
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t100)",
"processed_size": 18,
"rewrites": 90
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 493
},
"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": 50,
"unfir": 50,
"visible_places": 0,
"visible_transitions": 50
},
"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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))",
"processed_size": 887,
"rewrites": 92
},
"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": 101
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 591
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "(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 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 NOT FIREABLE(t40) AND NOT FIREABLE(t41) AND NOT FIREABLE(t42) AND NOT FIREABLE(t43) AND NOT FIREABLE(t44) AND NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND NOT FIREABLE(t47) AND NOT FIREABLE(t48) AND NOT FIREABLE(t49))",
"processed_size": 1087,
"rewrites": 92
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 101
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 890
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (G (F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))",
"processed_size": 909,
"rewrites": 90
},
"result":
{
"edges": 54,
"markings": 54,
"produced_by": "LTL model checker",
"value": false
},
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1334
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 151,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 151,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A (F (((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) AND ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) OR (G (F (FIREABLE(t100))) AND F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))",
"processed_size": 2745,
"rewrites": 90
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 15,
"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": 7252748,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(X(X(G(**))))) : A((G(F(**)) OR X(F((** OR G(*)))))) : A(X((X(X(G((** AND X(*))))) U **))) : A(F(((** U X(X(**))) AND (X(**) OR (G(**) AND X(F(**))))))) : (A(G(F((** AND G(**))))) AND A(X(G((* OR G(*)))))) : A(G(F(**))) : A(X(F((G(**) AND X(F(**)))))) : A(G(F((** OR (G(**) OR (X(**) AND G(**))))))) : A((X(X(G(*))) R (X(*) AND G(F(*))))) : A(G(F(*))) : A(F((** AND (** OR (G(F(**)) AND F(**)))))) : (A((G(**) OR F(**))) AND A(X(X(G(**))))) : (A(X(*)) AND (A(G(*)) AND (* AND A((F(*) OR G(*)))))) : A(F(**)) : A(F(G(*))) : A(F(**))"
},
"net":
{
"arcs": 251,
"conflict_clusters": 151,
"places": 151,
"places_significant": 101,
"singleton_clusters": 0,
"transitions": 101
},
"result":
{
"interim_value": "no unknown yes no no no no no unknown unknown yes no no yes unknown yes ",
"preliminary_value": "no unknown yes no no no no no unknown unknown yes 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: 151, Transitions: 101
lola: @ trans yes
lola: @ trans no
lola: @ trans start
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 252/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 151
lola: finding significant places
lola: 151 places, 101 transitions, 101 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 (X (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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) AND (FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))))) : A ((F (G (F (FIREABLE(t100)))) OR F (X (F ((FIREABLE(t100) OR NOT(F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))))))) : A (X ((X (G (X ((FIREABLE(t100) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))))))) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))))) : A (F (((FIREABLE(t100) U X (X (NOT FIREABLE(t100)))) AND (G (FIREABLE(t100)) U X (FIREABLE(t100)))))) : A (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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) AND G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))) AND NOT(F ((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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) AND F (X ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))))))) : A (X (G ((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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))))) U F ((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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) U X ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))) : A (F (X (F ((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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) AND F (X ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))) : A (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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))) OR (X (FIREABLE(t100)) AND 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 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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))))))) : A (NOT((X (F (X (FIREABLE(t100)))) U (X (FIREABLE(t100)) OR NOT(G (NOT(G (FIREABLE(t100))))))))) : A ((X (NOT(G (FIREABLE(t100)))) U F (NOT(X (F (G (FIREABLE(t100)))))))) : A (F (((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABLE(t65) AND NOT FIREABLE(t66) AND NOT FIREABLE(t67) AND NOT FIREABLE(t68) AND NOT FIREABLE(t69) AND NOT FIREABLE(t70) AND NOT FIREABLE(t71) AND NOT FIREABLE(t72) AND NOT FIREABLE(t73) AND NOT FIREABLE(t74) AND NOT FIREABLE(t75) AND NOT FIREABLE(t76) AND NOT FIREABLE(t77) AND NOT FIREABLE(t78) AND NOT FIREABLE(t79) AND NOT FIREABLE(t80) AND NOT FIREABLE(t81) AND NOT FIREABLE(t82) AND NOT FIREABLE(t83) AND NOT FIREABLE(t84) AND NOT FIREABLE(t85) AND NOT FIREABLE(t86) AND NOT FIREABLE(t87) AND NOT FIREABLE(t88) AND NOT FIREABLE(t89) AND NOT FIREABLE(t90) AND NOT FIREABLE(t91) AND NOT FIREABLE(t92) AND NOT FIREABLE(t93) AND NOT FIREABLE(t94) AND NOT FIREABLE(t95) AND NOT FIREABLE(t96) AND NOT FIREABLE(t97) AND NOT FIREABLE(t98) AND NOT FIREABLE(t99)) U ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) AND (X (G (F (FIREABLE(t100)))) U (FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))) : A (((G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))) OR F (FIREABLE(t100))) AND X (X (G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))) : A (NOT(((X (FIREABLE(t100)) OR F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) OR (G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))) U FIREABLE(t100))))) : 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) AND 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 NOT FIREABLE(t40) AND NOT FIREABLE(t41) AND NOT FIREABLE(t42) AND NOT FIREABLE(t43) AND NOT FIREABLE(t44) AND NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND NOT FIREABLE(t47) AND NOT FIREABLE(t48) AND NOT FIREABLE(t49)))) : A (NOT(((F (FIREABLE(t100)) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49))) U 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(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(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t100))))))) : A (F ((((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) OR (G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABLE(t65) AND NOT FIREABLE(t66) AND NOT FIREABLE(t67) AND NOT FIREABLE(t68) AND NOT FIREABLE(t69) AND NOT FIREABLE(t70) AND NOT FIREABLE(t71) AND NOT FIREABLE(t72) AND NOT FIREABLE(t73) AND NOT FIREABLE(t74) AND NOT FIREABLE(t75) AND NOT FIREABLE(t76) AND NOT FIREABLE(t77) AND NOT FIREABLE(t78) AND NOT FIREABLE(t79) AND NOT FIREABLE(t80) AND NOT FIREABLE(t81) AND NOT FIREABLE(t82) AND NOT FIREABLE(t83) AND NOT FIREABLE(t84) AND NOT FIREABLE(t85) AND NOT FIREABLE(t86) AND NOT FIREABLE(t87) AND NOT FIREABLE(t88) AND NOT FIREABLE(t89) AND NOT FIREABLE(t90) AND NOT FIREABLE(t91) AND NOT FIREABLE(t92) AND NOT FIREABLE(t93) AND NOT FIREABLE(t94) AND NOT FIREABLE(t95) AND NOT FIREABLE(t96) AND NOT FIREABLE(t97) AND NOT FIREABLE(t98) AND NOT FIREABLE(t99))) U (FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) 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) 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) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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: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:536
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: rewrite Frontend/Parser/formula_rewrite.k:425
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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 (X (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) OR FIREABLE(t20) OR FIREABLE(t21) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (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) OR FIREABLE(t20) OR FIREABLE(t21) O... (shortened)
lola: processed formula length: 2711
lola: 90 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: 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: 53 markings, 53 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (F (FIREABLE(t100))) OR X (F ((FIREABLE(t100) OR G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F (FIREABLE(t100))) OR X (F ((FIREABLE(t100) OR G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABL... (shortened)
lola: processed formula length: 1161
lola: 90 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: 282719 markings, 3952304 edges, 56544 markings/sec, 0 secs
lola: 533824 markings, 7808374 edges, 50221 markings/sec, 5 secs
lola: 766601 markings, 11606097 edges, 46555 markings/sec, 10 secs
lola: 986570 markings, 15443795 edges, 43994 markings/sec, 15 secs
lola: 1217422 markings, 19220774 edges, 46170 markings/sec, 20 secs
lola: 1446565 markings, 22949319 edges, 45829 markings/sec, 25 secs
lola: 1666548 markings, 26722176 edges, 43997 markings/sec, 30 secs
lola: 1882009 markings, 30500661 edges, 43092 markings/sec, 35 secs
lola: 2105448 markings, 34332244 edges, 44688 markings/sec, 40 secs
lola: 2314074 markings, 38115846 edges, 41725 markings/sec, 45 secs
lola: 2523154 markings, 41909847 edges, 41816 markings/sec, 50 secs
lola: 2728060 markings, 45734396 edges, 40981 markings/sec, 55 secs
lola: 2921552 markings, 49533787 edges, 38698 markings/sec, 60 secs
lola: 3102556 markings, 53263694 edges, 36201 markings/sec, 65 secs
lola: 3311045 markings, 57001692 edges, 41698 markings/sec, 70 secs
lola: 3548378 markings, 60793059 edges, 47467 markings/sec, 75 secs
lola: 3769693 markings, 64591365 edges, 44263 markings/sec, 80 secs
lola: 3980677 markings, 68329662 edges, 42197 markings/sec, 85 secs
lola: 4205754 markings, 72120409 edges, 45015 markings/sec, 90 secs
lola: 4406308 markings, 75847213 edges, 40111 markings/sec, 95 secs
lola: 4620679 markings, 79631403 edges, 42874 markings/sec, 100 secs
lola: 4823022 markings, 83400595 edges, 40469 markings/sec, 105 secs
lola: 5015543 markings, 87153025 edges, 38504 markings/sec, 110 secs
lola: 5196718 markings, 90861340 edges, 36235 markings/sec, 115 secs
lola: 5382130 markings, 94538496 edges, 37082 markings/sec, 120 secs
lola: 5608792 markings, 98335244 edges, 45332 markings/sec, 125 secs
lola: 5808649 markings, 102058790 edges, 39971 markings/sec, 130 secs
lola: 6024869 markings, 105835890 edges, 43244 markings/sec, 135 secs
lola: 6225045 markings, 109578483 edges, 40035 markings/sec, 140 secs
lola: 6416328 markings, 113271129 edges, 38257 markings/sec, 145 secs
lola: 6595621 markings, 116920684 edges, 35859 markings/sec, 150 secs
lola: 6763787 markings, 120496929 edges, 33633 markings/sec, 155 secs
lola: 6974896 markings, 124203618 edges, 42222 markings/sec, 160 secs
lola: 7173287 markings, 127911786 edges, 39678 markings/sec, 165 secs
lola: 7364434 markings, 131605791 edges, 38229 markings/sec, 170 secs
lola: 7542584 markings, 135235465 edges, 35630 markings/sec, 175 secs
lola: 7710468 markings, 138825830 edges, 33577 markings/sec, 180 secs
lola: 7907717 markings, 142557171 edges, 39450 markings/sec, 185 secs
lola: 8096045 markings, 146244778 edges, 37666 markings/sec, 190 secs
lola: 8263133 markings, 149813872 edges, 33418 markings/sec, 195 secs
lola: 8442847 markings, 153496460 edges, 35943 markings/sec, 200 secs
lola: 8624415 markings, 157196529 edges, 36314 markings/sec, 205 secs
lola: 8793179 markings, 160841883 edges, 33753 markings/sec, 210 secs
lola: 8965272 markings, 164519259 edges, 34419 markings/sec, 215 secs
lola: 9131256 markings, 168155079 edges, 33197 markings/sec, 220 secs
lola: 9289287 markings, 171746824 edges, 31606 markings/sec, 225 secs
lola: 9437817 markings, 175259752 edges, 29706 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1480804 KB
lola: time consumption: 241 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (X (G ((FIREABLE(t100) AND X ((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) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (X (G ((FIREABLE(t100) AND X ((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) ... (shortened)
lola: processed formula length: 2024
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t100) U X (X (NOT FIREABLE(t100)))) AND (X (FIREABLE(t100)) OR (G (FIREABLE(t100)) AND X (F (FIREABLE(t100))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t100) U X (X (NOT FIREABLE(t100)))) AND (X (FIREABLE(t100)) OR (G (FIREABLE(t100)) AND X (F (FIREABLE(t100))))))))
lola: processed formula length: 131
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 29 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: 15253 markings, 20163 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (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(t20) OR FIREABLE(t21) OR FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (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(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (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(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: processed formula length: 1807
lola: 90 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: 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: 53 markings, 53 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((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 FIREABLE(t20) OR FIREABLE(t21) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((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 FIREABLE(t20) OR FIREABLE(t21) OR ... (shortened)
lola: processed formula length: 1815
lola: 90 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: 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: 55 markings, 55 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (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(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (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(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: processed formula length: 2718
lola: 90 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: add low 101
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: 59 markings, 62 edges
lola: ========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (G (NOT FIREABLE(t100)))) R (X (NOT FIREABLE(t100)) AND G (F (NOT FIREABLE(t100))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (G (NOT FIREABLE(t100)))) R (X (NOT FIREABLE(t100)) AND G (F (NOT FIREABLE(t100))))))
lola: processed formula length: 94
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 479279 markings, 3731707 edges, 95856 markings/sec, 0 secs
lola: 895068 markings, 7271506 edges, 83158 markings/sec, 5 secs
lola: 1297922 markings, 10824308 edges, 80571 markings/sec, 10 secs
lola: 1666160 markings, 14337335 edges, 73648 markings/sec, 15 secs
lola: 2071561 markings, 17765160 edges, 81080 markings/sec, 20 secs
lola: 2444107 markings, 21185534 edges, 74509 markings/sec, 25 secs
lola: 2803896 markings, 24585779 edges, 71958 markings/sec, 30 secs
lola: 3174899 markings, 28006261 edges, 74201 markings/sec, 35 secs
lola: 3519531 markings, 31382462 edges, 68926 markings/sec, 40 secs
lola: 3863978 markings, 34791176 edges, 68889 markings/sec, 45 secs
lola: 4205607 markings, 38213360 edges, 68326 markings/sec, 50 secs
lola: 4530781 markings, 41670054 edges, 65035 markings/sec, 55 secs
lola: 4830409 markings, 44985618 edges, 59926 markings/sec, 60 secs
lola: 5218902 markings, 48260448 edges, 77699 markings/sec, 65 secs
lola: 5587003 markings, 51565726 edges, 73620 markings/sec, 70 secs
lola: 5921812 markings, 54827182 edges, 66962 markings/sec, 75 secs
lola: 6292226 markings, 58148582 edges, 74083 markings/sec, 80 secs
lola: 6623899 markings, 61415209 edges, 66335 markings/sec, 85 secs
lola: 6966070 markings, 64717607 edges, 68434 markings/sec, 90 secs
lola: 7293645 markings, 67997707 edges, 65515 markings/sec, 95 secs
lola: 7614675 markings, 71353882 edges, 64206 markings/sec, 100 secs
lola: 7903018 markings, 74599894 edges, 57669 markings/sec, 105 secs
lola: 8245931 markings, 77838250 edges, 68583 markings/sec, 110 secs
lola: 8593672 markings, 81139555 edges, 69548 markings/sec, 115 secs
lola: 8934483 markings, 84408127 edges, 68162 markings/sec, 120 secs
lola: 9263114 markings, 87695774 edges, 65726 markings/sec, 125 secs
lola: 9587474 markings, 90994060 edges, 64872 markings/sec, 130 secs
lola: 9893345 markings, 94293706 edges, 61174 markings/sec, 135 secs
lola: 10186133 markings, 97500532 edges, 58558 markings/sec, 140 secs
lola: 10526952 markings, 100815244 edges, 68164 markings/sec, 145 secs
lola: 10852790 markings, 104084314 edges, 65168 markings/sec, 150 secs
lola: 11171393 markings, 107411142 edges, 63721 markings/sec, 155 secs
lola: 11456693 markings, 110639157 edges, 57060 markings/sec, 160 secs
lola: 11772962 markings, 113895816 edges, 63254 markings/sec, 165 secs
lola: 12089290 markings, 117210861 edges, 63266 markings/sec, 170 secs
lola: 12378146 markings, 120441707 edges, 57771 markings/sec, 175 secs
lola: 12677220 markings, 123713644 edges, 59815 markings/sec, 180 secs
lola: 12976851 markings, 126998323 edges, 59926 markings/sec, 185 secs
lola: 13268046 markings, 130295639 edges, 58239 markings/sec, 190 secs
lola: 13554156 markings, 133626132 edges, 57222 markings/sec, 195 secs
lola: 13834325 markings, 136922774 edges, 56034 markings/sec, 200 secs
lola: 14097604 markings, 140161241 edges, 52656 markings/sec, 205 secs
lola: 14333470 markings, 143270268 edges, 47173 markings/sec, 210 secs
lola: 14701135 markings, 146448808 edges, 73533 markings/sec, 215 secs
lola: 15066819 markings, 149628828 edges, 73137 markings/sec, 220 secs
lola: 15386575 markings, 152784088 edges, 63951 markings/sec, 225 secs
lola: 15743481 markings, 155947185 edges, 71381 markings/sec, 230 secs
lola: 16069858 markings, 159120047 edges, 65275 markings/sec, 235 secs
lola: 16401054 markings, 162261751 edges, 66239 markings/sec, 240 secs
lola: 16716047 markings, 165412129 edges, 62999 markings/sec, 245 secs
lola: 17027934 markings, 168599746 edges, 62377 markings/sec, 250 secs
lola: 17323587 markings, 171784461 edges, 59131 markings/sec, 255 secs
lola: 17600165 markings, 174832061 edges, 55316 markings/sec, 260 secs
lola: 17953834 markings, 178003123 edges, 70734 markings/sec, 265 secs
lola: 18271324 markings, 181160574 edges, 63498 markings/sec, 270 secs
lola: 18611677 markings, 184359943 edges, 68071 markings/sec, 275 secs
lola: 18927386 markings, 187517047 edges, 63142 markings/sec, 280 secs
lola: 19230632 markings, 190692505 edges, 60649 markings/sec, 285 secs
lola: 19522428 markings, 193874141 edges, 58359 markings/sec, 290 secs
lola: 19813877 markings, 196951231 edges, 58290 markings/sec, 295 secs
lola: 20129698 markings, 200099681 edges, 63164 markings/sec, 300 secs
lola: 20445345 markings, 203257898 edges, 63129 markings/sec, 305 secs
lola: 20759923 markings, 206518563 edges, 62916 markings/sec, 310 secs
lola: 21031849 markings, 209618472 edges, 54385 markings/sec, 315 secs
lola: 21339047 markings, 212761873 edges, 61440 markings/sec, 320 secs
lola: 21643871 markings, 215953439 edges, 60965 markings/sec, 325 secs
lola: 21926841 markings, 219092893 edges, 56594 markings/sec, 330 secs
lola: 22214829 markings, 222256427 edges, 57598 markings/sec, 335 secs
lola: 22506988 markings, 225443271 edges, 58432 markings/sec, 340 secs
lola: 22780730 markings, 228578878 edges, 54748 markings/sec, 345 secs
lola: 23057866 markings, 231785298 edges, 55427 markings/sec, 350 secs
lola: 23335187 markings, 235014943 edges, 55464 markings/sec, 355 secs
lola: 23597341 markings, 238178046 edges, 52431 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3819536 KB
lola: time consumption: 611 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 8 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) ... (shortened)
lola: processed formula length: 929
lola: 90 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 9 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(... (shortened)
lola: processed formula length: 913
lola: 90 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 53 markings, 53 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (NOT FIREABLE(t100))) AND (A (G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABLE(t65) AND NOT FIRE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t100)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t100)
lola: processed formula length: 18
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 493 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) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22)... (shortened)
lola: processed formula length: 887
lola: 92 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 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (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(t20) OR FIREABLE(t21) OR FIREABL... (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: (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: 1087
lola: 92 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 12 will run for 739 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(t100))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(t100))))
lola: processed formula length: 30
lola: 90 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: 2032941 markings, 3049389 edges, 406588 markings/sec, 0 secs
lola: 4024338 markings, 6036489 edges, 398279 markings/sec, 5 secs
lola: 6005560 markings, 9008320 edges, 396244 markings/sec, 10 secs
lola: 7956644 markings, 11934947 edges, 390217 markings/sec, 15 secs
lola: 9924088 markings, 14886114 edges, 393489 markings/sec, 20 secs
lola: 11873156 markings, 17809715 edges, 389814 markings/sec, 25 secs
lola: 13812423 markings, 20718615 edges, 387853 markings/sec, 30 secs
lola: 15722330 markings, 23583478 edges, 381981 markings/sec, 35 secs
lola: 17669530 markings, 26504275 edges, 389440 markings/sec, 40 secs
lola: 19620228 markings, 29430322 edges, 390140 markings/sec, 45 secs
lola: 21567973 markings, 32351940 edges, 389549 markings/sec, 50 secs
lola: 23490964 markings, 35236427 edges, 384598 markings/sec, 55 secs
lola: 25401346 markings, 38101999 edges, 382076 markings/sec, 60 secs
lola: 27320816 markings, 40981204 edges, 383894 markings/sec, 65 secs
lola: 29216002 markings, 43823985 edges, 379037 markings/sec, 70 secs
lola: 31127085 markings, 46690608 edges, 382217 markings/sec, 75 secs
lola: 33000311 markings, 49500448 edges, 374645 markings/sec, 80 secs
lola: 34956446 markings, 52434649 edges, 391227 markings/sec, 85 secs
lola: 36903090 markings, 55354614 edges, 389329 markings/sec, 90 secs
lola: 38847847 markings, 58271751 edges, 388951 markings/sec, 95 secs
lola: 40759474 markings, 61139191 edges, 382325 markings/sec, 100 secs
lola: 42678020 markings, 64017012 edges, 383709 markings/sec, 105 secs
lola: 44597136 markings, 66895686 edges, 383823 markings/sec, 110 secs
lola: 46503469 markings, 69755182 edges, 381267 markings/sec, 115 secs
lola: 48404976 markings, 72607443 edges, 380301 markings/sec, 120 secs
lola: 50281832 markings, 75422730 edges, 375371 markings/sec, 125 secs
lola: 52213615 markings, 78320403 edges, 386357 markings/sec, 130 secs
lola: 54114969 markings, 81172435 edges, 380271 markings/sec, 135 secs
lola: 56010667 markings, 84015981 edges, 379140 markings/sec, 140 secs
lola: 57881173 markings, 86821740 edges, 374101 markings/sec, 145 secs
lola: 59774687 markings, 89662010 edges, 378703 markings/sec, 150 secs
lola: 61678715 markings, 92518053 edges, 380806 markings/sec, 155 secs
lola: 63564719 markings, 95347059 edges, 377201 markings/sec, 160 secs
lola: 65437144 markings, 98155698 edges, 374485 markings/sec, 165 secs
lola: 67305116 markings, 100957655 edges, 373594 markings/sec, 170 secs
lola: 69265521 markings, 103898260 edges, 392081 markings/sec, 175 secs
lola: 71195850 markings, 106793755 edges, 386066 markings/sec, 180 secs
lola: 73120824 markings, 109681216 edges, 384995 markings/sec, 185 secs
lola: 75036311 markings, 112554448 edges, 383097 markings/sec, 190 secs
lola: 76954700 markings, 115432029 edges, 383678 markings/sec, 195 secs
lola: 78860629 markings, 118290923 edges, 381186 markings/sec, 200 secs
lola: 80755791 markings, 121133665 edges, 379032 markings/sec, 205 secs
lola: 82654517 markings, 123981756 edges, 379745 markings/sec, 210 secs
lola: 84560812 markings, 126841197 edges, 381259 markings/sec, 215 secs
lola: 86338082 markings, 129507103 edges, 355454 markings/sec, 220 secs
lola: 88244326 markings, 132366468 edges, 381249 markings/sec, 225 secs
lola: 90153558 markings, 135230318 edges, 381846 markings/sec, 230 secs
lola: 92053074 markings, 138079592 edges, 379903 markings/sec, 235 secs
lola: 93960503 markings, 140940735 edges, 381486 markings/sec, 240 secs
lola: 95842495 markings, 143763723 edges, 376398 markings/sec, 245 secs
lola: 97725998 markings, 146588978 edges, 376701 markings/sec, 250 secs
lola: 99586652 markings, 149379960 edges, 372131 markings/sec, 255 secs
lola: 101491127 markings, 152236669 edges, 380895 markings/sec, 260 secs
lola: 103414445 markings, 155121649 edges, 384664 markings/sec, 265 secs
lola: 105321890 markings, 157982816 edges, 381489 markings/sec, 270 secs
lola: 106417064 markings, 159625691 edges, 219035 markings/sec, 275 secs
lola: 106418665 markings, 159627978 edges, 320 markings/sec, 280 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71... (shortened)
lola: processed formula length: 909
lola: 90 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 54 markings, 54 edges
lola: ========================================
lola: subprocess 14 will run for 1335 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: 1122
lola: 90 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: 278776 markings, 3883222 edges, 55755 markings/sec, 0 secs
lola: 527347 markings, 7706969 edges, 49714 markings/sec, 5 secs
lola: 757169 markings, 11466020 edges, 45964 markings/sec, 10 secs
lola: 975839 markings, 15248861 edges, 43734 markings/sec, 15 secs
lola: 1201646 markings, 18984901 edges, 45161 markings/sec, 20 secs
lola: 1432840 markings, 22698852 edges, 46239 markings/sec, 25 secs
lola: 1649632 markings, 26419257 edges, 43358 markings/sec, 30 secs
lola: 1856098 markings, 30078178 edges, 41293 markings/sec, 35 secs
lola: 2077122 markings, 33799233 edges, 44205 markings/sec, 40 secs
lola: 2272762 markings, 37442697 edges, 39128 markings/sec, 45 secs
lola: 2485652 markings, 41175104 edges, 42578 markings/sec, 50 secs
lola: 2683698 markings, 44877825 edges, 39609 markings/sec, 55 secs
lola: 2874350 markings, 48560003 edges, 38130 markings/sec, 60 secs
lola: 3052708 markings, 52191234 edges, 35672 markings/sec, 65 secs
lola: 3227584 markings, 55777116 edges, 34975 markings/sec, 70 secs
lola: 3464951 markings, 59465662 edges, 47473 markings/sec, 75 secs
lola: 3685801 markings, 63141895 edges, 44170 markings/sec, 80 secs
lola: 3883186 markings, 66768707 edges, 39477 markings/sec, 85 secs
lola: 4108568 markings, 70446122 edges, 45076 markings/sec, 90 secs
lola: 4313162 markings, 74102251 edges, 40919 markings/sec, 95 secs
lola: 4518152 markings, 77746169 edges, 40998 markings/sec, 100 secs
lola: 4708579 markings, 81341596 edges, 38085 markings/sec, 105 secs
lola: 4904784 markings, 85038950 edges, 39241 markings/sec, 110 secs
lola: 5092107 markings, 88673499 edges, 37465 markings/sec, 115 secs
lola: 5258288 markings, 92204202 edges, 33236 markings/sec, 120 secs
lola: 5458520 markings, 95808581 edges, 40046 markings/sec, 125 secs
lola: 5673566 markings, 99492963 edges, 43009 markings/sec, 130 secs
lola: 5871622 markings, 103105104 edges, 39611 markings/sec, 135 secs
lola: 6071524 markings, 106747378 edges, 39980 markings/sec, 140 secs
lola: 6268864 markings, 110417088 edges, 39468 markings/sec, 145 secs
lola: 6451513 markings, 114037767 edges, 36530 markings/sec, 150 secs
lola: 6628329 markings, 117615986 edges, 35363 markings/sec, 155 secs
lola: 6805220 markings, 121178401 edges, 35378 markings/sec, 160 secs
lola: 7006099 markings, 124817411 edges, 40176 markings/sec, 165 secs
lola: 7202950 markings, 128473625 edges, 39370 markings/sec, 170 secs
lola: 7387083 markings, 132083849 edges, 36827 markings/sec, 175 secs
lola: 7563093 markings, 135675116 edges, 35202 markings/sec, 180 secs
lola: 7732426 markings, 139216891 edges, 33867 markings/sec, 185 secs
lola: 7924784 markings, 142870510 edges, 38472 markings/sec, 190 secs
lola: 8106760 markings, 146472938 edges, 36395 markings/sec, 195 secs
lola: 8269873 markings, 149980251 edges, 32623 markings/sec, 200 secs
lola: 8448235 markings, 153618143 edges, 35672 markings/sec, 205 secs
lola: 8627199 markings, 157253737 edges, 35793 markings/sec, 210 secs
lola: 8794655 markings, 160871810 edges, 33491 markings/sec, 215 secs
lola: 8962708 markings, 164458216 edges, 33611 markings/sec, 220 secs
lola: 9126084 markings, 168041318 edges, 32675 markings/sec, 225 secs
lola: 9282948 markings, 171603014 edges, 31373 markings/sec, 230 secs
lola: 9430081 markings, 175075926 edges, 29427 markings/sec, 235 secs
lola: 9563032 markings, 178492011 edges, 26590 markings/sec, 240 secs
lola: 9796543 markings, 182097806 edges, 46702 markings/sec, 245 secs
lola: 10023367 markings, 185733409 edges, 45365 markings/sec, 250 secs
lola: 10223368 markings, 189323382 edges, 40000 markings/sec, 255 secs
lola: 10429069 markings, 192861327 edges, 41140 markings/sec, 260 secs
lola: 10640837 markings, 196474331 edges, 42354 markings/sec, 265 secs
lola: 10835378 markings, 200020069 edges, 38908 markings/sec, 270 secs
lola: 11030008 markings, 203568630 edges, 38926 markings/sec, 275 secs
lola: 11223964 markings, 207167823 edges, 38791 markings/sec, 280 secs
lola: 11405977 markings, 210746718 edges, 36403 markings/sec, 285 secs
lola: 11578603 markings, 214264069 edges, 34525 markings/sec, 290 secs
lola: 11751221 markings, 217729267 edges, 34524 markings/sec, 295 secs
lola: 11967169 markings, 221333352 edges, 43190 markings/sec, 300 secs
lola: 12155618 markings, 224852766 edges, 37690 markings/sec, 305 secs
lola: 12366539 markings, 228484844 edges, 42184 markings/sec, 310 secs
lola: 12555322 markings, 232037228 edges, 37757 markings/sec, 315 secs
lola: 12744829 markings, 235641276 edges, 37901 markings/sec, 320 secs
lola: 12920924 markings, 239180104 edges, 35219 markings/sec, 325 secs
lola: 13081932 markings, 242636334 edges, 32202 markings/sec, 330 secs
lola: 13280694 markings, 246215959 edges, 39752 markings/sec, 335 secs
lola: 13470471 markings, 249756480 edges, 37955 markings/sec, 340 secs
lola: 13660492 markings, 253367219 edges, 38004 markings/sec, 345 secs
lola: 13841037 markings, 256908413 edges, 36109 markings/sec, 350 secs
lola: 14002948 markings, 260358206 edges, 32382 markings/sec, 355 secs
lola: 14185560 markings, 263910885 edges, 36522 markings/sec, 360 secs
lola: 14370171 markings, 267486257 edges, 36922 markings/sec, 365 secs
lola: 14543246 markings, 271003626 edges, 34615 markings/sec, 370 secs
lola: 14698301 markings, 274433379 edges, 31011 markings/sec, 375 secs
lola: 14884811 markings, 278059889 edges, 37302 markings/sec, 380 secs
lola: 15050906 markings, 281596519 edges, 33219 markings/sec, 385 secs
lola: 15218834 markings, 285160563 edges, 33586 markings/sec, 390 secs
lola: 15377348 markings, 288665328 edges, 31703 markings/sec, 395 secs
lola: 15540101 markings, 292187899 edges, 32551 markings/sec, 400 secs
lola: 15689984 markings, 295634841 edges, 29977 markings/sec, 405 secs
lola: 15832611 markings, 299029553 edges, 28525 markings/sec, 410 secs
lola: 15983191 markings, 302461016 edges, 30116 markings/sec, 415 secs
lola: 16201019 markings, 306073691 edges, 43566 markings/sec, 420 secs
lola: 16395853 markings, 309644344 edges, 38967 markings/sec, 425 secs
lola: 16602976 markings, 313258111 edges, 41425 markings/sec, 430 secs
lola: 16792325 markings, 316807352 edges, 37870 markings/sec, 435 secs
lola: 16980896 markings, 320391650 edges, 37714 markings/sec, 440 secs
lola: 17160730 markings, 323951184 edges, 35967 markings/sec, 445 secs
lola: 17322596 markings, 327426526 edges, 32373 markings/sec, 450 secs
lola: 17518643 markings, 330994886 edges, 39209 markings/sec, 455 secs
lola: 17706151 markings, 334521905 edges, 37502 markings/sec, 460 secs
lola: 17898006 markings, 338157533 edges, 38371 markings/sec, 465 secs
lola: 18082241 markings, 341736861 edges, 36847 markings/sec, 470 secs
lola: 18245506 markings, 345190045 edges, 32653 markings/sec, 475 secs
lola: 18425620 markings, 348746116 edges, 36023 markings/sec, 480 secs
lola: 18612212 markings, 352337164 edges, 37318 markings/sec, 485 secs
lola: 18788482 markings, 355908486 edges, 35254 markings/sec, 490 secs
lola: 18941841 markings, 359333729 edges, 30672 markings/sec, 495 secs
lola: 19129933 markings, 362972125 edges, 37618 markings/sec, 500 secs
lola: 19297763 markings, 366528125 edges, 33566 markings/sec, 505 secs
lola: 19465913 markings, 370104497 edges, 33630 markings/sec, 510 secs
lola: 19624602 markings, 373592984 edges, 31738 markings/sec, 515 secs
lola: 19787488 markings, 377135482 edges, 32577 markings/sec, 520 secs
lola: 19938793 markings, 380601543 edges, 30261 markings/sec, 525 secs
lola: 20082870 markings, 384025631 edges, 28815 markings/sec, 530 secs
lola: 20227813 markings, 387443034 edges, 28989 markings/sec, 535 secs
lola: 20434700 markings, 391069883 edges, 41377 markings/sec, 540 secs
lola: 20625532 markings, 394646696 edges, 38166 markings/sec, 545 secs
lola: 20812506 markings, 398233579 edges, 37395 markings/sec, 550 secs
lola: 20986384 markings, 401756100 edges, 34776 markings/sec, 555 secs
lola: 21139471 markings, 405209848 edges, 30617 markings/sec, 560 secs
lola: 21336643 markings, 408830200 edges, 39434 markings/sec, 565 secs
lola: 21520879 markings, 412424673 edges, 36847 markings/sec, 570 secs
lola: 21689277 markings, 415928900 edges, 33680 markings/sec, 575 secs
lola: 21860149 markings, 419467977 edges, 34174 markings/sec, 580 secs
lola: 22039002 markings, 423092297 edges, 35771 markings/sec, 585 secs
lola: 22195938 markings, 426597457 edges, 31387 markings/sec, 590 secs
lola: 22370946 markings, 430168659 edges, 35002 markings/sec, 595 secs
lola: 22528605 markings, 433668896 edges, 31532 markings/sec, 600 secs
lola: 22685546 markings, 437174152 edges, 31388 markings/sec, 605 secs
lola: 22835773 markings, 440621285 edges, 30045 markings/sec, 610 secs
lola: 22971791 markings, 443953699 edges, 27204 markings/sec, 615 secs
lola: 23141417 markings, 447483011 edges, 33925 markings/sec, 620 secs
lola: 23328804 markings, 451084110 edges, 37477 markings/sec, 625 secs
lola: 23502688 markings, 454602319 edges, 34777 markings/sec, 630 secs
lola: 23656249 markings, 458037240 edges, 30712 markings/sec, 635 secs
lola: 23844471 markings, 461676679 edges, 37644 markings/sec, 640 secs
lola: 24013143 markings, 465224808 edges, 33734 markings/sec, 645 secs
lola: 24177635 markings, 468762357 edges, 32898 markings/sec, 650 secs
lola: 24339135 markings, 472259494 edges, 32300 markings/sec, 655 secs
lola: 24500801 markings, 475781708 edges, 32333 markings/sec, 660 secs
lola: 24651758 markings, 479225410 edges, 30191 markings/sec, 665 secs
lola: 24795713 markings, 482624749 edges, 28791 markings/sec, 670 secs
lola: 24929198 markings, 486003607 edges, 26697 markings/sec, 675 secs
lola: 25116799 markings, 489642623 edges, 37520 markings/sec, 680 secs
lola: 25283176 markings, 493185983 edges, 33275 markings/sec, 685 secs
lola: 25451345 markings, 496751317 edges, 33634 markings/sec, 690 secs
lola: 25610239 markings, 500256820 edges, 31779 markings/sec, 695 secs
lola: 25772536 markings, 503778856 edges, 32459 markings/sec, 700 secs
lola: 25923127 markings, 507226764 edges, 30118 markings/sec, 705 secs
lola: 26066088 markings, 510621469 edges, 28592 markings/sec, 710 secs
lola: 26204396 markings, 514022176 edges, 27662 markings/sec, 715 secs
lola: 26378476 markings, 517650298 edges, 34816 markings/sec, 720 secs
lola: 26542050 markings, 521239883 edges, 32715 markings/sec, 725 secs
lola: 26700080 markings, 524795421 edges, 31606 markings/sec, 730 secs
lola: 26848707 markings, 528276002 edges, 29725 markings/sec, 735 secs
lola: 26986423 markings, 531689956 edges, 27543 markings/sec, 740 secs
lola: 27146322 markings, 535280844 edges, 31980 markings/sec, 745 secs
lola: 27301821 markings, 538814261 edges, 31100 markings/sec, 750 secs
lola: 27448814 markings, 542287868 edges, 29399 markings/sec, 755 secs
lola: 27580315 markings, 545692120 edges, 26300 markings/sec, 760 secs
lola: 27737789 markings, 549241289 edges, 31495 markings/sec, 765 secs
lola: 27879147 markings, 552674920 edges, 28272 markings/sec, 770 secs
lola: 28017940 markings, 556122526 edges, 27759 markings/sec, 775 secs
lola: 28156123 markings, 559518850 edges, 27637 markings/sec, 780 secs
lola: 28290625 markings, 562930151 edges, 26900 markings/sec, 785 secs
lola: 28420231 markings, 566275065 edges, 25921 markings/sec, 790 secs
lola: 28544169 markings, 569586849 edges, 24788 markings/sec, 795 secs
lola: 28662825 markings, 572891333 edges, 23731 markings/sec, 800 secs
lola: 28866523 markings, 576464088 edges, 40740 markings/sec, 805 secs
lola: 29084315 markings, 580011530 edges, 43558 markings/sec, 810 secs
lola: 29294421 markings, 583600681 edges, 42021 markings/sec, 815 secs
lola: 29492821 markings, 587118344 edges, 39680 markings/sec, 820 secs
lola: 29705910 markings, 590700498 edges, 42618 markings/sec, 825 secs
lola: 29889947 markings, 594178162 edges, 36807 markings/sec, 830 secs
lola: 30097141 markings, 597752280 edges, 41439 markings/sec, 835 secs
lola: 30286400 markings, 601284043 edges, 37852 markings/sec, 840 secs
lola: 30471560 markings, 604828784 edges, 37032 markings/sec, 845 secs
lola: 30645594 markings, 608340858 edges, 34807 markings/sec, 850 secs
lola: 30802877 markings, 611753501 edges, 31457 markings/sec, 855 secs
lola: 31015043 markings, 615328264 edges, 42433 markings/sec, 860 secs
lola: 31217789 markings, 618877389 edges, 40549 markings/sec, 865 secs
lola: 31410942 markings, 622378219 edges, 38631 markings/sec, 870 secs
lola: 31598254 markings, 625855370 edges, 37462 markings/sec, 875 secs
lola: 31791358 markings, 629418553 edges, 38621 markings/sec, 880 secs
lola: 31970587 markings, 632944021 edges, 35846 markings/sec, 885 secs
lola: 32140072 markings, 636409152 edges, 33897 markings/sec, 890 secs
lola: 32311081 markings, 639851587 edges, 34202 markings/sec, 895 secs
lola: 32505627 markings, 643355711 edges, 38909 markings/sec, 900 secs
lola: 32695630 markings, 646888537 edges, 38001 markings/sec, 905 secs
lola: 32876672 markings, 650404802 edges, 36208 markings/sec, 910 secs
lola: 33047634 markings, 653880410 edges, 34192 markings/sec, 915 secs
lola: 33202533 markings, 657276167 edges, 30980 markings/sec, 920 secs
lola: 33391117 markings, 660823357 edges, 37717 markings/sec, 925 secs
lola: 33574905 markings, 664373873 edges, 36758 markings/sec, 930 secs
lola: 33738621 markings, 667800876 edges, 32743 markings/sec, 935 secs
lola: 33905318 markings, 671258483 edges, 33339 markings/sec, 940 secs
lola: 34081056 markings, 674814097 edges, 35148 markings/sec, 945 secs
lola: 34234119 markings, 678254740 edges, 30613 markings/sec, 950 secs
lola: 34408755 markings, 681802128 edges, 34927 markings/sec, 955 secs
lola: 34564757 markings, 685254943 edges, 31200 markings/sec, 960 secs
lola: 34718198 markings, 688695949 edges, 30688 markings/sec, 965 secs
lola: 34867863 markings, 692101618 edges, 29933 markings/sec, 970 secs
lola: 35003069 markings, 695397420 edges, 27041 markings/sec, 975 secs
lola: 35175856 markings, 698836560 edges, 34557 markings/sec, 980 secs
lola: 35386739 markings, 702412689 edges, 42177 markings/sec, 985 secs
lola: 35574371 markings, 705912454 edges, 37526 markings/sec, 990 secs
lola: 35778257 markings, 709477911 edges, 40777 markings/sec, 995 secs
lola: 35968505 markings, 713024886 edges, 38050 markings/sec, 1000 secs
lola: 36153284 markings, 716583312 edges, 36956 markings/sec, 1005 secs
lola: 36326287 markings, 720080955 edges, 34601 markings/sec, 1010 secs
lola: 36480764 markings, 723469576 edges, 30895 markings/sec, 1015 secs
lola: 36684612 markings, 727039103 edges, 40770 markings/sec, 1020 secs
lola: 36870846 markings, 730536150 edges, 37247 markings/sec, 1025 secs
lola: 37057443 markings, 734081702 edges, 37319 markings/sec, 1030 secs
lola: 37235110 markings, 737593856 edges, 35533 markings/sec, 1035 secs
lola: 37394834 markings, 741008497 edges, 31945 markings/sec, 1040 secs
lola: 37578493 markings, 744555549 edges, 36732 markings/sec, 1045 secs
lola: 37760393 markings, 748094282 edges, 36380 markings/sec, 1050 secs
lola: 37932838 markings, 751601298 edges, 34489 markings/sec, 1055 secs
lola: 38088359 markings, 755010507 edges, 31104 markings/sec, 1060 secs
lola: 38271995 markings, 758604124 edges, 36727 markings/sec, 1065 secs
lola: 38435993 markings, 762095901 edges, 32800 markings/sec, 1070 secs
lola: 38601746 markings, 765615140 edges, 33151 markings/sec, 1075 secs
lola: 38759091 markings, 769087401 edges, 31469 markings/sec, 1080 secs
lola: 38920389 markings, 772585933 edges, 32260 markings/sec, 1085 secs
lola: 39069346 markings, 775993668 edges, 29791 markings/sec, 1090 secs
lola: 39211196 markings, 779348283 edges, 28370 markings/sec, 1095 secs
lola: 39349610 markings, 782698673 edges, 27683 markings/sec, 1100 secs
lola: 39553880 markings, 786264333 edges, 40854 markings/sec, 1105 secs
lola: 39743185 markings, 789790419 edges, 37861 markings/sec, 1110 secs
lola: 39927612 markings, 793338400 edges, 36885 markings/sec, 1115 secs
lola: 40101076 markings, 796834058 edges, 34693 markings/sec, 1120 secs
lola: 40255034 markings, 800211635 edges, 30792 markings/sec, 1125 secs
lola: 40446287 markings, 803790133 edges, 38251 markings/sec, 1130 secs
lola: 40623683 markings, 807299423 edges, 35479 markings/sec, 1135 secs
lola: 40795269 markings, 810780161 edges, 34317 markings/sec, 1140 secs
lola: 40957622 markings, 814239986 edges, 32471 markings/sec, 1145 secs
lola: 41135151 markings, 817817771 edges, 35506 markings/sec, 1150 secs
lola: 41297140 markings, 821301128 edges, 32398 markings/sec, 1155 secs
lola: 41467246 markings, 824837474 edges, 34021 markings/sec, 1160 secs
lola: 41621908 markings, 828289218 edges, 30932 markings/sec, 1165 secs
lola: 41779317 markings, 831755431 edges, 31482 markings/sec, 1170 secs
lola: 41930085 markings, 835186054 edges, 30154 markings/sec, 1175 secs
lola: 42070554 markings, 838547864 edges, 28094 markings/sec, 1180 secs
lola: 42220868 markings, 841953775 edges, 30063 markings/sec, 1185 secs
lola: 42408173 markings, 845514668 edges, 37461 markings/sec, 1190 secs
lola: 42586133 markings, 849030794 edges, 35592 markings/sec, 1195 secs
lola: 42746401 markings, 852453340 edges, 32054 markings/sec, 1200 secs
lola: 42918531 markings, 855968663 edges, 34426 markings/sec, 1205 secs
lola: 43092041 markings, 859513400 edges, 34702 markings/sec, 1210 secs
lola: 43252052 markings, 862989961 edges, 32002 markings/sec, 1215 secs
lola: 43418458 markings, 866482809 edges, 33281 markings/sec, 1220 secs
lola: 43575327 markings, 869935576 edges, 31374 markings/sec, 1225 secs
lola: 43727070 markings, 873356494 edges, 30349 markings/sec, 1230 secs
lola: 43872441 markings, 876726799 edges, 29074 markings/sec, 1235 secs
lola: 44005621 markings, 880012740 edges, 26636 markings/sec, 1240 secs
lola: 44171621 markings, 883539131 edges, 33200 markings/sec, 1245 secs
lola: 44344823 markings, 887085339 edges, 34640 markings/sec, 1250 secs
lola: 44503751 markings, 890558745 edges, 31786 markings/sec, 1255 secs
lola: 44672172 markings, 894069663 edges, 33684 markings/sec, 1260 secs
lola: 44829006 markings, 897524346 edges, 31367 markings/sec, 1265 secs
lola: 44980888 markings, 900948683 edges, 30376 markings/sec, 1270 secs
lola: 45127364 markings, 904329636 edges, 29295 markings/sec, 1275 secs
lola: 45260751 markings, 907621078 edges, 26677 markings/sec, 1280 secs
lola: 45419728 markings, 911143905 edges, 31795 markings/sec, 1285 secs
lola: 45579406 markings, 914648241 edges, 31936 markings/sec, 1290 secs
lola: 45742722 markings, 918202743 edges, 32663 markings/sec, 1295 secs
lola: 45894793 markings, 921687301 edges, 30414 markings/sec, 1300 secs
lola: 46038853 markings, 925116265 edges, 28812 markings/sec, 1305 secs
lola: 46177245 markings, 928533769 edges, 27678 markings/sec, 1310 secs
lola: 46334701 markings, 932056319 edges, 31491 markings/sec, 1315 secs
lola: 46488901 markings, 935551125 edges, 30840 markings/sec, 1320 secs
lola: 46630910 markings, 938952999 edges, 28402 markings/sec, 1325 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no no no no unknown unknown unknown no no yes unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown yes no no no no no unknown unknown unknown no no yes unknown yes
lola: memory consumption: 7147080 KB
lola: time consumption: 2236 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 15 will run for 1334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) ... (shortened)
lola: processed formula length: 2745
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 4 markings, 3 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((G (F (FIREABLE(t100))) OR X (F ((FIREABLE(t100) OR G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F (FIREABLE(t100))) OR X (F ((FIREABLE(t100) OR G ((NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABL... (shortened)
lola: processed formula length: 1161
lola: 90 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: 284192 markings, 3982677 edges, 56838 markings/sec, 0 secs
lola: 535897 markings, 7840366 edges, 50341 markings/sec, 5 secs
lola: 769782 markings, 11654604 edges, 46777 markings/sec, 10 secs
lola: 989979 markings, 15505627 edges, 44039 markings/sec, 15 secs
lola: 1221618 markings, 19288075 edges, 46328 markings/sec, 20 secs
lola: 1451261 markings, 23041191 edges, 45929 markings/sec, 25 secs
lola: 1672438 markings, 26836412 edges, 44235 markings/sec, 30 secs
lola: 1886314 markings, 30566541 edges, 42775 markings/sec, 35 secs
lola: 2105663 markings, 34336279 edges, 43870 markings/sec, 40 secs
lola: 2311448 markings, 38071644 edges, 41157 markings/sec, 45 secs
lola: 2517862 markings, 41811325 edges, 41283 markings/sec, 50 secs
lola: 2720090 markings, 45567984 edges, 40446 markings/sec, 55 secs
lola: 2908486 markings, 49305066 edges, 37679 markings/sec, 60 secs
lola: 3091171 markings, 53008801 edges, 36537 markings/sec, 65 secs
lola: 3287876 markings, 56658062 edges, 39341 markings/sec, 70 secs
lola: 3526336 markings, 60424870 edges, 47692 markings/sec, 75 secs
lola: 3746174 markings, 64164052 edges, 43968 markings/sec, 80 secs
lola: 3947055 markings, 67816336 edges, 40176 markings/sec, 85 secs
lola: 4172470 markings, 71559613 edges, 45083 markings/sec, 90 secs
lola: 4366181 markings, 75195979 edges, 38742 markings/sec, 95 secs
lola: 4584190 markings, 78941210 edges, 43602 markings/sec, 100 secs
lola: 4781275 markings, 82624322 edges, 39417 markings/sec, 105 secs
lola: 4975811 markings, 86357980 edges, 38907 markings/sec, 110 secs
lola: 5157880 markings, 90029349 edges, 36414 markings/sec, 115 secs
lola: 5316010 markings, 93573845 edges, 31626 markings/sec, 120 secs
lola: 5552021 markings, 97349124 edges, 47202 markings/sec, 125 secs
lola: 5754533 markings, 101036319 edges, 40502 markings/sec, 130 secs
lola: 5963871 markings, 104740315 edges, 41868 markings/sec, 135 secs
lola: 6161358 markings, 108414714 edges, 39497 markings/sec, 140 secs
lola: 6355961 markings, 112119110 edges, 38921 markings/sec, 145 secs
lola: 6539984 markings, 115779275 edges, 36805 markings/sec, 150 secs
lola: 6704463 markings, 119321154 edges, 32896 markings/sec, 155 secs
lola: 6907523 markings, 122991639 edges, 40612 markings/sec, 160 secs
lola: 7091436 markings, 126415644 edges, 36783 markings/sec, 165 secs
lola: 7272726 markings, 129873853 edges, 36258 markings/sec, 170 secs
lola: 7461036 markings, 133541083 edges, 37662 markings/sec, 175 secs
lola: 7627391 markings, 137089780 edges, 33271 markings/sec, 180 secs
lola: 7815958 markings, 140745892 edges, 37713 markings/sec, 185 secs
lola: 8004275 markings, 144409440 edges, 37663 markings/sec, 190 secs
lola: 8180610 markings, 148024741 edges, 35267 markings/sec, 195 secs
lola: 8349598 markings, 151645018 edges, 33798 markings/sec, 200 secs
lola: 8537023 markings, 155384099 edges, 37485 markings/sec, 205 secs
lola: 8705560 markings, 159024202 edges, 33707 markings/sec, 210 secs
lola: 8883633 markings, 162745546 edges, 35615 markings/sec, 215 secs
lola: 9049337 markings, 166385557 edges, 33141 markings/sec, 220 secs
lola: 9211319 markings, 170006628 edges, 32396 markings/sec, 225 secs
lola: 9367394 markings, 173576087 edges, 31215 markings/sec, 230 secs
lola: 9509764 markings, 177048716 edges, 28474 markings/sec, 235 secs
lola: 9714781 markings, 180715679 edges, 41003 markings/sec, 240 secs
lola: 9940446 markings, 184363911 edges, 45133 markings/sec, 245 secs
lola: 10154120 markings, 188026345 edges, 42735 markings/sec, 250 secs
lola: 10357022 markings, 191623150 edges, 40580 markings/sec, 255 secs
lola: 10574494 markings, 195283610 edges, 43494 markings/sec, 260 secs
lola: 10765148 markings, 198855904 edges, 38131 markings/sec, 265 secs
lola: 10975283 markings, 202512865 edges, 42027 markings/sec, 270 secs
lola: 11170002 markings, 206144697 edges, 38944 markings/sec, 275 secs
lola: 11360594 markings, 209808816 edges, 38118 markings/sec, 280 secs
lola: 11537264 markings, 213381981 edges, 35334 markings/sec, 285 secs
lola: 11690746 markings, 216834842 edges, 30696 markings/sec, 290 secs
lola: 11920383 markings, 220504874 edges, 45927 markings/sec, 295 secs
lola: 12121398 markings, 224141380 edges, 40203 markings/sec, 300 secs
lola: 12328083 markings, 227794607 edges, 41337 markings/sec, 305 secs
lola: 12519610 markings, 231385602 edges, 38305 markings/sec, 310 secs
lola: 12711441 markings, 235019146 edges, 38366 markings/sec, 315 secs
lola: 12895858 markings, 238633653 edges, 36883 markings/sec, 320 secs
lola: 13060404 markings, 242141150 edges, 32909 markings/sec, 325 secs
lola: 13255043 markings, 245743348 edges, 38928 markings/sec, 330 secs
lola: 13444459 markings, 249315775 edges, 37883 markings/sec, 335 secs
lola: 13636683 markings, 252957518 edges, 38445 markings/sec, 340 secs
lola: 13824503 markings, 256575240 edges, 37564 markings/sec, 345 secs
lola: 13991205 markings, 260088636 edges, 33340 markings/sec, 350 secs
lola: 14172206 markings, 263675525 edges, 36200 markings/sec, 355 secs
lola: 14360820 markings, 267301399 edges, 37723 markings/sec, 360 secs
lola: 14537258 markings, 270875262 edges, 35288 markings/sec, 365 secs
lola: 14693470 markings, 274347555 edges, 31242 markings/sec, 370 secs
lola: 14883924 markings, 278041231 edges, 38091 markings/sec, 375 secs
lola: 15052191 markings, 281624204 edges, 33653 markings/sec, 380 secs
lola: 15222794 markings, 285235708 edges, 34121 markings/sec, 385 secs
lola: 15380983 markings, 288765931 edges, 31638 markings/sec, 390 secs
lola: 15545708 markings, 292330756 edges, 32945 markings/sec, 395 secs
lola: 15697744 markings, 295832322 edges, 30407 markings/sec, 400 secs
lola: 15843254 markings, 299269122 edges, 29102 markings/sec, 405 secs
lola: 16000946 markings, 302742709 edges, 31538 markings/sec, 410 secs
lola: 16222285 markings, 306429100 edges, 44268 markings/sec, 415 secs
lola: 16413416 markings, 310034327 edges, 38226 markings/sec, 420 secs
lola: 16630979 markings, 313765802 edges, 43513 markings/sec, 425 secs
lola: 16827704 markings, 317438314 edges, 39345 markings/sec, 430 secs
lola: 17019328 markings, 321123208 edges, 38325 markings/sec, 435 secs
lola: 17200680 markings, 324772912 edges, 36270 markings/sec, 440 secs
lola: 17357427 markings, 328270651 edges, 31349 markings/sec, 445 secs
lola: 17572320 markings, 331965909 edges, 42979 markings/sec, 450 secs
lola: 17766415 markings, 335596110 edges, 38819 markings/sec, 455 secs
lola: 17957490 markings, 339253283 edges, 38215 markings/sec, 460 secs
lola: 18136305 markings, 342857479 edges, 35763 markings/sec, 465 secs
lola: 18294737 markings, 346339340 edges, 31686 markings/sec, 470 secs
lola: 18492123 markings, 350032467 edges, 39477 markings/sec, 475 secs
lola: 18678802 markings, 353680302 edges, 37336 markings/sec, 480 secs
lola: 18850535 markings, 357249186 edges, 34347 markings/sec, 485 secs
lola: 19024361 markings, 360862617 edges, 34765 markings/sec, 490 secs
lola: 19207028 markings, 364559825 edges, 36533 markings/sec, 495 secs
lola: 19369965 markings, 368167818 edges, 32587 markings/sec, 500 secs
lola: 19547817 markings, 371838283 edges, 35570 markings/sec, 505 secs
lola: 19710890 markings, 375442409 edges, 32615 markings/sec, 510 secs
lola: 19870508 markings, 379020185 edges, 31924 markings/sec, 515 secs
lola: 20021257 markings, 382525261 edges, 30150 markings/sec, 520 secs
lola: 20159300 markings, 385941664 edges, 27609 markings/sec, 525 secs
lola: 20355847 markings, 389630772 edges, 39309 markings/sec, 530 secs
lola: 20550965 markings, 393284063 edges, 39024 markings/sec, 535 secs
lola: 20746221 markings, 396983640 edges, 39051 markings/sec, 540 secs
lola: 20932512 markings, 400641968 edges, 37258 markings/sec, 545 secs
lola: 21098266 markings, 404187918 edges, 33151 markings/sec, 550 secs
lola: 21288344 markings, 407863454 edges, 38016 markings/sec, 555 secs
lola: 21476288 markings, 411528753 edges, 37589 markings/sec, 560 secs
lola: 21653641 markings, 415153981 edges, 35471 markings/sec, 565 secs
lola: 21821445 markings, 418737425 edges, 33561 markings/sec, 570 secs
lola: 22006706 markings, 422451969 edges, 37052 markings/sec, 575 secs
lola: 22172713 markings, 426056644 edges, 33201 markings/sec, 580 secs
lola: 22350723 markings, 429750566 edges, 35602 markings/sec, 585 secs
lola: 22514528 markings, 433358175 edges, 32761 markings/sec, 590 secs
lola: 22674781 markings, 436943984 edges, 32051 markings/sec, 595 secs
lola: 22829535 markings, 440479998 edges, 30951 markings/sec, 600 secs
lola: 22970442 markings, 443913438 edges, 28181 markings/sec, 605 secs
lola: 23144321 markings, 447542709 edges, 34776 markings/sec, 610 secs
lola: 23335543 markings, 451218892 edges, 38244 markings/sec, 615 secs
lola: 23513919 markings, 454832971 edges, 35675 markings/sec, 620 secs
lola: 23673353 markings, 458357751 edges, 31887 markings/sec, 625 secs
lola: 23864578 markings, 462087662 edges, 38245 markings/sec, 630 secs
lola: 24034756 markings, 465713427 edges, 34036 markings/sec, 635 secs
lola: 24208004 markings, 469368621 edges, 34650 markings/sec, 640 secs
lola: 24368394 markings, 472946373 edges, 32078 markings/sec, 645 secs
lola: 24532919 markings, 476538125 edges, 32905 markings/sec, 650 secs
lola: 24688253 markings, 480085163 edges, 31067 markings/sec, 655 secs
lola: 24832919 markings, 483541757 edges, 28933 markings/sec, 660 secs
lola: 24988956 markings, 487099279 edges, 31207 markings/sec, 665 secs
lola: 25172183 markings, 490798013 edges, 36645 markings/sec, 670 secs
lola: 25334278 markings, 494387202 edges, 32419 markings/sec, 675 secs
lola: 25514762 markings, 498078921 edges, 36097 markings/sec, 680 secs
lola: 25676552 markings, 501666130 edges, 32358 markings/sec, 685 secs
lola: 25837158 markings, 505250807 edges, 32121 markings/sec, 690 secs
lola: 25989467 markings, 508757285 edges, 30462 markings/sec, 695 secs
lola: 26127891 markings, 512164202 edges, 27685 markings/sec, 700 secs
lola: 26292033 markings, 515809144 edges, 32828 markings/sec, 705 secs
lola: 26455647 markings, 519439923 edges, 32723 markings/sec, 710 secs
lola: 26624200 markings, 523090981 edges, 33711 markings/sec, 715 secs
lola: 26781312 markings, 526694649 edges, 31422 markings/sec, 720 secs
lola: 26929382 markings, 530221267 edges, 29614 markings/sec, 725 secs
lola: 27077218 markings, 533788240 edges, 29567 markings/sec, 730 secs
lola: 27240079 markings, 537422653 edges, 32572 markings/sec, 735 secs
lola: 27394771 markings, 540994063 edges, 30938 markings/sec, 740 secs
lola: 27535799 markings, 544467411 edges, 28206 markings/sec, 745 secs
lola: 27686480 markings, 548053754 edges, 30136 markings/sec, 750 secs
lola: 27836220 markings, 551599825 edges, 29948 markings/sec, 755 secs
lola: 27973307 markings, 555073996 edges, 27417 markings/sec, 760 secs
lola: 28119739 markings, 558588153 edges, 29286 markings/sec, 765 secs
lola: 28254262 markings, 562036063 edges, 26905 markings/sec, 770 secs
lola: 28387711 markings, 565457193 edges, 26690 markings/sec, 775 secs
lola: 28516532 markings, 568839723 edges, 25764 markings/sec, 780 secs
lola: 28636591 markings, 572148865 edges, 24012 markings/sec, 785 secs
lola: 28819142 markings, 575721312 edges, 36510 markings/sec, 790 secs
lola: 29046422 markings, 579346988 edges, 45456 markings/sec, 795 secs
lola: 29259408 markings, 582977374 edges, 42597 markings/sec, 800 secs
lola: 29454674 markings, 586525039 edges, 39053 markings/sec, 805 secs
lola: 29672166 markings, 590149508 edges, 43498 markings/sec, 810 secs
lola: 29865495 markings, 593711727 edges, 38666 markings/sec, 815 secs
lola: 30074891 markings, 597337385 edges, 41879 markings/sec, 820 secs
lola: 30263597 markings, 600904158 edges, 37741 markings/sec, 825 secs
lola: 30454980 markings, 604527972 edges, 38277 markings/sec, 830 secs
lola: 30633424 markings, 608091954 edges, 35689 markings/sec, 835 secs
lola: 30794931 markings, 611564167 edges, 32301 markings/sec, 840 secs
lola: 31005186 markings, 615160812 edges, 42051 markings/sec, 845 secs
lola: 31212615 markings, 618786150 edges, 41486 markings/sec, 850 secs
lola: 31409520 markings, 622357548 edges, 39381 markings/sec, 855 secs
lola: 31600732 markings, 625908402 edges, 38242 markings/sec, 860 secs
lola: 31797286 markings, 629541501 edges, 39311 markings/sec, 865 secs
lola: 31980537 markings, 633125004 edges, 36650 markings/sec, 870 secs
lola: 32150568 markings, 636635505 edges, 34006 markings/sec, 875 secs
lola: 32327832 markings, 640147155 edges, 35453 markings/sec, 880 secs
lola: 32523454 markings, 643710558 edges, 39124 markings/sec, 885 secs
lola: 32717752 markings, 647317361 edges, 38860 markings/sec, 890 secs
lola: 32898921 markings, 650877883 edges, 36234 markings/sec, 895 secs
lola: 33072254 markings, 654410536 edges, 34667 markings/sec, 900 secs
lola: 33238152 markings, 657886832 edges, 33180 markings/sec, 905 secs
lola: 33427765 markings, 661488306 edges, 37923 markings/sec, 910 secs
lola: 33608911 markings, 665056598 edges, 36229 markings/sec, 915 secs
lola: 33770891 markings, 668520179 edges, 32396 markings/sec, 920 secs
lola: 33945798 markings, 672091105 edges, 34981 markings/sec, 925 secs
lola: 34122527 markings, 675698852 edges, 35346 markings/sec, 930 secs
lola: 34285745 markings, 679241060 edges, 32644 markings/sec, 935 secs
lola: 34454508 markings, 682799377 edges, 33753 markings/sec, 940 secs
lola: 34614667 markings, 686326620 edges, 32032 markings/sec, 945 secs
lola: 34769398 markings, 689820012 edges, 30946 markings/sec, 950 secs
lola: 34914633 markings, 693240092 edges, 29047 markings/sec, 955 secs
lola: 35049391 markings, 696576044 edges, 26952 markings/sec, 960 secs
lola: 35256385 markings, 700193755 edges, 41399 markings/sec, 965 secs
lola: 35465753 markings, 703853662 edges, 41874 markings/sec, 970 secs
lola: 35665414 markings, 707464891 edges, 39932 markings/sec, 975 secs
lola: 35856727 markings, 711044405 edges, 38263 markings/sec, 980 secs
lola: 36055447 markings, 714721009 edges, 39744 markings/sec, 985 secs
lola: 36241361 markings, 718347470 edges, 37183 markings/sec, 990 secs
lola: 36411349 markings, 721890098 edges, 33998 markings/sec, 995 secs
lola: 36592584 markings, 725435672 edges, 36247 markings/sec, 1000 secs
lola: 36787919 markings, 729018404 edges, 39067 markings/sec, 1005 secs
lola: 36984796 markings, 732665674 edges, 39375 markings/sec, 1010 secs
lola: 37167721 markings, 736268273 edges, 36585 markings/sec, 1015 secs
lola: 37341344 markings, 739821434 edges, 34725 markings/sec, 1020 secs
lola: 37512145 markings, 743348167 edges, 34160 markings/sec, 1025 secs
lola: 37703764 markings, 746989516 edges, 38324 markings/sec, 1030 secs
lola: 37881449 markings, 750567409 edges, 35537 markings/sec, 1035 secs
lola: 38043023 markings, 754044220 edges, 32315 markings/sec, 1040 secs
lola: 38226283 markings, 757702258 edges, 36652 markings/sec, 1045 secs
lola: 38401271 markings, 761325439 edges, 34998 markings/sec, 1050 secs
lola: 38567537 markings, 764904288 edges, 33253 markings/sec, 1055 secs
lola: 38733386 markings, 768470022 edges, 33170 markings/sec, 1060 secs
lola: 38896488 markings, 772038024 edges, 32620 markings/sec, 1065 secs
lola: 39050670 markings, 775538012 edges, 30836 markings/sec, 1070 secs
lola: 39196575 markings, 778984431 edges, 29181 markings/sec, 1075 secs
lola: 39326442 markings, 782361491 edges, 25973 markings/sec, 1080 secs
lola: 39542025 markings, 786040186 edges, 43117 markings/sec, 1085 secs
lola: 39735436 markings, 789651730 edges, 38682 markings/sec, 1090 secs
lola: 39925141 markings, 793288858 edges, 37941 markings/sec, 1095 secs
lola: 40103072 markings, 796873945 edges, 35586 markings/sec, 1100 secs
lola: 40260850 markings, 800341616 edges, 31556 markings/sec, 1105 secs
lola: 40456626 markings, 804004270 edges, 39155 markings/sec, 1110 secs
lola: 40641376 markings, 807616266 edges, 36950 markings/sec, 1115 secs
lola: 40812767 markings, 811157026 edges, 34278 markings/sec, 1120 secs
lola: 40982315 markings, 814710875 edges, 33910 markings/sec, 1125 secs
lola: 41163491 markings, 818363798 edges, 36235 markings/sec, 1130 secs
lola: 41320878 markings, 821903024 edges, 31477 markings/sec, 1135 secs
lola: 41500390 markings, 825544601 edges, 35902 markings/sec, 1140 secs
lola: 41660164 markings, 829086322 edges, 31955 markings/sec, 1145 secs
lola: 41818382 markings, 832617855 edges, 31644 markings/sec, 1150 secs
lola: 41969469 markings, 836093863 edges, 30217 markings/sec, 1155 secs
lola: 42107504 markings, 839476333 edges, 27607 markings/sec, 1160 secs
lola: 42280925 markings, 843055967 edges, 34684 markings/sec, 1165 secs
lola: 42469231 markings, 846685799 edges, 37661 markings/sec, 1170 secs
lola: 42645363 markings, 850248049 edges, 35226 markings/sec, 1175 secs
lola: 42800801 markings, 853704919 edges, 31088 markings/sec, 1180 secs
lola: 42990577 markings, 857386178 edges, 37955 markings/sec, 1185 secs
lola: 43158550 markings, 860960625 edges, 33595 markings/sec, 1190 secs
lola: 43328325 markings, 864557132 edges, 33955 markings/sec, 1195 secs
lola: 43486362 markings, 868069075 edges, 31607 markings/sec, 1200 secs
lola: 43651143 markings, 871636485 edges, 32956 markings/sec, 1205 secs
lola: 43802014 markings, 875130447 edges, 30174 markings/sec, 1210 secs
lola: 43946723 markings, 878531975 edges, 28942 markings/sec, 1215 secs
lola: 44090214 markings, 881953331 edges, 28698 markings/sec, 1220 secs
lola: 44273669 markings, 885592244 edges, 36691 markings/sec, 1225 secs
lola: 44439129 markings, 889149581 edges, 33092 markings/sec, 1230 secs
lola: 44612215 markings, 892770174 edges, 34617 markings/sec, 1235 secs
lola: 44770761 markings, 896304583 edges, 31709 markings/sec, 1240 secs
lola: 44930487 markings, 899828847 edges, 31945 markings/sec, 1245 secs
lola: 45084588 markings, 903330739 edges, 30820 markings/sec, 1250 secs
lola: 45225855 markings, 906713042 edges, 28253 markings/sec, 1255 secs
lola: 45374210 markings, 910193644 edges, 29671 markings/sec, 1260 secs
lola: 45544049 markings, 913816000 edges, 33968 markings/sec, 1265 secs
lola: 45708417 markings, 917420373 edges, 32874 markings/sec, 1270 secs
lola: 45864725 markings, 920972763 edges, 31262 markings/sec, 1275 secs
lola: 46013019 markings, 924462765 edges, 29659 markings/sec, 1280 secs
lola: 46146488 markings, 927889361 edges, 26694 markings/sec, 1285 secs
lola: 46312077 markings, 931495789 edges, 33118 markings/sec, 1290 secs
lola: 46466270 markings, 935041962 edges, 30839 markings/sec, 1295 secs
lola: 46612851 markings, 938511761 edges, 29316 markings/sec, 1300 secs
lola: 46752151 markings, 941975599 edges, 27860 markings/sec, 1305 secs
lola: 46904962 markings, 945496177 edges, 30562 markings/sec, 1310 secs
lola: 47043444 markings, 948916346 edges, 27696 markings/sec, 1315 secs
lola: 47184872 markings, 952394668 edges, 28286 markings/sec, 1320 secs
lola: 47319389 markings, 955777709 edges, 26903 markings/sec, 1325 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown yes no no no no no unknown unknown yes no no yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: no unknown yes no no no no no unknown unknown yes no no yes unknown yes
lola:
preliminary result: no unknown yes no no no no no unknown unknown yes no no yes unknown yes
lola: memory consumption: 7252748 KB
lola: time consumption: 3570 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 no no no no no unknown unknown yes no no yes unknown yes
rslt: finished
BK_STOP 1589949917813
--------------------
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-0050"
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-0050, 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-158961529300090"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0050.tgz
mv Referendum-COL-0050 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 ;