About the Execution of 2020-gold for JoinFreeModules-PT-0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16256.939 | 3600000.00 | 3273109.00 | 176274.30 | ?FTF?????TFTF??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r132-tall-162075428400218.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is JoinFreeModules-PT-0100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428400218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 956K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 06:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 26 06:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 24 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 24 10:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 566K May 5 16:51 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 JoinFreeModules-PT-0100-00
FORMULA_NAME JoinFreeModules-PT-0100-01
FORMULA_NAME JoinFreeModules-PT-0100-02
FORMULA_NAME JoinFreeModules-PT-0100-03
FORMULA_NAME JoinFreeModules-PT-0100-04
FORMULA_NAME JoinFreeModules-PT-0100-05
FORMULA_NAME JoinFreeModules-PT-0100-06
FORMULA_NAME JoinFreeModules-PT-0100-07
FORMULA_NAME JoinFreeModules-PT-0100-08
FORMULA_NAME JoinFreeModules-PT-0100-09
FORMULA_NAME JoinFreeModules-PT-0100-10
FORMULA_NAME JoinFreeModules-PT-0100-11
FORMULA_NAME JoinFreeModules-PT-0100-12
FORMULA_NAME JoinFreeModules-PT-0100-13
FORMULA_NAME JoinFreeModules-PT-0100-14
FORMULA_NAME JoinFreeModules-PT-0100-15
=== Now, execution of the tool begins
BK_START 1620919697068
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 15:28:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-13 15:28:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 15:28:19] [INFO ] Load time of PNML (sax parser for PT used): 109 ms
[2021-05-13 15:28:19] [INFO ] Transformed 501 places.
[2021-05-13 15:28:19] [INFO ] Transformed 801 transitions.
[2021-05-13 15:28:19] [INFO ] Parsed PT model containing 501 places and 801 transitions in 151 ms.
Reduce places removed 1 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 31729 steps, including 0 resets, run visited all 41 properties in 306 ms. (steps per millisecond=103 )
[2021-05-13 15:28:20] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-13 15:28:20] [INFO ] Flatten gal took : 88 ms
FORMULA JoinFreeModules-PT-0100-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 15:28:20] [INFO ] Flatten gal took : 49 ms
[2021-05-13 15:28:20] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-13 15:28:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ JoinFreeModules-PT-0100 @ 3570 seconds
FORMULA JoinFreeModules-PT-0100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0100-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0100-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0100-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ JoinFreeModules-PT-0100
{
"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": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 13 15:28:23 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (G ((F ((F (G ((5 <= p325))) AND (2 <= p171))) AND X ((p135 <= 2)))))",
"processed_size": 71,
"rewrites": 80
},
"result":
{
"edges": 303,
"markings": 303,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p287) U X (X (F ((1 <= p287)))))",
"processed_size": 39,
"rewrites": 80
},
"result":
{
"edges": 40502,
"markings": 20603,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 312
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(F ((G ((5 <= p235)) OR (5 <= p235))) U ((5 <= p235) U (X ((2 <= p177)) AND (2 <= p177))))",
"processed_size": 90,
"rewrites": 80
},
"result":
{
"edges": 603,
"markings": 604,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 7,
"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": 357
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 2,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (X (((((3 <= p378) OR (3 <= p380)) U (3 <= p405)) U (3 <= p378))))",
"processed_size": 69,
"rewrites": 80
},
"result":
{
"edges": 302,
"markings": 302,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"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": 416
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G (F ((3 <= p435)))",
"processed_size": 19,
"rewrites": 80
},
"result":
{
"edges": 12,
"markings": 12,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 499
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((5 <= p139) AND (F ((G ((2 <= p272)) OR (2 <= p272))) OR G ((5 <= p139))))))",
"processed_size": 83,
"rewrites": 80
},
"result":
{
"edges": 216,
"markings": 215,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 10,
"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": 625
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 625
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((2 <= p361))",
"processed_size": 15,
"rewrites": 80
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"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": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 14181236,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((** U X(X(F(**)))) AND G(**)) : X(G((F((F(G(**)) AND **)) AND X(**)))) : G(F(**)) : ((** U X((** U **))) R *) : (F((G(**) AND **)) U (G(F(**)) AND X(**))) : G((* AND *)) : F((X(F((G(*) AND **))) OR **)) : X(X(G(**))) : (** U X(X(F(**)))) : F(G((* AND (F((G(**) OR *)) OR G(*))))) : (F((G(**) OR **)) U (** U (X(**) AND **))) : X(X(((** U **) U **))) : (G((* AND (G(*) OR G(F(**))))) OR G(**)) : F(G(((* R *) AND G(**)))) : G((F(**) AND G(F((** OR (G(**) AND F(**)))))))"
},
"net":
{
"arcs": 2300,
"conflict_clusters": 401,
"places": 500,
"places_significant": 400,
"singleton_clusters": 0,
"transitions": 801
},
"result":
{
"interim_value": "unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown ",
"preliminary_value": "unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown "
},
"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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1301/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16000
lola: finding significant places
lola: 500 places, 801 transitions, 400 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: (((2 <= p42) U X (F (X ((p181 <= 1))))) AND G ((p218 <= 2))) : X (G ((F ((F (G ((5 <= p325))) AND (2 <= p171))) AND X ((p135 <= 2))))) : G (X (X (F ((F ((p459 <= 4)) U X (G (F (X ((3 <= p435)))))))))) : NOT((NOT(((4 <= p138) U X ((((5 <= p74) OR (4 <= p138)) U (3 <= p220))))) U (2 <= p301))) : (F ((G ((2 <= p362)) AND (2 <= p491))) U (G (F (X ((2 <= p491)))) AND X ((4 <= p418)))) : (NOT(F (((2 <= p366) OR (3 <= p370)))) AND NOT(F ((5 <= p115)))) : (F ((2 <= p286)) U F ((F (X (F ((NOT(F ((5 <= p314))) AND (p478 <= 2))))) OR (2 <= p286)))) : X (G (X (G ((2 <= p62))))) : ((1 <= p287) U X (X (F ((1 <= p287))))) : F (NOT(F (G (F ((G ((NOT(G ((2 <= p272))) AND (p272 <= 1))) U (p139 <= 4))))))) : (F ((G ((5 <= p235)) OR (5 <= p235))) U ((5 <= p235) U (X ((2 <= p177)) AND (2 <= p177)))) : X (X (((((3 <= p378) OR (3 <= p380)) U (3 <= p405)) U (3 <= p378)))) : (NOT(F ((NOT(G (F ((2 <= p361)))) U (3 <= p80)))) OR G ((2 <= p361))) : X (F (X (G ((NOT(((2 <= p351) U (4 <= p48))) AND G ((2 <= p52))))))) : G ((F (((p395 <= 4) OR (p367 <= 1))) AND G (X (X (F ((G ((4 <= p63)) U (2 <= p367))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:425
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k: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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:347
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:428
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((2 <= p42) U X (X (F ((p181 <= 1))))) AND G ((p218 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p218 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p218 <= 2))
lola: processed formula length: 15
lola: 80 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: 676895 markings, 1106159 edges, 135379 markings/sec, 0 secs
lola: 1348509 markings, 2203771 edges, 134323 markings/sec, 5 secs
lola: 2012457 markings, 3289202 edges, 132790 markings/sec, 10 secs
lola: 2679422 markings, 4379141 edges, 133393 markings/sec, 15 secs
lola: 3344117 markings, 5465762 edges, 132939 markings/sec, 20 secs
lola: 4002729 markings, 6542364 edges, 131722 markings/sec, 25 secs
lola: 4656649 markings, 7611380 edges, 130784 markings/sec, 30 secs
lola: 5317648 markings, 8691620 edges, 132200 markings/sec, 35 secs
lola: 5968673 markings, 9755734 edges, 130205 markings/sec, 40 secs
lola: 6615217 markings, 10812623 edges, 129309 markings/sec, 45 secs
lola: 7281540 markings, 11901694 edges, 133265 markings/sec, 50 secs
lola: 7942718 markings, 12982594 edges, 132236 markings/sec, 55 secs
lola: 8596882 markings, 14051555 edges, 130833 markings/sec, 60 secs
lola: 9252017 markings, 15122526 edges, 131027 markings/sec, 65 secs
lola: 9909752 markings, 16197635 edges, 131547 markings/sec, 70 secs
lola: 10561165 markings, 17262469 edges, 130283 markings/sec, 75 secs
lola: 11209796 markings, 18322625 edges, 129726 markings/sec, 80 secs
lola: 11857325 markings, 19381096 edges, 129506 markings/sec, 85 secs
lola: 12502714 markings, 20435973 edges, 129078 markings/sec, 90 secs
lola: 13141335 markings, 21479552 edges, 127724 markings/sec, 95 secs
lola: 13793994 markings, 22546611 edges, 130532 markings/sec, 100 secs
lola: 14451448 markings, 23621233 edges, 131491 markings/sec, 105 secs
lola: 15101066 markings, 24683174 edges, 129924 markings/sec, 110 secs
lola: 15752256 markings, 25747367 edges, 130238 markings/sec, 115 secs
lola: 16406255 markings, 26816456 edges, 130800 markings/sec, 120 secs
lola: 17052986 markings, 27873493 edges, 129346 markings/sec, 125 secs
lola: 17691300 markings, 28916810 edges, 127663 markings/sec, 130 secs
lola: 18335769 markings, 29970273 edges, 128894 markings/sec, 135 secs
lola: 18977320 markings, 31019027 edges, 128310 markings/sec, 140 secs
lola: 19611946 markings, 32056416 edges, 126925 markings/sec, 145 secs
lola: 20260976 markings, 33117105 edges, 129806 markings/sec, 150 secs
lola: 20926498 markings, 34205243 edges, 133104 markings/sec, 155 secs
lola: 21587625 markings, 35285604 edges, 132225 markings/sec, 160 secs
lola: 22238947 markings, 36350249 edges, 130264 markings/sec, 165 secs
lola: 22898236 markings, 37428063 edges, 131858 markings/sec, 170 secs
lola: 23555258 markings, 38501927 edges, 131404 markings/sec, 175 secs
lola: 24205289 markings, 39564310 edges, 130006 markings/sec, 180 secs
lola: 24856828 markings, 40629374 edges, 130308 markings/sec, 185 secs
lola: 25504366 markings, 41687840 edges, 129508 markings/sec, 190 secs
lola: 26144349 markings, 42733777 edges, 127997 markings/sec, 195 secs
lola: 26783512 markings, 43778625 edges, 127833 markings/sec, 200 secs
lola: 27443606 markings, 44857557 edges, 132019 markings/sec, 205 secs
lola: 28097930 markings, 45927015 edges, 130865 markings/sec, 210 secs
lola: 28748053 markings, 46989574 edges, 130025 markings/sec, 215 secs
lola: 29404491 markings, 48062641 edges, 131288 markings/sec, 220 secs
lola: 30056463 markings, 49128212 edges, 130394 markings/sec, 225 secs
lola: 30703481 markings, 50185751 edges, 129404 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5498140 KB
lola: time consumption: 252 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: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5498140 KB
lola: time consumption: 252 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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F ((F (G ((5 <= p325))) AND (2 <= p171))) AND X ((p135 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F ((F (G ((5 <= p325))) AND (2 <= p171))) AND X ((p135 <= 2)))))
lola: processed formula length: 71
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 303 markings, 303 edges
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((4 <= p138) U X ((((5 <= p74) OR (4 <= p138)) U (3 <= p220)))) R (p301 <= 1))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((4 <= p138) U X ((((5 <= p74) OR (4 <= p138)) U (3 <= p220)))) R (p301 <= 1))
lola: processed formula length: 80
lola: 80 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: 745264 markings, 1059116 edges, 149053 markings/sec, 0 secs
lola: 1492343 markings, 2121015 edges, 149416 markings/sec, 5 secs
lola: 2234935 markings, 3177017 edges, 148518 markings/sec, 10 secs
lola: 2981198 markings, 4237768 edges, 149253 markings/sec, 15 secs
lola: 3719016 markings, 5287124 edges, 147564 markings/sec, 20 secs
lola: 4466519 markings, 6349490 edges, 149501 markings/sec, 25 secs
lola: 5207466 markings, 7403051 edges, 148189 markings/sec, 30 secs
lola: 5948452 markings, 8456436 edges, 148197 markings/sec, 35 secs
lola: 6677224 markings, 9492384 edges, 145754 markings/sec, 40 secs
lola: 7404413 markings, 10526527 edges, 145438 markings/sec, 45 secs
lola: 8349209 markings, 11869432 edges, 188959 markings/sec, 50 secs
lola: 9075641 markings, 12902496 edges, 145286 markings/sec, 55 secs
lola: 9808075 markings, 13943524 edges, 146487 markings/sec, 60 secs
lola: 10534866 markings, 14977206 edges, 145358 markings/sec, 65 secs
lola: 11265569 markings, 16015718 edges, 146141 markings/sec, 70 secs
lola: 11993862 markings, 17051238 edges, 145659 markings/sec, 75 secs
lola: 12721847 markings, 18086281 edges, 145597 markings/sec, 80 secs
lola: 13448021 markings, 19118430 edges, 145235 markings/sec, 85 secs
lola: 14169021 markings, 20143766 edges, 144200 markings/sec, 90 secs
lola: 14897992 markings, 21179891 edges, 145794 markings/sec, 95 secs
lola: 15618119 markings, 22203915 edges, 144025 markings/sec, 100 secs
lola: 16346946 markings, 23239945 edges, 145765 markings/sec, 105 secs
lola: 16847617 markings, 23952154 edges, 100134 markings/sec, 110 secs
lola: 17355933 markings, 24674708 edges, 101663 markings/sec, 115 secs
lola: 17836216 markings, 25357384 edges, 96057 markings/sec, 120 secs
lola: 18417379 markings, 26183737 edges, 116233 markings/sec, 125 secs
lola: 18959319 markings, 26954451 edges, 108388 markings/sec, 130 secs
lola: 19163950 markings, 27245248 edges, 40926 markings/sec, 135 secs
lola: 19606927 markings, 27874829 edges, 88595 markings/sec, 140 secs
lola: 19915360 markings, 28313233 edges, 61687 markings/sec, 145 secs
lola: 20508253 markings, 29156524 edges, 118579 markings/sec, 150 secs
lola: 20579766 markings, 29258232 edges, 14303 markings/sec, 155 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G ((2 <= p362)) AND (2 <= p491))) U (G (F ((2 <= p491))) AND X ((4 <= p418))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F ((G ((2 <= p362)) AND (2 <= p491))) U (G (F ((2 <= p491))) AND X ((4 <= p418))))
lola: processed formula length: 83
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 751357 markings, 1069745 edges, 150271 markings/sec, 0 secs
lola: 1505114 markings, 2143188 edges, 150751 markings/sec, 5 secs
lola: 2260050 markings, 3218315 edges, 150987 markings/sec, 10 secs
lola: 3012148 markings, 4289438 edges, 150420 markings/sec, 15 secs
lola: 3764603 markings, 5360894 edges, 150491 markings/sec, 20 secs
lola: 4515879 markings, 6430898 edges, 150255 markings/sec, 25 secs
lola: 5264365 markings, 7496711 edges, 149697 markings/sec, 30 secs
lola: 6017273 markings, 8569007 edges, 150582 markings/sec, 35 secs
lola: 6764692 markings, 9633354 edges, 149484 markings/sec, 40 secs
lola: 7511307 markings, 10696670 edges, 149323 markings/sec, 45 secs
lola: 8263579 markings, 11767961 edges, 150454 markings/sec, 50 secs
lola: 9010737 markings, 12832074 edges, 149432 markings/sec, 55 secs
lola: 9758724 markings, 13897255 edges, 149597 markings/sec, 60 secs
lola: 10506691 markings, 14962389 edges, 149593 markings/sec, 65 secs
lola: 11254507 markings, 16027423 edges, 149563 markings/sec, 70 secs
lola: 12002874 markings, 17093093 edges, 149673 markings/sec, 75 secs
lola: 12749747 markings, 18156721 edges, 149375 markings/sec, 80 secs
lola: 13496491 markings, 19220217 edges, 149349 markings/sec, 85 secs
lola: 14862111 markings, 21164978 edges, 273124 markings/sec, 90 secs
lola: 15605792 markings, 22224133 edges, 148736 markings/sec, 95 secs
lola: 16908090 markings, 24078825 edges, 260460 markings/sec, 100 secs
lola: 16941728 markings, 24126602 edges, 6728 markings/sec, 105 secs
lola: 16941728 markings, 24126602 edges, 0 markings/sec, 110 secs
lola: 16941728 markings, 24126602 edges, 0 markings/sec, 115 secs
lola: 17330411 markings, 24680184 edges, 77737 markings/sec, 120 secs
lola: 17651432 markings, 25137331 edges, 64204 markings/sec, 125 secs
lola: 17655419 markings, 25142981 edges, 797 markings/sec, 130 secs
lola: 17655419 markings, 25142981 edges, 0 markings/sec, 135 secs
lola: 18033684 markings, 25681734 edges, 75653 markings/sec, 140 secs
lola: 18353682 markings, 26137370 edges, 64000 markings/sec, 145 secs
lola: 18353682 markings, 26137370 edges, 0 markings/sec, 150 secs
lola: 18616370 markings, 26511431 edges, 52538 markings/sec, 155 secs
lola: 19029316 markings, 27099578 edges, 82589 markings/sec, 160 secs
lola: 19029316 markings, 27099578 edges, 0 markings/sec, 165 secs
lola: 19445353 markings, 27692044 edges, 83207 markings/sec, 170 secs
lola: 19671431 markings, 28014071 edges, 45216 markings/sec, 175 secs
lola: 19944026 markings, 28402181 edges, 54519 markings/sec, 180 secs
lola: 20286251 markings, 28889644 edges, 68445 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (F ((G ((p314 <= 4)) AND (p478 <= 2)))) OR (2 <= p286)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (F ((G ((p314 <= 4)) AND (p478 <= 2)))) OR (2 <= p286)))
lola: processed formula length: 62
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 745142 markings, 1060858 edges, 149028 markings/sec, 0 secs
lola: 1614410 markings, 2298863 edges, 173854 markings/sec, 5 secs
lola: 2364728 markings, 3367402 edges, 150064 markings/sec, 10 secs
lola: 3112086 markings, 4431715 edges, 149472 markings/sec, 15 secs
lola: 3858776 markings, 5495070 edges, 149338 markings/sec, 20 secs
lola: 4603610 markings, 6555802 edges, 148967 markings/sec, 25 secs
lola: 5347522 markings, 7615186 edges, 148782 markings/sec, 30 secs
lola: 6094426 markings, 8678945 edges, 149381 markings/sec, 35 secs
lola: 6836393 markings, 9735565 edges, 148393 markings/sec, 40 secs
lola: 7578289 markings, 10792063 edges, 148379 markings/sec, 45 secs
lola: 8324090 markings, 11854143 edges, 149160 markings/sec, 50 secs
lola: 9065551 markings, 12910047 edges, 148292 markings/sec, 55 secs
lola: 9807814 markings, 13967190 edges, 148453 markings/sec, 60 secs
lola: 10549679 markings, 15023647 edges, 148373 markings/sec, 65 secs
lola: 11292242 markings, 16081074 edges, 148513 markings/sec, 70 secs
lola: 12035017 markings, 17138930 edges, 148555 markings/sec, 75 secs
lola: 12776678 markings, 18195105 edges, 148332 markings/sec, 80 secs
lola: 13517536 markings, 19250175 edges, 148172 markings/sec, 85 secs
lola: 14258867 markings, 20305856 edges, 148266 markings/sec, 90 secs
lola: 14996196 markings, 21356000 edges, 147466 markings/sec, 95 secs
lola: 15735196 markings, 22408344 edges, 147800 markings/sec, 100 secs
lola: 16286800 markings, 23194198 edges, 110321 markings/sec, 105 secs
lola: 16992520 markings, 24198976 edges, 141144 markings/sec, 110 secs
lola: 17687920 markings, 25191630 edges, 139080 markings/sec, 115 secs
lola: 18355667 markings, 26140219 edges, 133549 markings/sec, 120 secs
lola: 18396077 markings, 26197732 edges, 8082 markings/sec, 125 secs
lola: 18782178 markings, 26747656 edges, 77220 markings/sec, 130 secs
lola: 19076061 markings, 27166091 edges, 58777 markings/sec, 135 secs
lola: 19142366 markings, 27260635 edges, 13261 markings/sec, 140 secs
lola: 19783345 markings, 28173333 edges, 128196 markings/sec, 145 secs
lola: 19783345 markings, 28173333 edges, 0 markings/sec, 150 secs
lola: 20204870 markings, 28773770 edges, 84305 markings/sec, 155 secs
lola: 20283489 markings, 28885700 edges, 15724 markings/sec, 160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G ((2 <= p62))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G ((2 <= p62))))
lola: processed formula length: 22
lola: 80 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: 747049 markings, 1063527 edges, 149410 markings/sec, 0 secs
lola: 1497215 markings, 2131861 edges, 150033 markings/sec, 5 secs
lola: 2248483 markings, 3201846 edges, 150254 markings/sec, 10 secs
lola: 2997001 markings, 4267797 edges, 149704 markings/sec, 15 secs
lola: 3745874 markings, 5334271 edges, 149775 markings/sec, 20 secs
lola: 4493169 markings, 6398469 edges, 149459 markings/sec, 25 secs
lola: 5238666 markings, 7460157 edges, 149099 markings/sec, 30 secs
lola: 5986714 markings, 8525507 edges, 149610 markings/sec, 35 secs
lola: 6730953 markings, 9585395 edges, 148848 markings/sec, 40 secs
lola: 7470554 markings, 10638629 edges, 147920 markings/sec, 45 secs
lola: 8218988 markings, 11704522 edges, 149687 markings/sec, 50 secs
lola: 8961743 markings, 12762309 edges, 148551 markings/sec, 55 secs
lola: 9705517 markings, 13821441 edges, 148755 markings/sec, 60 secs
lola: 10448893 markings, 14880085 edges, 148675 markings/sec, 65 secs
lola: 11191813 markings, 15938160 edges, 148584 markings/sec, 70 secs
lola: 11935381 markings, 16997040 edges, 148714 markings/sec, 75 secs
lola: 12677470 markings, 18053805 edges, 148418 markings/sec, 80 secs
lola: 13418648 markings, 19109407 edges, 148236 markings/sec, 85 secs
lola: 14160427 markings, 20165722 edges, 148356 markings/sec, 90 secs
lola: 14899290 markings, 21218006 edges, 147773 markings/sec, 95 secs
lola: 15638126 markings, 22270077 edges, 147767 markings/sec, 100 secs
lola: 16366867 markings, 23308182 edges, 145748 markings/sec, 105 secs
lola: 16682366 markings, 23768455 edges, 63100 markings/sec, 110 secs
lola: 17361067 markings, 24724058 edges, 135740 markings/sec, 115 secs
lola: 17392470 markings, 24768628 edges, 6281 markings/sec, 120 secs
lola: 17392470 markings, 24768628 edges, 0 markings/sec, 125 secs
lola: 17392470 markings, 24768628 edges, 0 markings/sec, 130 secs
lola: 17939072 markings, 25547004 edges, 109320 markings/sec, 135 secs
lola: 18059958 markings, 25719077 edges, 24177 markings/sec, 140 secs
lola: 18059958 markings, 25719077 edges, 0 markings/sec, 145 secs
lola: 18324849 markings, 26096388 edges, 52978 markings/sec, 150 secs
lola: 18771737 markings, 26732865 edges, 89378 markings/sec, 155 secs
lola: 18775198 markings, 26737780 edges, 692 markings/sec, 160 secs
lola: 19371687 markings, 27587255 edges, 119298 markings/sec, 165 secs
lola: 19537151 markings, 27822769 edges, 33093 markings/sec, 170 secs
lola: 20167197 markings, 28720092 edges, 126009 markings/sec, 175 secs
lola: 20200936 markings, 28768105 edges, 6748 markings/sec, 180 secs
lola: 20200936 markings, 28768105 edges, 0 markings/sec, 185 secs
lola: 20294541 markings, 28901482 edges, 18721 markings/sec, 190 secs
lola: 20294702 markings, 28901644 edges, 32 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p287) U X (X (F ((1 <= p287)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p287) U X (X (F ((1 <= p287)))))
lola: processed formula length: 39
lola: 80 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 20603 markings, 40502 edges
lola: ========================================
lola: subprocess 7 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G ((5 <= p235)) OR (5 <= p235))) U ((5 <= p235) U (X ((2 <= p177)) AND (2 <= p177))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F ((G ((5 <= p235)) OR (5 <= p235))) U ((5 <= p235) U (X ((2 <= p177)) AND (2 <= p177))))
lola: processed formula length: 90
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 604 markings, 603 edges
lola: ========================================
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (((((3 <= p378) OR (3 <= p380)) U (3 <= p405)) U (3 <= p378))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (((((3 <= p378) OR (3 <= p380)) U (3 <= p405)) U (3 <= p378))))
lola: processed formula length: 69
lola: 80 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: 302 markings, 302 edges
lola: ========================================
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((3 <= p435)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((3 <= p435)))
lola: processed formula length: 19
lola: 80 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: 12 markings, 12 edges
lola: ========================================
lola: subprocess 10 will run for 499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((5 <= p139) AND (F ((G ((2 <= p272)) OR (2 <= p272))) OR G ((5 <= p139))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((5 <= p139) AND (F ((G ((2 <= p272)) OR (2 <= p272))) OR G ((5 <= p139))))))
lola: processed formula length: 83
lola: 80 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: 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: 215 markings, 216 edges
lola: ========================================
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p366 <= 1) AND (p370 <= 2)) AND (p115 <= 4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p366 <= 1) AND (p370 <= 2)) AND (p115 <= 4)))
lola: processed formula length: 51
lola: 80 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: 671226 markings, 1097043 edges, 134245 markings/sec, 0 secs
lola: 1338369 markings, 2187433 edges, 133429 markings/sec, 5 secs
lola: 1995778 markings, 3261958 edges, 131482 markings/sec, 10 secs
lola: 2657428 markings, 4343299 edges, 132330 markings/sec, 15 secs
lola: 3316829 markings, 5421211 edges, 131880 markings/sec, 20 secs
lola: 3971329 markings, 6491031 edges, 130900 markings/sec, 25 secs
lola: 4620569 markings, 7552401 edges, 129848 markings/sec, 30 secs
lola: 5276553 markings, 8624632 edges, 131197 markings/sec, 35 secs
lola: 5922893 markings, 9681217 edges, 129268 markings/sec, 40 secs
lola: 6565850 markings, 10731886 edges, 128591 markings/sec, 45 secs
lola: 7226850 markings, 11812166 edges, 132200 markings/sec, 50 secs
lola: 7883225 markings, 12885057 edges, 131275 markings/sec, 55 secs
lola: 8534867 markings, 13950251 edges, 130328 markings/sec, 60 secs
lola: 9184247 markings, 15011903 edges, 129876 markings/sec, 65 secs
lola: 9837589 markings, 16079637 edges, 130668 markings/sec, 70 secs
lola: 10485023 markings, 17137939 edges, 129487 markings/sec, 75 secs
lola: 11129741 markings, 18191687 edges, 128944 markings/sec, 80 secs
lola: 11775681 markings, 19247512 edges, 129188 markings/sec, 85 secs
lola: 12419006 markings, 20299137 edges, 128665 markings/sec, 90 secs
lola: 13053634 markings, 21336369 edges, 126926 markings/sec, 95 secs
lola: 13696661 markings, 22387551 edges, 128605 markings/sec, 100 secs
lola: 14348238 markings, 23452571 edges, 130315 markings/sec, 105 secs
lola: 14992419 markings, 24505598 edges, 128836 markings/sec, 110 secs
lola: 15636617 markings, 25558609 edges, 128840 markings/sec, 115 secs
lola: 16285139 markings, 26618555 edges, 129704 markings/sec, 120 secs
lola: 16928250 markings, 27669704 edges, 128622 markings/sec, 125 secs
lola: 17565956 markings, 28711879 edges, 127541 markings/sec, 130 secs
lola: 18206203 markings, 29758530 edges, 128049 markings/sec, 135 secs
lola: 19271101 markings, 31499288 edges, 212980 markings/sec, 140 secs
lola: 19899432 markings, 32526263 edges, 125666 markings/sec, 145 secs
lola: 20561322 markings, 33608010 edges, 132378 markings/sec, 150 secs
lola: 21219650 markings, 34684237 edges, 131666 markings/sec, 155 secs
lola: 21871479 markings, 35749457 edges, 130366 markings/sec, 160 secs
lola: 22520463 markings, 36810410 edges, 129797 markings/sec, 165 secs
lola: 23171555 markings, 37874790 edges, 130218 markings/sec, 170 secs
lola: 23818559 markings, 38932332 edges, 129401 markings/sec, 175 secs
lola: 24463889 markings, 39986818 edges, 129066 markings/sec, 180 secs
lola: 25110448 markings, 41043766 edges, 129312 markings/sec, 185 secs
lola: 25750612 markings, 42090231 edges, 128033 markings/sec, 190 secs
lola: 26384280 markings, 43126014 edges, 126734 markings/sec, 195 secs
lola: 27031351 markings, 44183873 edges, 129414 markings/sec, 200 secs
lola: 27687381 markings, 45255977 edges, 131206 markings/sec, 205 secs
lola: 28335364 markings, 46315232 edges, 129597 markings/sec, 210 secs
lola: 28981811 markings, 47371687 edges, 129289 markings/sec, 215 secs
lola: 29632316 markings, 48435111 edges, 130101 markings/sec, 220 secs
lola: 30279848 markings, 49493433 edges, 129506 markings/sec, 225 secs
lola: 30921144 markings, 50541763 edges, 128259 markings/sec, 230 secs
lola: 31563993 markings, 51592600 edges, 128570 markings/sec, 235 secs
lola: 32206943 markings, 52643409 edges, 128590 markings/sec, 240 secs
lola: 32840655 markings, 53679292 edges, 126742 markings/sec, 245 secs
lola: 33475762 markings, 54717258 edges, 127021 markings/sec, 250 secs
lola: 34120999 markings, 55771926 edges, 129047 markings/sec, 255 secs
lola: 34760964 markings, 56818069 edges, 127993 markings/sec, 260 secs
lola: 35393592 markings, 57852221 edges, 126526 markings/sec, 265 secs
lola: 36031934 markings, 58895583 edges, 127668 markings/sec, 270 secs
lola: 36670872 markings, 59939888 edges, 127788 markings/sec, 275 secs
lola: 37303934 markings, 60974672 edges, 126612 markings/sec, 280 secs
lola: 37934202 markings, 62004673 edges, 126054 markings/sec, 285 secs
lola: 38563738 markings, 63033840 edges, 125907 markings/sec, 290 secs
lola: 39189272 markings, 64056337 edges, 125107 markings/sec, 295 secs
lola: 39810486 markings, 65071635 edges, 124243 markings/sec, 300 secs
lola: 40459395 markings, 66132716 edges, 129782 markings/sec, 305 secs
lola: 41111200 markings, 67198004 edges, 130361 markings/sec, 310 secs
lola: 41754892 markings, 68250150 edges, 128738 markings/sec, 315 secs
lola: 42398305 markings, 69301679 edges, 128683 markings/sec, 320 secs
lola: 43044988 markings, 70358699 edges, 129337 markings/sec, 325 secs
lola: 43686185 markings, 71406838 edges, 128239 markings/sec, 330 secs
lola: 44321297 markings, 72445051 edges, 127022 markings/sec, 335 secs
lola: 44966523 markings, 73499707 edges, 129045 markings/sec, 340 secs
lola: 45607651 markings, 74547603 edges, 128226 markings/sec, 345 secs
lola: 46240403 markings, 75581790 edges, 126550 markings/sec, 350 secs
lola: 46878421 markings, 76624820 edges, 127604 markings/sec, 355 secs
lola: 47614955 markings, 77828573 edges, 147307 markings/sec, 360 secs
lola: 48255681 markings, 78875804 edges, 128145 markings/sec, 365 secs
lola: 48920240 markings, 79962340 edges, 132912 markings/sec, 370 secs
lola: 49559824 markings, 81007466 edges, 127917 markings/sec, 375 secs
lola: 50196984 markings, 82048940 edges, 127432 markings/sec, 380 secs
lola: 50829036 markings, 83082144 edges, 126410 markings/sec, 385 secs
lola: 51461254 markings, 84115571 edges, 126444 markings/sec, 390 secs
lola: 52089388 markings, 85142266 edges, 125627 markings/sec, 395 secs
lola: 52713516 markings, 86162176 edges, 124826 markings/sec, 400 secs
lola: 53332321 markings, 87173993 edges, 123761 markings/sec, 405 secs
lola: 53970256 markings, 88216755 edges, 127587 markings/sec, 410 secs
lola: 54605309 markings, 89254670 edges, 127011 markings/sec, 415 secs
lola: 55234462 markings, 90283244 edges, 125831 markings/sec, 420 secs
lola: 55870817 markings, 91323141 edges, 127271 markings/sec, 425 secs
lola: 56503518 markings, 92357446 edges, 126540 markings/sec, 430 secs
lola: 57131581 markings, 93383892 edges, 125613 markings/sec, 435 secs
lola: 57749877 markings, 94394778 edges, 123659 markings/sec, 440 secs
lola: 58379274 markings, 95423497 edges, 125879 markings/sec, 445 secs
lola: 59004246 markings, 96444952 edges, 124994 markings/sec, 450 secs
lola: 59620050 markings, 97451585 edges, 123161 markings/sec, 455 secs
lola: 60259517 markings, 98496858 edges, 127893 markings/sec, 460 secs
lola: 60917145 markings, 99571734 edges, 131526 markings/sec, 465 secs
lola: 61569966 markings, 100638634 edges, 130564 markings/sec, 470 secs
lola: 62238007 markings, 101730857 edges, 133608 markings/sec, 475 secs
lola: 62887237 markings, 102791802 edges, 129846 markings/sec, 480 secs
lola: 63851502 markings, 104367836 edges, 192853 markings/sec, 485 secs
lola: 64496189 markings, 105421780 edges, 128937 markings/sec, 490 secs
lola: 65139266 markings, 106472975 edges, 128615 markings/sec, 495 secs
lola: 65775796 markings, 107513368 edges, 127306 markings/sec, 500 secs
lola: 66406092 markings, 108543632 edges, 126059 markings/sec, 505 secs
lola: 67050310 markings, 109596467 edges, 128844 markings/sec, 510 secs
lola: 67702022 markings, 110661718 edges, 130342 markings/sec, 515 secs
lola: 68344034 markings, 111711319 edges, 128402 markings/sec, 520 secs
lola: 68985189 markings, 112759301 edges, 128231 markings/sec, 525 secs
lola: 69632439 markings, 113817187 edges, 129450 markings/sec, 530 secs
lola: 70273760 markings, 114865461 edges, 128264 markings/sec, 535 secs
lola: 70908010 markings, 115902124 edges, 126850 markings/sec, 540 secs
lola: 71593461 markings, 117022715 edges, 137090 markings/sec, 545 secs
lola: 72230555 markings, 118063852 edges, 127419 markings/sec, 550 secs
lola: 72860822 markings, 119094088 edges, 126053 markings/sec, 555 secs
lola: 73494529 markings, 120129984 edges, 126741 markings/sec, 560 secs
lola: 74134290 markings, 121175652 edges, 127952 markings/sec, 565 secs
lola: 74851810 markings, 122348467 edges, 143504 markings/sec, 570 secs
lola: 75477460 markings, 123371378 edges, 125130 markings/sec, 575 secs
lola: 76303678 markings, 124721672 edges, 165244 markings/sec, 580 secs
lola: 76927958 markings, 125742304 edges, 124856 markings/sec, 585 secs
lola: 77552012 markings, 126762137 edges, 124811 markings/sec, 590 secs
lola: 78176565 markings, 127783075 edges, 124911 markings/sec, 595 secs
lola: 78797743 markings, 128798272 edges, 124236 markings/sec, 600 secs
lola: 79412747 markings, 129803425 edges, 123001 markings/sec, 605 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((p351 <= 1) R (p48 <= 3)) AND G ((2 <= p52)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((p351 <= 1) R (p48 <= 3)) AND G ((2 <= p52)))))
lola: processed formula length: 55
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 677263 markings, 1106619 edges, 135453 markings/sec, 0 secs
lola: 1348016 markings, 2202820 edges, 134151 markings/sec, 5 secs
lola: 2009874 markings, 3284825 edges, 132372 markings/sec, 10 secs
lola: 2677352 markings, 4375674 edges, 133496 markings/sec, 15 secs
lola: 3342216 markings, 5462468 edges, 132973 markings/sec, 20 secs
lola: 4001503 markings, 6540226 edges, 131857 markings/sec, 25 secs
lola: 4655543 markings, 7609306 edges, 130808 markings/sec, 30 secs
lola: 5315641 markings, 8688176 edges, 132020 markings/sec, 35 secs
lola: 5967213 markings, 9753176 edges, 130314 markings/sec, 40 secs
lola: 6612273 markings, 10807391 edges, 129012 markings/sec, 45 secs
lola: 7279018 markings, 11897256 edges, 133349 markings/sec, 50 secs
lola: 7941284 markings, 12979905 edges, 132453 markings/sec, 55 secs
lola: 8596326 markings, 14050524 edges, 131008 markings/sec, 60 secs
lola: 9252355 markings, 15122874 edges, 131206 markings/sec, 65 secs
lola: 9910835 markings, 16199004 edges, 131696 markings/sec, 70 secs
lola: 10563093 markings, 17265339 edges, 130452 markings/sec, 75 secs
lola: 11213362 markings, 18328044 edges, 130054 markings/sec, 80 secs
lola: 11860482 markings, 19386001 edges, 129424 markings/sec, 85 secs
lola: 12506762 markings, 20442280 edges, 129256 markings/sec, 90 secs
lola: 13144942 markings, 21485420 edges, 127636 markings/sec, 95 secs
lola: 13797239 markings, 22551708 edges, 130459 markings/sec, 100 secs
lola: 14528378 markings, 23746850 edges, 146228 markings/sec, 105 secs
lola: 15178962 markings, 24810268 edges, 130117 markings/sec, 110 secs
lola: 15831149 markings, 25876394 edges, 130437 markings/sec, 115 secs
lola: 16485429 markings, 26945660 edges, 130856 markings/sec, 120 secs
lola: 17131974 markings, 28002446 edges, 129309 markings/sec, 125 secs
lola: 17767750 markings, 29041917 edges, 127155 markings/sec, 130 secs
lola: 18418021 markings, 30104714 edges, 130054 markings/sec, 135 secs
lola: 19062475 markings, 31158076 edges, 128891 markings/sec, 140 secs
lola: 19698188 markings, 32196945 edges, 127143 markings/sec, 145 secs
lola: 20352020 markings, 33265628 edges, 130766 markings/sec, 150 secs
lola: 21016158 markings, 34351417 edges, 132828 markings/sec, 155 secs
lola: 21674987 markings, 35428188 edges, 131766 markings/sec, 160 secs
lola: 22326817 markings, 36493776 edges, 130366 markings/sec, 165 secs
lola: 22984691 markings, 37568908 edges, 131575 markings/sec, 170 secs
lola: 23638736 markings, 38638055 edges, 130809 markings/sec, 175 secs
lola: 24290840 markings, 39704051 edges, 130421 markings/sec, 180 secs
lola: 24943925 markings, 40771428 edges, 130617 markings/sec, 185 secs
lola: 25590703 markings, 41828611 edges, 129356 markings/sec, 190 secs
lola: 26231675 markings, 42876368 edges, 128194 markings/sec, 195 secs
lola: 27313798 markings, 44645031 edges, 216425 markings/sec, 200 secs
lola: 27973038 markings, 45722696 edges, 131848 markings/sec, 205 secs
lola: 28624036 markings, 46786836 edges, 130200 markings/sec, 210 secs
lola: 29278713 markings, 47857016 edges, 130935 markings/sec, 215 secs
lola: 29933044 markings, 48926403 edges, 130866 markings/sec, 220 secs
lola: 30579374 markings, 49982947 edges, 129266 markings/sec, 225 secs
lola: 31221816 markings, 51033038 edges, 128488 markings/sec, 230 secs
lola: 31869778 markings, 52092085 edges, 129592 markings/sec, 235 secs
lola: 32511695 markings, 53141372 edges, 128383 markings/sec, 240 secs
lola: 33147908 markings, 54181361 edges, 127243 markings/sec, 245 secs
lola: 33796507 markings, 55241248 edges, 129720 markings/sec, 250 secs
lola: 34443957 markings, 56299820 edges, 129490 markings/sec, 255 secs
lola: 35084947 markings, 57347446 edges, 128198 markings/sec, 260 secs
lola: 35722365 markings, 58389387 edges, 127484 markings/sec, 265 secs
lola: 36366548 markings, 59442132 edges, 128837 markings/sec, 270 secs
lola: 37004717 markings, 60485493 edges, 127634 markings/sec, 275 secs
lola: 37639977 markings, 61523916 edges, 127052 markings/sec, 280 secs
lola: 38277813 markings, 62566283 edges, 127567 markings/sec, 285 secs
lola: 38910458 markings, 63600364 edges, 126529 markings/sec, 290 secs
lola: 39537231 markings, 64624881 edges, 125355 markings/sec, 295 secs
lola: 40170908 markings, 65660861 edges, 126735 markings/sec, 300 secs
lola: 40828876 markings, 66736248 edges, 131594 markings/sec, 305 secs
lola: 41480573 markings, 67801533 edges, 130339 markings/sec, 310 secs
lola: 42126363 markings, 68857158 edges, 129158 markings/sec, 315 secs
lola: 42781327 markings, 69927486 edges, 130993 markings/sec, 320 secs
lola: 43430636 markings, 70988921 edges, 129862 markings/sec, 325 secs
lola: 44074101 markings, 72040764 edges, 128693 markings/sec, 330 secs
lola: 44717077 markings, 73091751 edges, 128595 markings/sec, 335 secs
lola: 45364373 markings, 74149729 edges, 129459 markings/sec, 340 secs
lola: 46003962 markings, 75195230 edges, 127918 markings/sec, 345 secs
lola: 46639632 markings, 76234012 edges, 127134 markings/sec, 350 secs
lola: 47295239 markings, 77305775 edges, 131121 markings/sec, 355 secs
lola: 47945579 markings, 78368917 edges, 130068 markings/sec, 360 secs
lola: 48588209 markings, 79419095 edges, 128526 markings/sec, 365 secs
lola: 49232488 markings, 80472260 edges, 128856 markings/sec, 370 secs
lola: 49878259 markings, 81527908 edges, 129154 markings/sec, 375 secs
lola: 50517669 markings, 82573048 edges, 127882 markings/sec, 380 secs
lola: 51153909 markings, 83612782 edges, 127248 markings/sec, 385 secs
lola: 51789405 markings, 84651809 edges, 127099 markings/sec, 390 secs
lola: 52423564 markings, 85688166 edges, 126832 markings/sec, 395 secs
lola: 53050525 markings, 86712921 edges, 125392 markings/sec, 400 secs
lola: 53688674 markings, 87756250 edges, 127630 markings/sec, 405 secs
lola: 54332347 markings, 88808346 edges, 128735 markings/sec, 410 secs
lola: 54966465 markings, 89844968 edges, 126824 markings/sec, 415 secs
lola: 55602235 markings, 90883980 edges, 127154 markings/sec, 420 secs
lola: 56266880 markings, 91970555 edges, 132929 markings/sec, 425 secs
lola: 56902258 markings, 93008772 edges, 127076 markings/sec, 430 secs
lola: 57528945 markings, 94033113 edges, 125337 markings/sec, 435 secs
lola: 58160462 markings, 95065427 edges, 126303 markings/sec, 440 secs
lola: 58878966 markings, 96239985 edges, 143701 markings/sec, 445 secs
lola: 59501111 markings, 97257000 edges, 124429 markings/sec, 450 secs
lola: 60136855 markings, 98296079 edges, 127149 markings/sec, 455 secs
lola: 60799099 markings, 99378354 edges, 132449 markings/sec, 460 secs
lola: 61491987 markings, 100510979 edges, 138578 markings/sec, 465 secs
lola: 62138444 markings, 101567799 edges, 129291 markings/sec, 470 secs
lola: 62795377 markings, 102641575 edges, 131387 markings/sec, 475 secs
lola: 63450036 markings, 103711595 edges, 130932 markings/sec, 480 secs
lola: 64097436 markings, 104769869 edges, 129480 markings/sec, 485 secs
lola: 64747260 markings, 105831875 edges, 129965 markings/sec, 490 secs
lola: 65605309 markings, 107234559 edges, 171610 markings/sec, 495 secs
lola: 66242314 markings, 108275712 edges, 127401 markings/sec, 500 secs
lola: 66884936 markings, 109326073 edges, 128524 markings/sec, 505 secs
lola: 67539713 markings, 110396278 edges, 130955 markings/sec, 510 secs
lola: 68187779 markings, 111455521 edges, 129613 markings/sec, 515 secs
lola: 68829857 markings, 112505200 edges, 128416 markings/sec, 520 secs
lola: 69480179 markings, 113568183 edges, 130064 markings/sec, 525 secs
lola: 70127596 markings, 114626335 edges, 129483 markings/sec, 530 secs
lola: 70766444 markings, 115670616 edges, 127770 markings/sec, 535 secs
lola: 71407774 markings, 116718907 edges, 128266 markings/sec, 540 secs
lola: 72050659 markings, 117769635 edges, 128577 markings/sec, 545 secs
lola: 72684569 markings, 118805860 edges, 126782 markings/sec, 550 secs
lola: 73318145 markings, 119841482 edges, 126715 markings/sec, 555 secs
lola: 73962248 markings, 120894417 edges, 128821 markings/sec, 560 secs
lola: 74605393 markings, 121945576 edges, 128629 markings/sec, 565 secs
lola: 75239693 markings, 122982264 edges, 126860 markings/sec, 570 secs
lola: 75876008 markings, 124022466 edges, 127263 markings/sec, 575 secs
lola: 76513062 markings, 125063711 edges, 127411 markings/sec, 580 secs
lola: 77142172 markings, 126092110 edges, 125822 markings/sec, 585 secs
lola: 77771129 markings, 127120158 edges, 125791 markings/sec, 590 secs
lola: 78398299 markings, 128145205 edges, 125434 markings/sec, 595 secs
lola: 79025111 markings, 129169607 edges, 125362 markings/sec, 600 secs
lola: 79644131 markings, 130181531 edges, 123804 markings/sec, 605 secs
lola: 80288198 markings, 131234419 edges, 128813 markings/sec, 610 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p395 <= 4) OR (p367 <= 1))) AND G (F (((2 <= p367) OR (G ((4 <= p63)) AND F ((2 <= p367))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p395 <= 4) OR (p367 <= 1))) AND G (F (((2 <= p367) OR (G ((4 <= p63)) AND F ((2 <= p367))))))))
lola: processed formula length: 105
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 680146 markings, 1111424 edges, 136029 markings/sec, 0 secs
lola: 1354202 markings, 2212982 edges, 134811 markings/sec, 5 secs
lola: 2020391 markings, 3302033 edges, 133238 markings/sec, 10 secs
lola: 2690954 markings, 4397970 edges, 134113 markings/sec, 15 secs
lola: 3358706 markings, 5489404 edges, 133550 markings/sec, 20 secs
lola: 4021130 markings, 6572256 edges, 132485 markings/sec, 25 secs
lola: 4678574 markings, 7646933 edges, 131489 markings/sec, 30 secs
lola: 5343171 markings, 8733122 edges, 132919 markings/sec, 35 secs
lola: 5997912 markings, 9803290 edges, 130948 markings/sec, 40 secs
lola: 6645203 markings, 10861405 edges, 129458 markings/sec, 45 secs
lola: 7317773 markings, 11960495 edges, 134514 markings/sec, 50 secs
lola: 7983547 markings, 13048921 edges, 133155 markings/sec, 55 secs
lola: 8639883 markings, 14121727 edges, 131267 markings/sec, 60 secs
lola: 9299972 markings, 15200661 edges, 132018 markings/sec, 65 secs
lola: 9962449 markings, 16283448 edges, 132495 markings/sec, 70 secs
lola: 10617262 markings, 17353785 edges, 130963 markings/sec, 75 secs
lola: 11270989 markings, 18422253 edges, 130745 markings/sec, 80 secs
lola: 11922637 markings, 19487527 edges, 130330 markings/sec, 85 secs
lola: 12568644 markings, 20543410 edges, 129201 markings/sec, 90 secs
lola: 13498378 markings, 22063203 edges, 185947 markings/sec, 95 secs
lola: 14159119 markings, 23143140 edges, 132148 markings/sec, 100 secs
lola: 14812435 markings, 24211129 edges, 130663 markings/sec, 105 secs
lola: 15465885 markings, 25279198 edges, 130690 markings/sec, 110 secs
lola: 16126261 markings, 26358517 edges, 132075 markings/sec, 115 secs
lola: 16778252 markings, 27424222 edges, 130398 markings/sec, 120 secs
lola: 17425535 markings, 28482382 edges, 129457 markings/sec, 125 secs
lola: 18072484 markings, 29539781 edges, 129390 markings/sec, 130 secs
lola: 18722704 markings, 30602430 edges, 130044 markings/sec, 135 secs
lola: 19418519 markings, 31739864 edges, 139163 markings/sec, 140 secs
lola: 20059263 markings, 32787322 edges, 128149 markings/sec, 145 secs
lola: 20823399 markings, 34036216 edges, 152827 markings/sec, 150 secs
lola: 21487450 markings, 35121557 edges, 132810 markings/sec, 155 secs
lola: 22324634 markings, 36490122 edges, 167437 markings/sec, 160 secs
lola: 22985384 markings, 37570011 edges, 132150 markings/sec, 165 secs
lola: 23640766 markings, 38641160 edges, 131076 markings/sec, 170 secs
lola: 24294752 markings, 39710178 edges, 130797 markings/sec, 175 secs
lola: 24950716 markings, 40782394 edges, 131193 markings/sec, 180 secs
lola: 25599121 markings, 41842297 edges, 129681 markings/sec, 185 secs
lola: 26242181 markings, 42893402 edges, 128612 markings/sec, 190 secs
lola: 26889496 markings, 43951725 edges, 129463 markings/sec, 195 secs
lola: 27554823 markings, 45039146 edges, 133065 markings/sec, 200 secs
lola: 28213677 markings, 46116054 edges, 131771 markings/sec, 205 secs
lola: 28867347 markings, 47184589 edges, 130734 markings/sec, 210 secs
lola: 29530750 markings, 48268837 edges, 132681 markings/sec, 215 secs
lola: 30186363 markings, 49340518 edges, 131123 markings/sec, 220 secs
lola: 30834116 markings, 50399114 edges, 129551 markings/sec, 225 secs
lola: 31483303 markings, 51460248 edges, 129837 markings/sec, 230 secs
lola: 32134569 markings, 52524865 edges, 130253 markings/sec, 235 secs
lola: 32775186 markings, 53572127 edges, 128123 markings/sec, 240 secs
lola: 33417134 markings, 54621257 edges, 128390 markings/sec, 245 secs
lola: 34070670 markings, 55689441 edges, 130707 markings/sec, 250 secs
lola: 34719334 markings, 56749709 edges, 129733 markings/sec, 255 secs
lola: 35361070 markings, 57798692 edges, 128347 markings/sec, 260 secs
lola: 36008288 markings, 58856888 edges, 129444 markings/sec, 265 secs
lola: 36908283 markings, 60327615 edges, 179999 markings/sec, 270 secs
lola: 37547223 markings, 61372142 edges, 127788 markings/sec, 275 secs
lola: 38177331 markings, 62401936 edges, 126022 markings/sec, 280 secs
lola: 38809740 markings, 63435652 edges, 126482 markings/sec, 285 secs
lola: 39437626 markings, 64461902 edges, 125577 markings/sec, 290 secs
lola: 40068654 markings, 65493794 edges, 126206 markings/sec, 295 secs
lola: 40730307 markings, 66574979 edges, 132331 markings/sec, 300 secs
lola: 41386777 markings, 67648085 edges, 131294 markings/sec, 305 secs
lola: 42038744 markings, 68713700 edges, 130393 markings/sec, 310 secs
lola: 42695795 markings, 69787754 edges, 131410 markings/sec, 315 secs
lola: 43349490 markings, 70856193 edges, 130739 markings/sec, 320 secs
lola: 43997310 markings, 71915220 edges, 129564 markings/sec, 325 secs
lola: 44692482 markings, 73051369 edges, 139034 markings/sec, 330 secs
lola: 45344314 markings, 74116854 edges, 130366 markings/sec, 335 secs
lola: 45988201 markings, 75169422 edges, 128777 markings/sec, 340 secs
lola: 46626766 markings, 76213060 edges, 127713 markings/sec, 345 secs
lola: 47286624 markings, 77291580 edges, 131972 markings/sec, 350 secs
lola: 47941070 markings, 78361437 edges, 130889 markings/sec, 355 secs
lola: 48587441 markings, 79417886 edges, 129274 markings/sec, 360 secs
lola: 49235301 markings, 80476802 edges, 129572 markings/sec, 365 secs
lola: 49884196 markings, 81537495 edges, 129779 markings/sec, 370 secs
lola: 50526018 markings, 82586682 edges, 128364 markings/sec, 375 secs
lola: 51164798 markings, 83630782 edges, 127756 markings/sec, 380 secs
lola: 51805148 markings, 84677414 edges, 128070 markings/sec, 385 secs
lola: 52441578 markings, 85717710 edges, 127286 markings/sec, 390 secs
lola: 53071535 markings, 86747337 edges, 125991 markings/sec, 395 secs
lola: 53714363 markings, 87798175 edges, 128566 markings/sec, 400 secs
lola: 54360807 markings, 88854837 edges, 129289 markings/sec, 405 secs
lola: 54999769 markings, 89899410 edges, 127792 markings/sec, 410 secs
lola: 55640839 markings, 90947048 edges, 128214 markings/sec, 415 secs
lola: 56284516 markings, 91999180 edges, 128735 markings/sec, 420 secs
lola: 56921457 markings, 93040304 edges, 127388 markings/sec, 425 secs
lola: 57553008 markings, 94072370 edges, 126310 markings/sec, 430 secs
lola: 58188076 markings, 95110708 edges, 127014 markings/sec, 435 secs
lola: 58824752 markings, 96151282 edges, 127335 markings/sec, 440 secs
lola: 59618087 markings, 97448001 edges, 158667 markings/sec, 445 secs
lola: 60267704 markings, 98509827 edges, 129923 markings/sec, 450 secs
lola: 60934596 markings, 99599889 edges, 133378 markings/sec, 455 secs
lola: 61595648 markings, 100680435 edges, 132210 markings/sec, 460 secs
lola: 62249957 markings, 101749949 edges, 130862 markings/sec, 465 secs
lola: 62910978 markings, 102830444 edges, 132204 markings/sec, 470 secs
lola: 63565681 markings, 103900387 edges, 130941 markings/sec, 475 secs
lola: 64460293 markings, 105362707 edges, 178922 markings/sec, 480 secs
lola: 65113780 markings, 106430965 edges, 130697 markings/sec, 485 secs
lola: 65762050 markings, 107490721 edges, 129654 markings/sec, 490 secs
lola: 66401850 markings, 108536337 edges, 127960 markings/sec, 495 secs
lola: 67055890 markings, 109605541 edges, 130808 markings/sec, 500 secs
lola: 67715163 markings, 110683296 edges, 131855 markings/sec, 505 secs
lola: 68366833 markings, 111748555 edges, 130334 markings/sec, 510 secs
lola: 69015919 markings, 112809259 edges, 129817 markings/sec, 515 secs
lola: 69670103 markings, 113878504 edges, 130837 markings/sec, 520 secs
lola: 70312570 markings, 114928603 edges, 128493 markings/sec, 525 secs
lola: 70952295 markings, 115974183 edges, 127945 markings/sec, 530 secs
lola: 71603487 markings, 117038675 edges, 130238 markings/sec, 535 secs
lola: 72250037 markings, 118095451 edges, 129310 markings/sec, 540 secs
lola: 72888464 markings, 119139021 edges, 127685 markings/sec, 545 secs
lola: 73532741 markings, 120192197 edges, 128855 markings/sec, 550 secs
lola: 74181764 markings, 121253092 edges, 129805 markings/sec, 555 secs
lola: 74826810 markings, 122307256 edges, 129009 markings/sec, 560 secs
lola: 75463123 markings, 123347635 edges, 127263 markings/sec, 565 secs
lola: 76107651 markings, 124401095 edges, 128906 markings/sec, 570 secs
lola: 76748646 markings, 125448775 edges, 128199 markings/sec, 575 secs
lola: 77383534 markings, 126486306 edges, 126978 markings/sec, 580 secs
lola: 78018417 markings, 127524242 edges, 126977 markings/sec, 585 secs
lola: 78650629 markings, 128557526 edges, 126442 markings/sec, 590 secs
lola: 79278650 markings, 129584209 edges, 125604 markings/sec, 595 secs
lola: 79899465 markings, 130598997 edges, 124163 markings/sec, 600 secs
lola: 80566122 markings, 131688698 edges, 133331 markings/sec, 605 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((p80 <= 2) AND (G ((p80 <= 2)) OR G (F ((2 <= p361)))))) OR G ((2 <= p361)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((2 <= p361))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((2 <= p361))
lola: processed formula length: 15
lola: 80 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: 14 markings, 14 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((2 <= p42) U X (X (F ((p181 <= 1))))) AND G ((p218 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G ((p218 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p218 <= 2))
lola: processed formula length: 15
lola: 80 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: 669427 markings, 1094084 edges, 133885 markings/sec, 0 secs
lola: 1334451 markings, 2181113 edges, 133005 markings/sec, 5 secs
lola: 1990707 markings, 3253883 edges, 131251 markings/sec, 10 secs
lola: 2650414 markings, 4331995 edges, 131941 markings/sec, 15 secs
lola: 3307009 markings, 5405195 edges, 131319 markings/sec, 20 secs
lola: 3958398 markings, 6469764 edges, 130278 markings/sec, 25 secs
lola: 4605028 markings, 7526851 edges, 129326 markings/sec, 30 secs
lola: 5257850 markings, 8594015 edges, 130564 markings/sec, 35 secs
lola: 5901268 markings, 9645542 edges, 128684 markings/sec, 40 secs
lola: 6541928 markings, 10692857 edges, 128132 markings/sec, 45 secs
lola: 7198512 markings, 11765827 edges, 131317 markings/sec, 50 secs
lola: 7852362 markings, 12834725 edges, 130770 markings/sec, 55 secs
lola: 8501268 markings, 13895364 edges, 129781 markings/sec, 60 secs
lola: 9146630 markings, 14950338 edges, 129072 markings/sec, 65 secs
lola: 9797924 markings, 16014803 edges, 130259 markings/sec, 70 secs
lola: 10442632 markings, 17068588 edges, 128942 markings/sec, 75 secs
lola: 11082906 markings, 18115318 edges, 128055 markings/sec, 80 secs
lola: 11727242 markings, 19168269 edges, 128867 markings/sec, 85 secs
lola: 12366883 markings, 20214025 edges, 127928 markings/sec, 90 secs
lola: 12999436 markings, 21247848 edges, 126511 markings/sec, 95 secs
lola: 13637779 markings, 22291176 edges, 127669 markings/sec, 100 secs
lola: 14287055 markings, 23352360 edges, 129855 markings/sec, 105 secs
lola: 14930606 markings, 24404564 edges, 128710 markings/sec, 110 secs
lola: 15572378 markings, 25453436 edges, 128354 markings/sec, 115 secs
lola: 16221363 markings, 26514302 edges, 129797 markings/sec, 120 secs
lola: 16856728 markings, 27552812 edges, 127073 markings/sec, 125 secs
lola: 17491843 markings, 28590820 edges, 127023 markings/sec, 130 secs
lola: 18128429 markings, 29631283 edges, 127317 markings/sec, 135 secs
lola: 18766831 markings, 30675009 edges, 127680 markings/sec, 140 secs
lola: 19397786 markings, 31706366 edges, 126191 markings/sec, 145 secs
lola: 20026856 markings, 32734293 edges, 125814 markings/sec, 150 secs
lola: 20687489 markings, 33814427 edges, 132127 markings/sec, 155 secs
lola: 21344152 markings, 34887638 edges, 131333 markings/sec, 160 secs
lola: 21992352 markings, 35947083 edges, 129640 markings/sec, 165 secs
lola: 22641764 markings, 37008828 edges, 129882 markings/sec, 170 secs
lola: 23292575 markings, 38072349 edges, 130162 markings/sec, 175 secs
lola: 23937707 markings, 39126933 edges, 129026 markings/sec, 180 secs
lola: 24582573 markings, 40181076 edges, 128973 markings/sec, 185 secs
lola: 25225651 markings, 41232055 edges, 128616 markings/sec, 190 secs
lola: 25862542 markings, 42273204 edges, 127378 markings/sec, 195 secs
lola: 26493608 markings, 43304561 edges, 126213 markings/sec, 200 secs
lola: 27142591 markings, 44365590 edges, 129797 markings/sec, 205 secs
lola: 27796693 markings, 45434660 edges, 130820 markings/sec, 210 secs
lola: 28442638 markings, 46490464 edges, 129189 markings/sec, 215 secs
lola: 29087490 markings, 47544604 edges, 128970 markings/sec, 220 secs
lola: 29737491 markings, 48606904 edges, 130000 markings/sec, 225 secs
lola: 30381703 markings, 49659902 edges, 128842 markings/sec, 230 secs
lola: 31018721 markings, 50701168 edges, 127404 markings/sec, 235 secs
lola: 31662618 markings, 51753821 edges, 128779 markings/sec, 240 secs
lola: 32301404 markings, 52797826 edges, 127757 markings/sec, 245 secs
lola: 32932475 markings, 53829348 edges, 126214 markings/sec, 250 secs
lola: 33567372 markings, 54867025 edges, 126979 markings/sec, 255 secs
lola: 34210363 markings, 55918072 edges, 128598 markings/sec, 260 secs
lola: 34847860 markings, 56960175 edges, 127499 markings/sec, 265 secs
lola: 35476556 markings, 57987631 edges, 125739 markings/sec, 270 secs
lola: 36117262 markings, 59035029 edges, 128141 markings/sec, 275 secs
lola: 36753261 markings, 60074369 edges, 127200 markings/sec, 280 secs
lola: 37383663 markings, 61104890 edges, 126080 markings/sec, 285 secs
lola: 38013165 markings, 62133932 edges, 125900 markings/sec, 290 secs
lola: 38640710 markings, 63159907 edges, 125509 markings/sec, 295 secs
lola: 39264637 markings, 64179493 edges, 124785 markings/sec, 300 secs
lola: 39880866 markings, 65186789 edges, 123246 markings/sec, 305 secs
lola: 40529099 markings, 66246352 edges, 129647 markings/sec, 310 secs
lola: 41178264 markings, 67307463 edges, 129833 markings/sec, 315 secs
lola: 41820264 markings, 68356933 edges, 128400 markings/sec, 320 secs
lola: 42463131 markings, 69407639 edges, 128573 markings/sec, 325 secs
lola: 43105604 markings, 70457897 edges, 128495 markings/sec, 330 secs
lola: 43745003 markings, 71502985 edges, 127880 markings/sec, 335 secs
lola: 44372896 markings, 72529473 edges, 125579 markings/sec, 340 secs
lola: 45018021 markings, 73583860 edges, 129025 markings/sec, 345 secs
lola: 45657153 markings, 74628527 edges, 127826 markings/sec, 350 secs
lola: 46287549 markings, 75658806 edges, 126079 markings/sec, 355 secs
lola: 46926344 markings, 76702992 edges, 127759 markings/sec, 360 secs
lola: 47572178 markings, 77758690 edges, 129167 markings/sec, 365 secs
lola: 48212477 markings, 78805198 edges, 128060 markings/sec, 370 secs
lola: 48844188 markings, 79837880 edges, 126342 markings/sec, 375 secs
lola: 49484902 markings, 80885162 edges, 128143 markings/sec, 380 secs
lola: 50121938 markings, 81926191 edges, 127407 markings/sec, 385 secs
lola: 50753478 markings, 82958617 edges, 126308 markings/sec, 390 secs
lola: 51383818 markings, 83988991 edges, 126068 markings/sec, 395 secs
lola: 52010421 markings, 85013123 edges, 125321 markings/sec, 400 secs
lola: 52635381 markings, 86034672 edges, 124992 markings/sec, 405 secs
lola: 53249370 markings, 87038622 edges, 122798 markings/sec, 410 secs
lola: 53889894 markings, 88085195 edges, 128105 markings/sec, 415 secs
lola: 54524302 markings, 89122247 edges, 126882 markings/sec, 420 secs
lola: 55153485 markings, 90150546 edges, 125837 markings/sec, 425 secs
lola: 55785576 markings, 91183825 edges, 126418 markings/sec, 430 secs
lola: 56419538 markings, 92219974 edges, 126792 markings/sec, 435 secs
lola: 57047480 markings, 93246557 edges, 125588 markings/sec, 440 secs
lola: 57664569 markings, 94255080 edges, 123418 markings/sec, 445 secs
lola: 58294489 markings, 95284892 edges, 125984 markings/sec, 450 secs
lola: 58919157 markings, 96305778 edges, 124934 markings/sec, 455 secs
lola: 59535729 markings, 97313671 edges, 123314 markings/sec, 460 secs
lola: 60166476 markings, 98344658 edges, 126149 markings/sec, 465 secs
lola: 60822166 markings, 99416437 edges, 131138 markings/sec, 470 secs
lola: 61472083 markings, 100478753 edges, 129983 markings/sec, 475 secs
lola: 62112934 markings, 101525982 edges, 128170 markings/sec, 480 secs
lola: 62763606 markings, 102589775 edges, 130134 markings/sec, 485 secs
lola: 63410027 markings, 103646279 edges, 129284 markings/sec, 490 secs
lola: 64052312 markings, 104696144 edges, 128457 markings/sec, 495 secs
lola: 64694783 markings, 105746294 edges, 128494 markings/sec, 500 secs
lola: 65333549 markings, 106790358 edges, 127753 markings/sec, 505 secs
lola: 65966875 markings, 107825500 edges, 126665 markings/sec, 510 secs
lola: 66592494 markings, 108848427 edges, 125124 markings/sec, 515 secs
lola: 67242048 markings, 109910207 edges, 129911 markings/sec, 520 secs
lola: 67888420 markings, 110966672 edges, 129274 markings/sec, 525 secs
lola: 68526408 markings, 112009281 edges, 127598 markings/sec, 530 secs
lola: 69168936 markings, 113059562 edges, 128506 markings/sec, 535 secs
lola: 69809617 markings, 114106940 edges, 128136 markings/sec, 540 secs
lola: 70447393 markings, 115149237 edges, 127555 markings/sec, 545 secs
lola: 71077724 markings, 116179558 edges, 126066 markings/sec, 550 secs
lola: 71716705 markings, 117224026 edges, 127796 markings/sec, 555 secs
lola: 72351236 markings, 118261191 edges, 126906 markings/sec, 560 secs
lola: 72977106 markings, 119284294 edges, 125174 markings/sec, 565 secs
lola: 73612822 markings, 120323170 edges, 127143 markings/sec, 570 secs
lola: 74248028 markings, 121361485 edges, 127041 markings/sec, 575 secs
lola: 74879222 markings, 122393324 edges, 126239 markings/sec, 580 secs
lola: 75502146 markings, 123411632 edges, 124585 markings/sec, 585 secs
lola: 76131834 markings, 124440840 edges, 125938 markings/sec, 590 secs
lola: 76759282 markings, 125466288 edges, 125490 markings/sec, 595 secs
lola: 77380557 markings, 126481877 edges, 124255 markings/sec, 600 secs
lola: 78002064 markings, 127497835 edges, 124301 markings/sec, 605 secs
lola: 78620599 markings, 128508832 edges, 123707 markings/sec, 610 secs
lola: 79236410 markings, 129515244 edges, 123162 markings/sec, 615 secs
lola: 79844445 markings, 130508988 edges, 121607 markings/sec, 620 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
lola: memory consumption: 14181500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 14181236 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: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown yes no yes no unknown unknown unknown
rslt: finished
--------------------
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="JoinFreeModules-PT-0100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is JoinFreeModules-PT-0100, 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 r132-tall-162075428400218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 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 ;