About the Execution of 2020-gold for Vasy2003-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16254.231 | 3600000.00 | 3394670.00 | 31682.60 | TFT?FF?TFFFFTFFF | 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.r284-smll-162123894400106.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is Vasy2003-PT-none, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894400106
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 05:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 05:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 207K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Vasy2003-PT-none-00
FORMULA_NAME Vasy2003-PT-none-01
FORMULA_NAME Vasy2003-PT-none-02
FORMULA_NAME Vasy2003-PT-none-03
FORMULA_NAME Vasy2003-PT-none-04
FORMULA_NAME Vasy2003-PT-none-05
FORMULA_NAME Vasy2003-PT-none-06
FORMULA_NAME Vasy2003-PT-none-07
FORMULA_NAME Vasy2003-PT-none-08
FORMULA_NAME Vasy2003-PT-none-09
FORMULA_NAME Vasy2003-PT-none-10
FORMULA_NAME Vasy2003-PT-none-11
FORMULA_NAME Vasy2003-PT-none-12
FORMULA_NAME Vasy2003-PT-none-13
FORMULA_NAME Vasy2003-PT-none-14
FORMULA_NAME Vasy2003-PT-none-15
=== Now, execution of the tool begins
BK_START 1621447299547
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 18:01:43] [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-19 18:01:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 18:01:43] [INFO ] Load time of PNML (sax parser for PT used): 162 ms
[2021-05-19 18:01:43] [INFO ] Transformed 485 places.
[2021-05-19 18:01:43] [INFO ] Transformed 776 transitions.
[2021-05-19 18:01:43] [INFO ] Found NUPN structural information;
[2021-05-19 18:01:43] [INFO ] Parsed PT model containing 485 places and 776 transitions in 232 ms.
Ensure Unique test removed 24 transitions
Reduce redundant transitions removed 24 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 47 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 522 ms. (steps per millisecond=191 ) properties seen :[1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1]
[2021-05-19 18:01:43] [INFO ] Flow matrix only has 696 transitions (discarded 56 similar events)
// Phase 1: matrix 696 rows 485 cols
[2021-05-19 18:01:43] [INFO ] Computed 66 place invariants in 33 ms
[2021-05-19 18:01:44] [INFO ] [Real]Absence check using 59 positive place invariants in 99 ms returned sat
[2021-05-19 18:01:44] [INFO ] [Real]Absence check using 59 positive and 7 generalized place invariants in 12 ms returned sat
[2021-05-19 18:01:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 18:01:45] [INFO ] [Real]Absence check using state equation in 1275 ms returned sat
[2021-05-19 18:01:45] [INFO ] State equation strengthened by 73 read => feed constraints.
[2021-05-19 18:01:45] [INFO ] [Real]Added 73 Read/Feed constraints in 32 ms returned sat
[2021-05-19 18:01:46] [INFO ] Deduced a trap composed of 124 places in 354 ms
[2021-05-19 18:01:46] [INFO ] Deduced a trap composed of 132 places in 245 ms
[2021-05-19 18:01:46] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 742 ms
[2021-05-19 18:01:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 18:01:46] [INFO ] [Nat]Absence check using 59 positive place invariants in 92 ms returned sat
[2021-05-19 18:01:46] [INFO ] [Nat]Absence check using 59 positive and 7 generalized place invariants in 13 ms returned sat
[2021-05-19 18:01:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 18:01:48] [INFO ] [Nat]Absence check using state equation in 1100 ms returned sat
[2021-05-19 18:01:48] [INFO ] [Nat]Added 73 Read/Feed constraints in 27 ms returned sat
[2021-05-19 18:01:48] [INFO ] Deduced a trap composed of 132 places in 236 ms
[2021-05-19 18:01:48] [INFO ] Deduced a trap composed of 124 places in 309 ms
[2021-05-19 18:01:48] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 720 ms
[2021-05-19 18:01:48] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 129 ms.
[2021-05-19 18:02:06] [INFO ] Added : 515 causal constraints over 103 iterations in 17894 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 18:02:06] [INFO ] [Real]Absence check using 59 positive place invariants in 49 ms returned sat
[2021-05-19 18:02:06] [INFO ] [Real]Absence check using 59 positive and 7 generalized place invariants in 9 ms returned sat
[2021-05-19 18:02:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:07] [INFO ] [Real]Absence check using state equation in 1088 ms returned sat
[2021-05-19 18:02:07] [INFO ] [Real]Added 73 Read/Feed constraints in 19 ms returned sat
[2021-05-19 18:02:08] [INFO ] Deduced a trap composed of 129 places in 299 ms
[2021-05-19 18:02:08] [INFO ] Deduced a trap composed of 125 places in 387 ms
[2021-05-19 18:02:09] [INFO ] Deduced a trap composed of 128 places in 248 ms
[2021-05-19 18:02:09] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1130 ms
[2021-05-19 18:02:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 18:02:09] [INFO ] [Nat]Absence check using 59 positive place invariants in 50 ms returned sat
[2021-05-19 18:02:09] [INFO ] [Nat]Absence check using 59 positive and 7 generalized place invariants in 10 ms returned sat
[2021-05-19 18:02:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:10] [INFO ] [Nat]Absence check using state equation in 990 ms returned sat
[2021-05-19 18:02:10] [INFO ] [Nat]Added 73 Read/Feed constraints in 30 ms returned sat
[2021-05-19 18:02:10] [INFO ] Deduced a trap composed of 135 places in 381 ms
[2021-05-19 18:02:11] [INFO ] Deduced a trap composed of 132 places in 334 ms
[2021-05-19 18:02:11] [INFO ] Deduced a trap composed of 123 places in 318 ms
[2021-05-19 18:02:11] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1189 ms
[2021-05-19 18:02:11] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 60 ms.
[2021-05-19 18:02:29] [INFO ] Added : 610 causal constraints over 122 iterations in 17626 ms. Result :unknown
[2021-05-19 18:02:29] [INFO ] [Real]Absence check using 59 positive place invariants in 75 ms returned sat
[2021-05-19 18:02:29] [INFO ] [Real]Absence check using 59 positive and 7 generalized place invariants in 14 ms returned sat
[2021-05-19 18:02:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:30] [INFO ] [Real]Absence check using state equation in 1174 ms returned sat
[2021-05-19 18:02:30] [INFO ] [Real]Added 73 Read/Feed constraints in 28 ms returned sat
[2021-05-19 18:02:30] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 66 ms.
[2021-05-19 18:02:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 18:02:31] [INFO ] [Nat]Absence check using 59 positive place invariants in 68 ms returned sat
[2021-05-19 18:02:31] [INFO ] [Nat]Absence check using 59 positive and 7 generalized place invariants in 13 ms returned sat
[2021-05-19 18:02:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:32] [INFO ] [Nat]Absence check using state equation in 1091 ms returned sat
[2021-05-19 18:02:32] [INFO ] [Nat]Added 73 Read/Feed constraints in 34 ms returned sat
[2021-05-19 18:02:32] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 83 ms.
[2021-05-19 18:02:36] [INFO ] Added : 207 causal constraints over 42 iterations in 3763 ms. Result :sat
[2021-05-19 18:02:36] [INFO ] [Real]Absence check using 59 positive place invariants in 75 ms returned sat
[2021-05-19 18:02:36] [INFO ] [Real]Absence check using 59 positive and 7 generalized place invariants in 14 ms returned sat
[2021-05-19 18:02:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:37] [INFO ] [Real]Absence check using state equation in 1178 ms returned sat
[2021-05-19 18:02:37] [INFO ] [Real]Added 73 Read/Feed constraints in 19 ms returned sat
[2021-05-19 18:02:37] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 77 ms.
[2021-05-19 18:02:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 18:02:38] [INFO ] [Nat]Absence check using 59 positive place invariants in 73 ms returned sat
[2021-05-19 18:02:38] [INFO ] [Nat]Absence check using 59 positive and 7 generalized place invariants in 13 ms returned sat
[2021-05-19 18:02:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:39] [INFO ] [Nat]Absence check using state equation in 1147 ms returned sat
[2021-05-19 18:02:39] [INFO ] [Nat]Added 73 Read/Feed constraints in 50 ms returned sat
[2021-05-19 18:02:39] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 76 ms.
[2021-05-19 18:02:57] [INFO ] Added : 535 causal constraints over 107 iterations in 18558 ms. Result :unknown
[2021-05-19 18:02:58] [INFO ] [Real]Absence check using 59 positive place invariants in 72 ms returned sat
[2021-05-19 18:02:58] [INFO ] [Real]Absence check using 59 positive and 7 generalized place invariants in 14 ms returned sat
[2021-05-19 18:02:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 18:02:59] [INFO ] [Real]Absence check using state equation in 1102 ms returned sat
[2021-05-19 18:02:59] [INFO ] [Real]Added 73 Read/Feed constraints in 18 ms returned sat
[2021-05-19 18:02:59] [INFO ] Deduced a trap composed of 137 places in 237 ms
[2021-05-19 18:02:59] [INFO ] Deduced a trap composed of 125 places in 289 ms
[2021-05-19 18:03:00] [INFO ] Deduced a trap composed of 128 places in 325 ms
[2021-05-19 18:03:00] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1009 ms
[2021-05-19 18:03:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 18:03:00] [INFO ] [Nat]Absence check using 59 positive place invariants in 73 ms returned sat
[2021-05-19 18:03:00] [INFO ] [Nat]Absence check using 59 positive and 7 generalized place invariants in 13 ms returned sat
[2021-05-19 18:03:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 18:03:01] [INFO ] [Nat]Absence check using state equation in 1150 ms returned sat
[2021-05-19 18:03:01] [INFO ] [Nat]Added 73 Read/Feed constraints in 49 ms returned sat
[2021-05-19 18:03:02] [INFO ] Deduced a trap composed of 123 places in 366 ms
[2021-05-19 18:03:02] [INFO ] Deduced a trap composed of 129 places in 340 ms
[2021-05-19 18:03:02] [INFO ] Deduced a trap composed of 131 places in 287 ms
[2021-05-19 18:03:02] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1167 ms
[2021-05-19 18:03:02] [INFO ] Computed and/alt/rep : 751/5756/695 causal constraints in 77 ms.
[2021-05-19 18:03:07] [INFO ] Added : 220 causal constraints over 44 iterations in 4538 ms. Result :sat
[2021-05-19 18:03:08] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-19 18:03:08] [INFO ] Flatten gal took : 247 ms
FORMULA Vasy2003-PT-none-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Vasy2003-PT-none-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Vasy2003-PT-none-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 18:03:08] [INFO ] Applying decomposition
[2021-05-19 18:03:08] [INFO ] Flatten gal took : 125 ms
[2021-05-19 18:03:08] [INFO ] Decomposing Gal with order
[2021-05-19 18:03:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 18:03:09] [INFO ] Removed a total of 672 redundant transitions.
[2021-05-19 18:03:09] [INFO ] Flatten gal took : 612 ms
[2021-05-19 18:03:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 367 labels/synchronizations in 53 ms.
[2021-05-19 18:03:09] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 8 ms.
[2021-05-19 18:03:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Vasy2003-PT-none @ 3570 seconds
FORMULA Vasy2003-PT-none-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-03 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Vasy2003-PT-none-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 314
rslt: Output for LTLFireability @ Vasy2003-PT-none
{
"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",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 19 18:03:10 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": 2,
"visible_transitions": 0
},
"processed": "((p25 <= 0) OR (p27 <= 0))",
"processed_size": 27,
"rewrites": 119
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F ((G (((p216 <= 0))) OR (((p216 <= 0)) AND X (((p216 <= 0))))))",
"processed_size": 64,
"rewrites": 119
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 1,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(X (X ((F (((p197 <= 0))) OR G (((p126 <= 0) OR (p183 <= 0)))))) R (F (((1 <= p25) AND (1 <= p44))) U ((p197 <= 0))))",
"processed_size": 118,
"rewrites": 119
},
"result":
{
"edges": 44,
"markings": 40,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"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": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 1,
"aconj": 4,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((F (((1 <= p205) AND (1 <= p465))) AND ((((1 <= p205) AND (1 <= p465)) U X (((1 <= p126) AND (1 <= p207)))) OR ((1 <= p205) AND (1 <= p465))))))",
"processed_size": 150,
"rewrites": 119
},
"result":
{
"edges": 27,
"markings": 26,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"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": 2,
"visible_transitions": 0
},
"processed": "X (F (((1 <= p126) AND (1 <= p139))))",
"processed_size": 37,
"rewrites": 119
},
"result":
{
"edges": 25,
"markings": 25,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 411
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(X (F ((X (((p124 <= 0) OR (p341 <= 0))) AND G (F (((1 <= p137) AND (1 <= p480))))))) U G (((1 <= p137) AND (1 <= p480))))",
"processed_size": 123,
"rewrites": 119
},
"result":
{
"edges": 26,
"markings": 26,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 10
},
"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": 479
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(X ((F (((p268 <= 0) OR (p465 <= 0))) OR ((1 <= p25) AND (1 <= p38)))) U ((1 <= p422) AND (1 <= p480)))",
"processed_size": 104,
"rewrites": 119
},
"result":
{
"edges": 50,
"markings": 49,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 575
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 3,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((X (G (((p370 <= 0)))) R (((p126 <= 0) OR (p243 <= 0)) R ((p439 <= 0) OR (p482 <= 0)))))",
"processed_size": 93,
"rewrites": 119
},
"result":
{
"edges": 162,
"markings": 88,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 719
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (G ((X (X (((1 <= p19) AND (1 <= p44)))) OR F (((1 <= p74) AND (1 <= p123))))))",
"processed_size": 81,
"rewrites": 119
},
"result":
{
"edges": 56390,
"markings": 23607,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 959
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"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": 2,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p124) AND (1 <= p385))))",
"processed_size": 37,
"rewrites": 119
},
"result":
{
"edges": 7,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1438
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 4,
"G": 5,
"U": 1,
"X": 0,
"aconj": 5,
"adisj": 0,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G ((((F (((1 <= p454) AND (1 <= p484))) U G (((1 <= p454) AND (1 <= p484)))) OR (G (F (((1 <= p126) AND (1 <= p430)))) AND F (G (((1 <= p454) AND (1 <= p484)))))) AND G (F (((1 <= p124) AND (1 <= p368))))))",
"processed_size": 206,
"rewrites": 119
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 18
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2877
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2877
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": "((p107 <= 0))",
"processed_size": 13,
"rewrites": 119
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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": "((p107 <= 0))",
"processed_size": 13,
"rewrites": 121
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3252,
"runtime": 3256.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X(G((G(**) OR **))) OR (F((G(*) OR (* AND X(*)))) AND **)) : G((((F(**) U G(**)) OR (G(F(**)) AND F(G(**)))) AND G(F(**)))) : (X(X((F(*) OR G(*)))) R (F(**) U **)) : F(G((X((G(*) AND *)) OR G(F(*))))) : F(G((F(**) AND ((** U X(**)) OR **)))) : G((F(G(**)) AND (X(X(F(*))) R *))) : (F(**) OR (** OR (F(G(*)) AND **))) : X(F(**)) : (X(F((X(*) AND G(F(**))))) U G(**)) : (X((F(*) OR **)) U **) : G((X(G(*)) R (* R *))) : F(G(**)) : X(G((X(X(**)) OR F(**))))"
},
"net":
{
"arcs": 2731,
"conflict_clusters": 188,
"places": 485,
"places_significant": 419,
"singleton_clusters": 0,
"transitions": 752
},
"result":
{
"preliminary_value": "yes no yes unknown no unknown yes no no no no no no ",
"value": "yes no yes unknown no unknown yes no no no no no no "
},
"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: 1237/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 485
lola: finding significant places
lola: 485 places, 752 transitions, 419 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: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p368 <= 1)
lola: LP says that atomic proposition is always true: (p197 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p183 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p44 <= 1)
lola: LP says that atomic proposition is always true: (p197 <= 1)
lola: LP says that atomic proposition is always true: (p360 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p360 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p398 <= 1)
lola: LP says that atomic proposition is always true: (p360 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p207 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p252 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p252 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p252 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p183 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p341 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p370 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p243 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p482 <= 1)
lola: LP says that atomic proposition is always true: (p355 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p252 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p385 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p44 <= 1)
lola: LP says that atomic proposition is always true: (p345 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: (G (X ((G (((1 <= p25) AND (1 <= p27))) OR ((1 <= p96) AND (1 <= p114))))) OR (NOT(G ((((1 <= p216)) U X (((1 <= p216)))))) AND ((p25 <= 0) OR (p27 <= 0)))) : G (((G (F (((1 <= p126) AND (1 <= p430)))) U (F (((1 <= p454) AND (1 <= p484))) U G (((1 <= p454) AND (1 <= p484))))) AND G (F (((1 <= p124) AND (1 <= p368)))))) : NOT((X (X ((G (((1 <= p197))) AND F (((1 <= p126) AND (1 <= p183)))))) U NOT((F (((1 <= p25) AND (1 <= p44))) U ((p197 <= 0)))))) : F ((((1 <= p360) AND (1 <= p465)) U X (NOT(F ((X ((F (((1 <= p360) AND (1 <= p465))) OR ((1 <= p124) AND (1 <= p398)))) AND F (G (((1 <= p360) AND (1 <= p465)))))))))) : F (G (X (F (G (((((1 <= p205) AND (1 <= p465)) U X (((1 <= p126) AND (1 <= p207)))) U ((1 <= p205) AND (1 <= p465)))))))) : G ((F (G (((p252 <= 0) OR (p465 <= 0)))) AND NOT((G (X (G (X (G (((1 <= p252) AND (1 <= p465))))))) U ((1 <= p252) AND (1 <= p465)))))) : ((F (((1 <= p107))) OR ((1 <= p183) AND (1 <= p480))) OR (NOT(X (G (F (((1 <= p53)))))) AND ((p107 <= 0)))) : F (((((1 <= p126) AND (1 <= p139)) U ((1 <= p124) AND (1 <= p161))) U X (((1 <= p126) AND (1 <= p139))))) : (NOT(G (X ((X (((1 <= p124) AND (1 <= p341))) OR NOT(G (F (((1 <= p137) AND (1 <= p480))))))))) U G (((1 <= p137) AND (1 <= p480)))) : (X ((NOT(G (((1 <= p268) AND (1 <= p465)))) OR ((1 <= p25) AND (1 <= p38)))) U ((1 <= p422) AND (1 <= p480))) : G (NOT((F (X (((1 <= p370)))) U (((1 <= p126) AND (1 <= p243)) U ((1 <= p439) AND (1 <= p482)))))) : F (NOT(F (((G (X (((1 <= p355) AND (1 <= p480)))) OR ((1 <= p252) AND (1 <= p465))) U NOT(X (G (((1 <= p124) AND (1 <= p385))))))))) : NOT(X (F (NOT(G ((X (X (((1 <= p19) AND (1 <= p44)))) OR F ((F (((1 <= p345))) U ((1 <= p74) AND (1 <= p123))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
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:522
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G ((G (((1 <= p25) AND (1 <= p27))) OR ((1 <= p96) AND (1 <= p114))))) OR (F ((G (((p216 <= 0))) OR (((p216 <= 0)) AND X (((p216 <= 0)))))) AND ((p25 <= 0) OR (p27 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p25 <= 0) OR (p27 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p25 <= 0) OR (p27 <= 0))
lola: processed formula length: 27
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((p216 <= 0))) OR (((p216 <= 0)) AND X (((p216 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((p216 <= 0))) OR (((p216 <= 0)) AND X (((p216 <= 0))))))
lola: processed formula length: 64
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((F (((p197 <= 0))) OR G (((p126 <= 0) OR (p183 <= 0)))))) R (F (((1 <= p25) AND (1 <= p44))) U ((p197 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X ((F (((p197 <= 0))) OR G (((p126 <= 0) OR (p183 <= 0)))))) R (F (((1 <= p25) AND (1 <= p44))) U ((p197 <= 0))))
lola: processed formula length: 118
lola: 119 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: 40 markings, 44 edges
lola: ========================================
lola: subprocess 2 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X ((G (((p360 <= 0) OR (p465 <= 0))) AND ((p124 <= 0) OR (p398 <= 0)))) OR G (F (((p360 <= 0) OR (p465 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X ((G (((p360 <= 0) OR (p465 <= 0))) AND ((p124 <= 0) OR (p398 <= 0)))) OR G (F (((p360 <= 0) OR (p465 <= 0)))))))
lola: processed formula length: 124
lola: 119 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: 386041 markings, 991956 edges, 77208 markings/sec, 0 secs
lola: 775877 markings, 2019608 edges, 77967 markings/sec, 5 secs
lola: 1164531 markings, 3022706 edges, 77731 markings/sec, 10 secs
lola: 1545082 markings, 4014551 edges, 76110 markings/sec, 15 secs
lola: 1929501 markings, 5015367 edges, 76884 markings/sec, 20 secs
lola: 2297657 markings, 6014028 edges, 73631 markings/sec, 25 secs
lola: 2668625 markings, 7003112 edges, 74194 markings/sec, 30 secs
lola: 3040635 markings, 7979159 edges, 74402 markings/sec, 35 secs
lola: 3419175 markings, 8966760 edges, 75708 markings/sec, 40 secs
lola: 3769321 markings, 9911827 edges, 70029 markings/sec, 45 secs
lola: 4130693 markings, 10876952 edges, 72274 markings/sec, 50 secs
lola: 4492481 markings, 11813514 edges, 72358 markings/sec, 55 secs
lola: 4861905 markings, 12784172 edges, 73885 markings/sec, 60 secs
lola: 5224047 markings, 13753828 edges, 72428 markings/sec, 65 secs
lola: 5599105 markings, 14725735 edges, 75012 markings/sec, 70 secs
lola: 5990187 markings, 15729008 edges, 78216 markings/sec, 75 secs
lola: 6373981 markings, 16728745 edges, 76759 markings/sec, 80 secs
lola: 6753348 markings, 17717090 edges, 75873 markings/sec, 85 secs
lola: 7134002 markings, 18706871 edges, 76131 markings/sec, 90 secs
lola: 7510192 markings, 19689033 edges, 75238 markings/sec, 95 secs
lola: 7875894 markings, 20652711 edges, 73140 markings/sec, 100 secs
lola: 8235650 markings, 21601381 edges, 71951 markings/sec, 105 secs
lola: 8596149 markings, 22559569 edges, 72100 markings/sec, 110 secs
lola: 8965219 markings, 23529101 edges, 73814 markings/sec, 115 secs
lola: 9317227 markings, 24459652 edges, 70402 markings/sec, 120 secs
lola: 9669256 markings, 25406537 edges, 70406 markings/sec, 125 secs
lola: 10023630 markings, 26351175 edges, 70875 markings/sec, 130 secs
lola: 10380447 markings, 27292134 edges, 71363 markings/sec, 135 secs
lola: 10730586 markings, 28240877 edges, 70028 markings/sec, 140 secs
lola: 11082876 markings, 29175291 edges, 70458 markings/sec, 145 secs
lola: 11431486 markings, 30111299 edges, 69722 markings/sec, 150 secs
lola: 11781772 markings, 31049396 edges, 70057 markings/sec, 155 secs
lola: 12127467 markings, 31976626 edges, 69139 markings/sec, 160 secs
lola: 12467252 markings, 32896385 edges, 67957 markings/sec, 165 secs
lola: 12799530 markings, 33802699 edges, 66456 markings/sec, 170 secs
lola: 13140014 markings, 34727984 edges, 68097 markings/sec, 175 secs
lola: 13472026 markings, 35617866 edges, 66402 markings/sec, 180 secs
lola: 13822251 markings, 36553342 edges, 70045 markings/sec, 185 secs
lola: 14159540 markings, 37472658 edges, 67458 markings/sec, 190 secs
lola: 14503365 markings, 38385249 edges, 68765 markings/sec, 195 secs
lola: 14846693 markings, 39302967 edges, 68666 markings/sec, 200 secs
lola: 15185187 markings, 40232272 edges, 67699 markings/sec, 205 secs
lola: 15522580 markings, 41144865 edges, 67479 markings/sec, 210 secs
lola: 15867059 markings, 42069006 edges, 68896 markings/sec, 215 secs
lola: 16207941 markings, 42994000 edges, 68176 markings/sec, 220 secs
lola: 16531103 markings, 43894866 edges, 64632 markings/sec, 225 secs
lola: 16880039 markings, 44815365 edges, 69787 markings/sec, 230 secs
lola: 17217196 markings, 45715964 edges, 67431 markings/sec, 235 secs
lola: 17554599 markings, 46611985 edges, 67481 markings/sec, 240 secs
lola: 17883373 markings, 47496419 edges, 65755 markings/sec, 245 secs
lola: 18215618 markings, 48400210 edges, 66449 markings/sec, 250 secs
lola: 18562166 markings, 49323894 edges, 69310 markings/sec, 255 secs
lola: 18899035 markings, 50227721 edges, 67374 markings/sec, 260 secs
lola: 19225818 markings, 51134283 edges, 65357 markings/sec, 265 secs
lola: 19564108 markings, 52045995 edges, 67658 markings/sec, 270 secs
lola: 19902391 markings, 52972820 edges, 67657 markings/sec, 275 secs
lola: 20236233 markings, 53863573 edges, 66768 markings/sec, 280 secs
lola: 20568569 markings, 54756566 edges, 66467 markings/sec, 285 secs
lola: 20898719 markings, 55654438 edges, 66030 markings/sec, 290 secs
lola: 21239760 markings, 56563013 edges, 68208 markings/sec, 295 secs
lola: 21560010 markings, 57465190 edges, 64050 markings/sec, 300 secs
lola: 21910912 markings, 58394920 edges, 70180 markings/sec, 305 secs
lola: 22263850 markings, 59325293 edges, 70588 markings/sec, 310 secs
lola: 22606408 markings, 60253733 edges, 68512 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5627240 KB
lola: time consumption: 333 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 3 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p205) AND (1 <= p465))) AND ((((1 <= p205) AND (1 <= p465)) U X (((1 <= p126) AND (1 <= p207)))) OR ((1 <= p205) AND (1 <= p465))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p205) AND (1 <= p465))) AND ((((1 <= p205) AND (1 <= p465)) U X (((1 <= p126) AND (1 <= p207)))) OR ((1 <= p205) AND (1 <= p465))))))
lola: processed formula length: 150
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 26 markings, 27 edges
lola: ========================================
lola: subprocess 4 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G (((p252 <= 0) OR (p465 <= 0)))) AND (X (X (F (((p252 <= 0) OR (p465 <= 0))))) R ((p252 <= 0) OR (p465 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G (((p252 <= 0) OR (p465 <= 0)))) AND (X (X (F (((p252 <= 0) OR (p465 <= 0))))) R ((p252 <= 0) OR (p465 <= 0)))))
lola: processed formula length: 123
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 388506 markings, 999923 edges, 77701 markings/sec, 0 secs
lola: 787431 markings, 2023553 edges, 79785 markings/sec, 5 secs
lola: 1180636 markings, 3061776 edges, 78641 markings/sec, 10 secs
lola: 1576055 markings, 4096584 edges, 79084 markings/sec, 15 secs
lola: 1961327 markings, 5111614 edges, 77054 markings/sec, 20 secs
lola: 2358548 markings, 6142313 edges, 79444 markings/sec, 25 secs
lola: 2752380 markings, 7168968 edges, 78766 markings/sec, 30 secs
lola: 3143496 markings, 8194517 edges, 78223 markings/sec, 35 secs
lola: 3527647 markings, 9201241 edges, 76830 markings/sec, 40 secs
lola: 3902541 markings, 10196262 edges, 74979 markings/sec, 45 secs
lola: 4275618 markings, 11184218 edges, 74615 markings/sec, 50 secs
lola: 4647488 markings, 12181824 edges, 74374 markings/sec, 55 secs
lola: 5020691 markings, 13166316 edges, 74641 markings/sec, 60 secs
lola: 5397783 markings, 14152711 edges, 75418 markings/sec, 65 secs
lola: 5768043 markings, 15116937 edges, 74052 markings/sec, 70 secs
lola: 6128873 markings, 16085261 edges, 72166 markings/sec, 75 secs
lola: 6477237 markings, 17010780 edges, 69673 markings/sec, 80 secs
lola: 6839610 markings, 17962336 edges, 72475 markings/sec, 85 secs
lola: 7194260 markings, 18928219 edges, 70930 markings/sec, 90 secs
lola: 7554804 markings, 19891046 edges, 72109 markings/sec, 95 secs
lola: 7924151 markings, 20868847 edges, 73869 markings/sec, 100 secs
lola: 8298046 markings, 21856832 edges, 74779 markings/sec, 105 secs
lola: 8675131 markings, 22841297 edges, 75417 markings/sec, 110 secs
lola: 9050367 markings, 23826203 edges, 75047 markings/sec, 115 secs
lola: 9415565 markings, 24809669 edges, 73040 markings/sec, 120 secs
lola: 9786179 markings, 25783695 edges, 74123 markings/sec, 125 secs
lola: 10146272 markings, 26747540 edges, 72019 markings/sec, 130 secs
lola: 10510684 markings, 27720323 edges, 72882 markings/sec, 135 secs
lola: 10879561 markings, 28689141 edges, 73775 markings/sec, 140 secs
lola: 11235709 markings, 29633524 edges, 71230 markings/sec, 145 secs
lola: 11597524 markings, 30579025 edges, 72363 markings/sec, 150 secs
lola: 11945987 markings, 31525504 edges, 69693 markings/sec, 155 secs
lola: 12294393 markings, 32438550 edges, 69681 markings/sec, 160 secs
lola: 12637422 markings, 33377243 edges, 68606 markings/sec, 165 secs
lola: 12988925 markings, 34315010 edges, 70301 markings/sec, 170 secs
lola: 13348668 markings, 35267980 edges, 71949 markings/sec, 175 secs
lola: 13689115 markings, 36216333 edges, 68089 markings/sec, 180 secs
lola: 14039044 markings, 37154750 edges, 69986 markings/sec, 185 secs
lola: 14399972 markings, 38098156 edges, 72186 markings/sec, 190 secs
lola: 14745012 markings, 39031120 edges, 69008 markings/sec, 195 secs
lola: 15092020 markings, 39966585 edges, 69402 markings/sec, 200 secs
lola: 15438784 markings, 40905023 edges, 69353 markings/sec, 205 secs
lola: 15787496 markings, 41845491 edges, 69742 markings/sec, 210 secs
lola: 16131320 markings, 42783431 edges, 68765 markings/sec, 215 secs
lola: 16475577 markings, 43724584 edges, 68851 markings/sec, 220 secs
lola: 16831538 markings, 44678619 edges, 71192 markings/sec, 225 secs
lola: 17179044 markings, 45614479 edges, 69501 markings/sec, 230 secs
lola: 17515517 markings, 46541859 edges, 67295 markings/sec, 235 secs
lola: 17856558 markings, 47460042 edges, 68208 markings/sec, 240 secs
lola: 18201081 markings, 48381165 edges, 68905 markings/sec, 245 secs
lola: 18547410 markings, 49318536 edges, 69266 markings/sec, 250 secs
lola: 18897363 markings, 50247469 edges, 69991 markings/sec, 255 secs
lola: 19240951 markings, 51196560 edges, 68718 markings/sec, 260 secs
lola: 19592730 markings, 52134486 edges, 70356 markings/sec, 265 secs
lola: 19932888 markings, 53066498 edges, 68032 markings/sec, 270 secs
lola: 20269401 markings, 53984504 edges, 67303 markings/sec, 275 secs
lola: 20604441 markings, 54904149 edges, 67008 markings/sec, 280 secs
lola: 20947581 markings, 55828902 edges, 68628 markings/sec, 285 secs
lola: 21302396 markings, 56775981 edges, 70963 markings/sec, 290 secs
lola: 21640726 markings, 57709979 edges, 67666 markings/sec, 295 secs
lola: 21983408 markings, 58637395 edges, 68536 markings/sec, 300 secs
lola: 22331401 markings, 59569820 edges, 69599 markings/sec, 305 secs
lola: 22678399 markings, 60502496 edges, 69400 markings/sec, 310 secs
lola: 23041215 markings, 61469330 edges, 72563 markings/sec, 315 secs
lola: 23393227 markings, 62413182 edges, 70402 markings/sec, 320 secs
lola: 23737844 markings, 63343294 edges, 68923 markings/sec, 325 secs
lola: 24077356 markings, 64266001 edges, 67902 markings/sec, 330 secs
lola: 24416092 markings, 65184411 edges, 67747 markings/sec, 335 secs
lola: 24751815 markings, 66097335 edges, 67145 markings/sec, 340 secs
lola: 25091560 markings, 67018990 edges, 67949 markings/sec, 345 secs
lola: 25428467 markings, 67939545 edges, 67381 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6330524 KB
lola: time consumption: 692 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p126) AND (1 <= p139))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p126) AND (1 <= p139))))
lola: processed formula length: 37
lola: 119 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: 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: 25 markings, 25 edges
lola: ========================================
lola: subprocess 6 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((X (((p124 <= 0) OR (p341 <= 0))) AND G (F (((1 <= p137) AND (1 <= p480))))))) U G (((1 <= p137) AND (1 <= p480))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F ((X (((p124 <= 0) OR (p341 <= 0))) AND G (F (((1 <= p137) AND (1 <= p480))))))) U G (((1 <= p137) AND (1 <= p480))))
lola: processed formula length: 123
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 26 markings, 26 edges
lola: ========================================
lola: subprocess 7 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((F (((p268 <= 0) OR (p465 <= 0))) OR ((1 <= p25) AND (1 <= p38)))) U ((1 <= p422) AND (1 <= p480)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X ((F (((p268 <= 0) OR (p465 <= 0))) OR ((1 <= p25) AND (1 <= p38)))) U ((1 <= p422) AND (1 <= p480)))
lola: processed formula length: 104
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 49 markings, 50 edges
lola: ========================================
lola: subprocess 8 will run for 575 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (G (((p370 <= 0)))) R (((p126 <= 0) OR (p243 <= 0)) R ((p439 <= 0) OR (p482 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G (((p370 <= 0)))) R (((p126 <= 0) OR (p243 <= 0)) R ((p439 <= 0) OR (p482 <= 0)))))
lola: processed formula length: 93
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 88 markings, 162 edges
lola: ========================================
lola: subprocess 9 will run for 719 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (X (((1 <= p19) AND (1 <= p44)))) OR F (((1 <= p74) AND (1 <= p123))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (X (((1 <= p19) AND (1 <= p44)))) OR F (((1 <= p74) AND (1 <= p123))))))
lola: processed formula length: 81
lola: 119 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: 23607 markings, 56390 edges
lola: ========================================
lola: subprocess 10 will run for 959 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p124) AND (1 <= p385))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p124) AND (1 <= p385))))
lola: processed formula length: 37
lola: 119 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: 6 markings, 7 edges
lola: ========================================
lola: subprocess 11 will run for 1438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((F (((1 <= p454) AND (1 <= p484))) U G (((1 <= p454) AND (1 <= p484)))) OR (G (F (((1 <= p126) AND (1 <= p430)))) AND F (G (((1 <= p454) AND (1 <= p484)))))) AND G (F (((1 <= p124) AND (1 <= p368))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((F (((1 <= p454) AND (1 <= p484))) U G (((1 <= p454) AND (1 <= p484)))) OR (G (F (((1 <= p126) AND (1 <= p430)))) AND F (G (((1 <= p454) AND (1 <= p484)))))) AND G (F (((1 <= p124) AND (1 <= p368))))))
lola: processed formula length: 206
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 5 markings, 5 edges
lola: ========================================
lola: subprocess 12 will run for 2877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p107))) OR (((1 <= p183) AND (1 <= p480)) OR (F (G (((p53 <= 0)))) AND ((p107 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 2877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p107 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p107 <= 0))
lola: processed formula length: 13
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p107)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p107 <= 0))
lola: processed formula length: 13
lola: 121 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F (G ((X ((G (((p360 <= 0) OR (p465 <= 0))) AND ((p124 <= 0) OR (p398 <= 0)))) OR G (F (((p360 <= 0) OR (p465 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X ((G (((p360 <= 0) OR (p465 <= 0))) AND ((p124 <= 0) OR (p398 <= 0)))) OR G (F (((p360 <= 0) OR (p465 <= 0)))))))
lola: processed formula length: 124
lola: 119 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: 377569 markings, 970765 edges, 75514 markings/sec, 0 secs
lola: 766540 markings, 1994893 edges, 77794 markings/sec, 5 secs
lola: 1156785 markings, 3001983 edges, 78049 markings/sec, 10 secs
lola: 1539799 markings, 3999915 edges, 76603 markings/sec, 15 secs
lola: 1925725 markings, 5005722 edges, 77185 markings/sec, 20 secs
lola: 2296098 markings, 6009972 edges, 74075 markings/sec, 25 secs
lola: 2668849 markings, 7003658 edges, 74550 markings/sec, 30 secs
lola: 3043212 markings, 7985323 edges, 74873 markings/sec, 35 secs
lola: 3422281 markings, 8975236 edges, 75814 markings/sec, 40 secs
lola: 3787395 markings, 9959167 edges, 73023 markings/sec, 45 secs
lola: 4151999 markings, 10931872 edges, 72921 markings/sec, 50 secs
lola: 4530773 markings, 11915713 edges, 75755 markings/sec, 55 secs
lola: 4900832 markings, 12883767 edges, 74012 markings/sec, 60 secs
lola: 5262578 markings, 13853986 edges, 72349 markings/sec, 65 secs
lola: 5656490 markings, 14870114 edges, 78782 markings/sec, 70 secs
lola: 6048975 markings, 15880826 edges, 78497 markings/sec, 75 secs
lola: 6431465 markings, 16876803 edges, 76498 markings/sec, 80 secs
lola: 6810774 markings, 17865716 edges, 75862 markings/sec, 85 secs
lola: 7191116 markings, 18854984 edges, 76068 markings/sec, 90 secs
lola: 7564194 markings, 19832211 edges, 74616 markings/sec, 95 secs
lola: 7929881 markings, 20790535 edges, 73137 markings/sec, 100 secs
lola: 8288197 markings, 21738183 edges, 71663 markings/sec, 105 secs
lola: 8645832 markings, 22698539 edges, 71527 markings/sec, 110 secs
lola: 9016692 markings, 23661456 edges, 74172 markings/sec, 115 secs
lola: 9366031 markings, 24590098 edges, 69868 markings/sec, 120 secs
lola: 9719704 markings, 25537497 edges, 70735 markings/sec, 125 secs
lola: 10071340 markings, 26478834 edges, 70327 markings/sec, 130 secs
lola: 10428377 markings, 27420939 edges, 71407 markings/sec, 135 secs
lola: 10776405 markings, 28366046 edges, 69606 markings/sec, 140 secs
lola: 11128051 markings, 29294866 edges, 70329 markings/sec, 145 secs
lola: 11474029 markings, 30226519 edges, 69196 markings/sec, 150 secs
lola: 11825081 markings, 31159892 edges, 70210 markings/sec, 155 secs
lola: 12170247 markings, 32093142 edges, 69033 markings/sec, 160 secs
lola: 12508129 markings, 33006264 edges, 67576 markings/sec, 165 secs
lola: 12841005 markings, 33916685 edges, 66575 markings/sec, 170 secs
lola: 13181118 markings, 34840675 edges, 68023 markings/sec, 175 secs
lola: 13531370 markings, 35773502 edges, 70050 markings/sec, 180 secs
lola: 13881998 markings, 36713991 edges, 70126 markings/sec, 185 secs
lola: 14219105 markings, 37630888 edges, 67421 markings/sec, 190 secs
lola: 14563035 markings, 38548469 edges, 68786 markings/sec, 195 secs
lola: 14909603 markings, 39475035 edges, 69314 markings/sec, 200 secs
lola: 15247402 markings, 40402846 edges, 67560 markings/sec, 205 secs
lola: 15588248 markings, 41316208 edges, 68169 markings/sec, 210 secs
lola: 15931292 markings, 42236604 edges, 68609 markings/sec, 215 secs
lola: 16261426 markings, 43147784 edges, 66027 markings/sec, 220 secs
lola: 16587598 markings, 44045845 edges, 65234 markings/sec, 225 secs
lola: 16931532 markings, 44956291 edges, 68787 markings/sec, 230 secs
lola: 17269556 markings, 45855658 edges, 67605 markings/sec, 235 secs
lola: 17604970 markings, 46750743 edges, 67083 markings/sec, 240 secs
lola: 17934929 markings, 47637667 edges, 65992 markings/sec, 245 secs
lola: 18268971 markings, 48542404 edges, 66808 markings/sec, 250 secs
lola: 18621594 markings, 49482502 edges, 70525 markings/sec, 255 secs
lola: 18952400 markings, 50382990 edges, 66161 markings/sec, 260 secs
lola: 19282571 markings, 51293154 edges, 66034 markings/sec, 265 secs
lola: 19621810 markings, 52208994 edges, 67848 markings/sec, 270 secs
lola: 19968547 markings, 53146317 edges, 69347 markings/sec, 275 secs
lola: 20306827 markings, 54049034 edges, 67656 markings/sec, 280 secs
lola: 20641971 markings, 54951890 edges, 67029 markings/sec, 285 secs
lola: 20980860 markings, 55868777 edges, 67778 markings/sec, 290 secs
lola: 21317772 markings, 56780543 edges, 67382 markings/sec, 295 secs
lola: 21647488 markings, 57702062 edges, 65943 markings/sec, 300 secs
lola: 22006739 markings, 58646672 edges, 71850 markings/sec, 305 secs
lola: 22363478 markings, 59591275 edges, 71348 markings/sec, 310 secs
lola: 22708632 markings, 60525323 edges, 69031 markings/sec, 315 secs
lola: 23056738 markings, 61449282 edges, 69621 markings/sec, 320 secs
lola: 23414657 markings, 62403292 edges, 71584 markings/sec, 325 secs
lola: 23753978 markings, 63323308 edges, 67864 markings/sec, 330 secs
lola: 24102815 markings, 64248182 edges, 69767 markings/sec, 335 secs
lola: 24462225 markings, 65190810 edges, 71882 markings/sec, 340 secs
lola: 24806395 markings, 66112426 edges, 68834 markings/sec, 345 secs
lola: 25149724 markings, 67044470 edges, 68666 markings/sec, 350 secs
lola: 25498633 markings, 67969874 edges, 69782 markings/sec, 355 secs
lola: 25846847 markings, 68904899 edges, 69643 markings/sec, 360 secs
lola: 26179795 markings, 69817807 edges, 66590 markings/sec, 365 secs
lola: 26503531 markings, 70706421 edges, 64747 markings/sec, 370 secs
lola: 26842018 markings, 71612318 edges, 67697 markings/sec, 375 secs
lola: 27195613 markings, 72540544 edges, 70719 markings/sec, 380 secs
lola: 27537044 markings, 73452671 edges, 68286 markings/sec, 385 secs
lola: 27857301 markings, 74303012 edges, 64051 markings/sec, 390 secs
lola: 28199636 markings, 75222733 edges, 68467 markings/sec, 395 secs
lola: 28534933 markings, 76139294 edges, 67059 markings/sec, 400 secs
lola: 28871192 markings, 77055070 edges, 67252 markings/sec, 405 secs
lola: 29203721 markings, 77959469 edges, 66506 markings/sec, 410 secs
lola: 29541309 markings, 78873355 edges, 67518 markings/sec, 415 secs
lola: 29863857 markings, 79760044 edges, 64510 markings/sec, 420 secs
lola: 30188581 markings, 80635675 edges, 64945 markings/sec, 425 secs
lola: 30528906 markings, 81537700 edges, 68065 markings/sec, 430 secs
lola: 30866517 markings, 82458499 edges, 67522 markings/sec, 435 secs
lola: 31209884 markings, 83390673 edges, 68673 markings/sec, 440 secs
lola: 31549356 markings, 84312731 edges, 67894 markings/sec, 445 secs
lola: 31866122 markings, 85173453 edges, 63353 markings/sec, 450 secs
lola: 32184452 markings, 86068425 edges, 63666 markings/sec, 455 secs
lola: 32502001 markings, 86920122 edges, 63510 markings/sec, 460 secs
lola: 32844704 markings, 87834156 edges, 68541 markings/sec, 465 secs
lola: 33178411 markings, 88743428 edges, 66741 markings/sec, 470 secs
lola: 33511056 markings, 89650363 edges, 66529 markings/sec, 475 secs
lola: 33829149 markings, 90506418 edges, 63619 markings/sec, 480 secs
lola: 34148562 markings, 91377000 edges, 63883 markings/sec, 485 secs
lola: 34471815 markings, 92248607 edges, 64651 markings/sec, 490 secs
lola: 34799967 markings, 93145489 edges, 65630 markings/sec, 495 secs
lola: 35115633 markings, 94024162 edges, 63133 markings/sec, 500 secs
lola: 35436387 markings, 94926955 edges, 64151 markings/sec, 505 secs
lola: 35777374 markings, 95841654 edges, 68197 markings/sec, 510 secs
lola: 36118388 markings, 96763281 edges, 68203 markings/sec, 515 secs
lola: 36443089 markings, 97643079 edges, 64940 markings/sec, 520 secs
lola: 36773819 markings, 98543640 edges, 66146 markings/sec, 525 secs
lola: 37101996 markings, 99453755 edges, 65635 markings/sec, 530 secs
lola: 37439335 markings, 100364809 edges, 67468 markings/sec, 535 secs
lola: 37766076 markings, 101262741 edges, 65348 markings/sec, 540 secs
lola: 38100471 markings, 102165173 edges, 66879 markings/sec, 545 secs
lola: 38440153 markings, 103077141 edges, 67936 markings/sec, 550 secs
lola: 38769542 markings, 103975434 edges, 65878 markings/sec, 555 secs
lola: 39096318 markings, 104876029 edges, 65355 markings/sec, 560 secs
lola: 39437863 markings, 105790558 edges, 68309 markings/sec, 565 secs
lola: 39758492 markings, 106654613 edges, 64126 markings/sec, 570 secs
lola: 40080939 markings, 107532882 edges, 64489 markings/sec, 575 secs
lola: 40414575 markings, 108438237 edges, 66727 markings/sec, 580 secs
lola: 40752418 markings, 109350682 edges, 67569 markings/sec, 585 secs
lola: 41077086 markings, 110229335 edges, 64934 markings/sec, 590 secs
lola: 41402563 markings, 111127835 edges, 65095 markings/sec, 595 secs
lola: 41712528 markings, 112002544 edges, 61993 markings/sec, 600 secs
lola: 42034321 markings, 112880486 edges, 64359 markings/sec, 605 secs
lola: 42352522 markings, 113759269 edges, 63640 markings/sec, 610 secs
lola: 42684545 markings, 114674798 edges, 66405 markings/sec, 615 secs
lola: 43000193 markings, 115557498 edges, 63130 markings/sec, 620 secs
lola: 43335696 markings, 116461178 edges, 67101 markings/sec, 625 secs
lola: 43658443 markings, 117351842 edges, 64549 markings/sec, 630 secs
lola: 43980537 markings, 118231570 edges, 64419 markings/sec, 635 secs
lola: 44305291 markings, 119123699 edges, 64951 markings/sec, 640 secs
lola: 44619976 markings, 120005440 edges, 62937 markings/sec, 645 secs
lola: 44939578 markings, 120889549 edges, 63920 markings/sec, 650 secs
lola: 45261230 markings, 121774991 edges, 64330 markings/sec, 655 secs
lola: 45583604 markings, 122658069 edges, 64475 markings/sec, 660 secs
lola: 45888766 markings, 123512759 edges, 61032 markings/sec, 665 secs
lola: 46193018 markings, 124364542 edges, 60850 markings/sec, 670 secs
lola: 46506698 markings, 125241663 edges, 62736 markings/sec, 675 secs
lola: 46835813 markings, 126129285 edges, 65823 markings/sec, 680 secs
lola: 47156112 markings, 127013248 edges, 64060 markings/sec, 685 secs
lola: 47488831 markings, 127918315 edges, 66544 markings/sec, 690 secs
lola: 47812061 markings, 128795197 edges, 64646 markings/sec, 695 secs
lola: 48125660 markings, 129678765 edges, 62720 markings/sec, 700 secs
lola: 48448702 markings, 130574193 edges, 64608 markings/sec, 705 secs
lola: 48771001 markings, 131460608 edges, 64460 markings/sec, 710 secs
lola: 49116637 markings, 132397150 edges, 69127 markings/sec, 715 secs
lola: 49448203 markings, 133293949 edges, 66313 markings/sec, 720 secs
lola: 49770969 markings, 134176870 edges, 64553 markings/sec, 725 secs
lola: 50091554 markings, 135052733 edges, 64117 markings/sec, 730 secs
lola: 50437346 markings, 135984868 edges, 69158 markings/sec, 735 secs
lola: 50786554 markings, 136903237 edges, 69842 markings/sec, 740 secs
lola: 51098793 markings, 137774451 edges, 62448 markings/sec, 745 secs
lola: 51422333 markings, 138662449 edges, 64708 markings/sec, 750 secs
lola: 51751930 markings, 139559879 edges, 65919 markings/sec, 755 secs
lola: 52064506 markings, 140425313 edges, 62515 markings/sec, 760 secs
lola: 52385809 markings, 141307612 edges, 64261 markings/sec, 765 secs
lola: 52701061 markings, 142178440 edges, 63050 markings/sec, 770 secs
lola: 53003512 markings, 143032080 edges, 60490 markings/sec, 775 secs
lola: 53338322 markings, 143928905 edges, 66962 markings/sec, 780 secs
lola: 53658725 markings, 144803448 edges, 64081 markings/sec, 785 secs
lola: 53973865 markings, 145675375 edges, 63028 markings/sec, 790 secs
lola: 54290930 markings, 146547060 edges, 63413 markings/sec, 795 secs
lola: 54602038 markings, 147403015 edges, 62222 markings/sec, 800 secs
lola: 54923878 markings, 148289146 edges, 64368 markings/sec, 805 secs
lola: 55252961 markings, 149174136 edges, 65817 markings/sec, 810 secs
lola: 55582063 markings, 150057496 edges, 65820 markings/sec, 815 secs
lola: 55907869 markings, 150940785 edges, 65161 markings/sec, 820 secs
lola: 56265716 markings, 151870636 edges, 71569 markings/sec, 825 secs
lola: 56591990 markings, 152772532 edges, 65255 markings/sec, 830 secs
lola: 56905853 markings, 153650919 edges, 62773 markings/sec, 835 secs
lola: 57222168 markings, 154524988 edges, 63263 markings/sec, 840 secs
lola: 57530533 markings, 155387531 edges, 61673 markings/sec, 845 secs
lola: 57854783 markings, 156273893 edges, 64850 markings/sec, 850 secs
lola: 58180155 markings, 157158925 edges, 65074 markings/sec, 855 secs
lola: 58496821 markings, 158027287 edges, 63333 markings/sec, 860 secs
lola: 58805770 markings, 158882395 edges, 61790 markings/sec, 865 secs
lola: 59107477 markings, 159726251 edges, 60341 markings/sec, 870 secs
lola: 59421424 markings, 160601514 edges, 62789 markings/sec, 875 secs
lola: 59733991 markings, 161475192 edges, 62513 markings/sec, 880 secs
lola: 60062608 markings, 162366191 edges, 65723 markings/sec, 885 secs
lola: 60371061 markings, 163215795 edges, 61691 markings/sec, 890 secs
lola: 60688686 markings, 164096306 edges, 63525 markings/sec, 895 secs
lola: 61001377 markings, 164973247 edges, 62538 markings/sec, 900 secs
lola: 61335058 markings, 165864906 edges, 66736 markings/sec, 905 secs
lola: 61651481 markings, 166734881 edges, 63285 markings/sec, 910 secs
lola: 61960770 markings, 167599825 edges, 61858 markings/sec, 915 secs
lola: 62267934 markings, 168456183 edges, 61433 markings/sec, 920 secs
lola: 62561069 markings, 169300891 edges, 58627 markings/sec, 925 secs
lola: 62877436 markings, 170172047 edges, 63273 markings/sec, 930 secs
lola: 63209266 markings, 171081088 edges, 66366 markings/sec, 935 secs
lola: 63516715 markings, 171941571 edges, 61490 markings/sec, 940 secs
lola: 63818037 markings, 172781231 edges, 60264 markings/sec, 945 secs
lola: 64131668 markings, 173647535 edges, 62726 markings/sec, 950 secs
lola: 64445638 markings, 174511970 edges, 62794 markings/sec, 955 secs
lola: 64770966 markings, 175397140 edges, 65066 markings/sec, 960 secs
lola: 65110659 markings, 176308768 edges, 67939 markings/sec, 965 secs
lola: 65421333 markings, 177176273 edges, 62135 markings/sec, 970 secs
lola: 65733422 markings, 178034607 edges, 62418 markings/sec, 975 secs
lola: 66056624 markings, 178911086 edges, 64640 markings/sec, 980 secs
lola: 66357885 markings, 179754568 edges, 60252 markings/sec, 985 secs
lola: 66684393 markings, 180647081 edges, 65302 markings/sec, 990 secs
lola: 67000781 markings, 181510880 edges, 63278 markings/sec, 995 secs
lola: 67310068 markings, 182349337 edges, 61857 markings/sec, 1000 secs
lola: 67602371 markings, 183150121 edges, 58461 markings/sec, 1005 secs
lola: 67912903 markings, 184011106 edges, 62106 markings/sec, 1010 secs
lola: 68130761 markings, 184620527 edges, 43572 markings/sec, 1015 secs
lola: 68417995 markings, 185409873 edges, 57447 markings/sec, 1020 secs
lola: 68707864 markings, 186213029 edges, 57974 markings/sec, 1025 secs
lola: 69013254 markings, 187064013 edges, 61078 markings/sec, 1030 secs
lola: 69323108 markings, 187925611 edges, 61971 markings/sec, 1035 secs
lola: 69578970 markings, 188638697 edges, 51172 markings/sec, 1040 secs
lola: 69869132 markings, 189434842 edges, 58032 markings/sec, 1045 secs
lola: 70162752 markings, 190249102 edges, 58724 markings/sec, 1050 secs
lola: 70457901 markings, 191044504 edges, 59030 markings/sec, 1055 secs
lola: 70762020 markings, 191876131 edges, 60824 markings/sec, 1060 secs
lola: 71046412 markings, 192651737 edges, 56878 markings/sec, 1065 secs
lola: 71276903 markings, 193315689 edges, 46098 markings/sec, 1070 secs
lola: 71575690 markings, 194141681 edges, 59757 markings/sec, 1075 secs
lola: 71843844 markings, 194882408 edges, 53631 markings/sec, 1080 secs
lola: 72136245 markings, 195683916 edges, 58480 markings/sec, 1085 secs
lola: 72408142 markings, 196474695 edges, 54379 markings/sec, 1090 secs
lola: 72731790 markings, 197347220 edges, 64730 markings/sec, 1095 secs
lola: 73010521 markings, 198131293 edges, 55746 markings/sec, 1100 secs
lola: 73309183 markings, 198933849 edges, 59732 markings/sec, 1105 secs
lola: 73564535 markings, 199630302 edges, 51070 markings/sec, 1110 secs
lola: 73852866 markings, 200432653 edges, 57666 markings/sec, 1115 secs
lola: 74073952 markings, 201052007 edges, 44217 markings/sec, 1120 secs
lola: 74376719 markings, 201877335 edges, 60553 markings/sec, 1125 secs
lola: 74659076 markings, 202652523 edges, 56471 markings/sec, 1130 secs
lola: 74891503 markings, 203287728 edges, 46485 markings/sec, 1135 secs
lola: 75172040 markings, 204055135 edges, 56107 markings/sec, 1140 secs
lola: 75458472 markings, 204861402 edges, 57286 markings/sec, 1145 secs
lola: 75752455 markings, 205670848 edges, 58797 markings/sec, 1150 secs
lola: 76038848 markings, 206478192 edges, 57279 markings/sec, 1155 secs
lola: 76323939 markings, 207261312 edges, 57018 markings/sec, 1160 secs
lola: 76618055 markings, 208081535 edges, 58823 markings/sec, 1165 secs
lola: 76958466 markings, 208996942 edges, 68082 markings/sec, 1170 secs
lola: 77243946 markings, 209777519 edges, 57096 markings/sec, 1175 secs
lola: 77564012 markings, 210640403 edges, 64013 markings/sec, 1180 secs
lola: 77851442 markings, 211424705 edges, 57486 markings/sec, 1185 secs
lola: 78129636 markings, 212190070 edges, 55639 markings/sec, 1190 secs
lola: 78451653 markings, 213067944 edges, 64403 markings/sec, 1195 secs
lola: 78765688 markings, 213927543 edges, 62807 markings/sec, 1200 secs
lola: 79074547 markings, 214767424 edges, 61772 markings/sec, 1205 secs
lola: 79395581 markings, 215646401 edges, 64207 markings/sec, 1210 secs
lola: 79690010 markings, 216486363 edges, 58886 markings/sec, 1215 secs
lola: 79971546 markings, 217262305 edges, 56307 markings/sec, 1220 secs
lola: 80253513 markings, 218035778 edges, 56393 markings/sec, 1225 secs
lola: 80475456 markings, 218685122 edges, 44389 markings/sec, 1230 secs
lola: 80765944 markings, 219497300 edges, 58098 markings/sec, 1235 secs
lola: 81034047 markings, 220245982 edges, 53621 markings/sec, 1240 secs
lola: 81326368 markings, 221026449 edges, 58464 markings/sec, 1245 secs
lola: 81608769 markings, 221802406 edges, 56480 markings/sec, 1250 secs
lola: 81893494 markings, 222574195 edges, 56945 markings/sec, 1255 secs
lola: 82123803 markings, 223220690 edges, 46062 markings/sec, 1260 secs
lola: 82409478 markings, 224011187 edges, 57135 markings/sec, 1265 secs
lola: 82733551 markings, 224878139 edges, 64815 markings/sec, 1270 secs
lola: 82989194 markings, 225579964 edges, 51129 markings/sec, 1275 secs
lola: 83183944 markings, 226134584 edges, 38950 markings/sec, 1280 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G ((F (G (((p252 <= 0) OR (p465 <= 0)))) AND (X (X (F (((p252 <= 0) OR (p465 <= 0))))) R ((p252 <= 0) OR (p465 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G (((p252 <= 0) OR (p465 <= 0)))) AND (X (X (F (((p252 <= 0) OR (p465 <= 0))))) R ((p252 <= 0) OR (p465 <= 0)))))
lola: processed formula length: 123
lola: 119 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 360917 markings, 929886 edges, 72183 markings/sec, 0 secs
lola: 753752 markings, 1937975 edges, 78567 markings/sec, 5 secs
lola: 1140612 markings, 2957559 edges, 77372 markings/sec, 10 secs
lola: 1529744 markings, 3979174 edges, 77826 markings/sec, 15 secs
lola: 1894198 markings, 4932500 edges, 72891 markings/sec, 20 secs
lola: 2284447 markings, 5949484 edges, 78050 markings/sec, 25 secs
lola: 2658835 markings, 6926951 edges, 74878 markings/sec, 30 secs
lola: 3041447 markings, 7927419 edges, 76522 markings/sec, 35 secs
lola: 3411407 markings, 8894442 edges, 73992 markings/sec, 40 secs
lola: 3782045 markings, 9880637 edges, 74128 markings/sec, 45 secs
lola: 4155215 markings, 10865606 edges, 74634 markings/sec, 50 secs
lola: 4523923 markings, 11847701 edges, 73742 markings/sec, 55 secs
lola: 4890904 markings, 12831309 edges, 73396 markings/sec, 60 secs
lola: 5265873 markings, 13810367 edges, 74994 markings/sec, 65 secs
lola: 5637310 markings, 14773697 edges, 74287 markings/sec, 70 secs
lola: 5987252 markings, 15709648 edges, 69988 markings/sec, 75 secs
lola: 6351943 markings, 16676258 edges, 72938 markings/sec, 80 secs
lola: 6700837 markings, 17596055 edges, 69779 markings/sec, 85 secs
lola: 7061070 markings, 18552284 edges, 72047 markings/sec, 90 secs
lola: 7418392 markings, 19519645 edges, 71464 markings/sec, 95 secs
lola: 7770235 markings, 20467246 edges, 70369 markings/sec, 100 secs
lola: 8160593 markings, 21484462 edges, 78072 markings/sec, 105 secs
lola: 8546410 markings, 22504616 edges, 77163 markings/sec, 110 secs
lola: 8934943 markings, 23520456 edges, 77707 markings/sec, 115 secs
lola: 9315245 markings, 24537126 edges, 76060 markings/sec, 120 secs
lola: 9696531 markings, 25544356 edges, 76257 markings/sec, 125 secs
lola: 10068488 markings, 26536628 edges, 74391 markings/sec, 130 secs
lola: 10440840 markings, 27536025 edges, 74470 markings/sec, 135 secs
lola: 10823745 markings, 28538944 edges, 76581 markings/sec, 140 secs
lola: 11194369 markings, 29524272 edges, 74125 markings/sec, 145 secs
lola: 11569726 markings, 30506768 edges, 75071 markings/sec, 150 secs
lola: 11931501 markings, 31485655 edges, 72355 markings/sec, 155 secs
lola: 12292222 markings, 32433065 edges, 72144 markings/sec, 160 secs
lola: 12644049 markings, 33394898 edges, 70365 markings/sec, 165 secs
lola: 12998710 markings, 34340563 edges, 70932 markings/sec, 170 secs
lola: 13360006 markings, 35299305 edges, 72259 markings/sec, 175 secs
lola: 13687802 markings, 36212780 edges, 65559 markings/sec, 180 secs
lola: 14038781 markings, 37154048 edges, 70196 markings/sec, 185 secs
lola: 14403264 markings, 38107215 edges, 72897 markings/sec, 190 secs
lola: 14749404 markings, 39042811 edges, 69228 markings/sec, 195 secs
lola: 15097933 markings, 39984086 edges, 69706 markings/sec, 200 secs
lola: 15448563 markings, 40930259 edges, 70126 markings/sec, 205 secs
lola: 15799201 markings, 41879491 edges, 70128 markings/sec, 210 secs
lola: 16146697 markings, 42823657 edges, 69499 markings/sec, 215 secs
lola: 16489538 markings, 43764104 edges, 68568 markings/sec, 220 secs
lola: 16849163 markings, 44724898 edges, 71925 markings/sec, 225 secs
lola: 17195463 markings, 45660187 edges, 69260 markings/sec, 230 secs
lola: 17533863 markings, 46591534 edges, 67680 markings/sec, 235 secs
lola: 17875023 markings, 47511598 edges, 68232 markings/sec, 240 secs
lola: 18218394 markings, 48428840 edges, 68674 markings/sec, 245 secs
lola: 18553455 markings, 49336269 edges, 67012 markings/sec, 250 secs
lola: 18903837 markings, 50266326 edges, 70076 markings/sec, 255 secs
lola: 19249335 markings, 51217807 edges, 69100 markings/sec, 260 secs
lola: 19601615 markings, 52158177 edges, 70456 markings/sec, 265 secs
lola: 19940378 markings, 53087568 edges, 67753 markings/sec, 270 secs
lola: 20277771 markings, 54005280 edges, 67479 markings/sec, 275 secs
lola: 20604175 markings, 54903356 edges, 65281 markings/sec, 280 secs
lola: 20940865 markings, 55811195 edges, 67338 markings/sec, 285 secs
lola: 21295569 markings, 56758360 edges, 70941 markings/sec, 290 secs
lola: 21635290 markings, 57694452 edges, 67944 markings/sec, 295 secs
lola: 21972844 markings, 58610107 edges, 67511 markings/sec, 300 secs
lola: 22317268 markings, 59529335 edges, 68885 markings/sec, 305 secs
lola: 22670189 markings, 60481336 edges, 70584 markings/sec, 310 secs
lola: 23043065 markings, 61474097 edges, 74575 markings/sec, 315 secs
lola: 23404947 markings, 62444702 edges, 72376 markings/sec, 320 secs
lola: 23760315 markings, 63402817 edges, 71074 markings/sec, 325 secs
lola: 24109881 markings, 64357011 edges, 69913 markings/sec, 330 secs
lola: 24461368 markings, 65304836 edges, 70297 markings/sec, 335 secs
lola: 24806914 markings, 66249397 edges, 69109 markings/sec, 340 secs
lola: 25156387 markings, 67195306 edges, 69895 markings/sec, 345 secs
lola: 25503507 markings, 68145254 edges, 69424 markings/sec, 350 secs
lola: 25858350 markings, 69100256 edges, 70969 markings/sec, 355 secs
lola: 26230228 markings, 70088558 edges, 74376 markings/sec, 360 secs
lola: 26602390 markings, 71082463 edges, 74432 markings/sec, 365 secs
lola: 26965285 markings, 72054312 edges, 72579 markings/sec, 370 secs
lola: 27317767 markings, 73017968 edges, 70496 markings/sec, 375 secs
lola: 27668832 markings, 73974856 edges, 70213 markings/sec, 380 secs
lola: 28026120 markings, 74931979 edges, 71458 markings/sec, 385 secs
lola: 28369704 markings, 75901563 edges, 68717 markings/sec, 390 secs
lola: 28725116 markings, 76853029 edges, 71082 markings/sec, 395 secs
lola: 29084731 markings, 77811534 edges, 71923 markings/sec, 400 secs
lola: 29436426 markings, 78753120 edges, 70339 markings/sec, 405 secs
lola: 29785310 markings, 79711541 edges, 69777 markings/sec, 410 secs
lola: 30150330 markings, 80679197 edges, 73004 markings/sec, 415 secs
lola: 30514955 markings, 81641469 edges, 72925 markings/sec, 420 secs
lola: 30857935 markings, 82601129 edges, 68596 markings/sec, 425 secs
lola: 31206132 markings, 83570008 edges, 69639 markings/sec, 430 secs
lola: 31555326 markings, 84528072 edges, 69839 markings/sec, 435 secs
lola: 31908185 markings, 85480920 edges, 70572 markings/sec, 440 secs
lola: 32259680 markings, 86436608 edges, 70299 markings/sec, 445 secs
lola: 32608257 markings, 87377393 edges, 69715 markings/sec, 450 secs
lola: 33004064 markings, 88397029 edges, 79161 markings/sec, 455 secs
lola: 33343214 markings, 89306009 edges, 67830 markings/sec, 460 secs
lola: 33692691 markings, 90269572 edges, 69895 markings/sec, 465 secs
lola: 34035311 markings, 91212035 edges, 68524 markings/sec, 470 secs
lola: 34373177 markings, 92146099 edges, 67573 markings/sec, 475 secs
lola: 34724077 markings, 93103986 edges, 70180 markings/sec, 480 secs
lola: 35074968 markings, 94059679 edges, 70178 markings/sec, 485 secs
lola: 35427623 markings, 95012991 edges, 70531 markings/sec, 490 secs
lola: 35771627 markings, 95945034 edges, 68801 markings/sec, 495 secs
lola: 36128301 markings, 96900994 edges, 71335 markings/sec, 500 secs
lola: 36469096 markings, 97840085 edges, 68159 markings/sec, 505 secs
lola: 36817320 markings, 98785143 edges, 69645 markings/sec, 510 secs
lola: 37175033 markings, 99742041 edges, 71543 markings/sec, 515 secs
lola: 37514694 markings, 100674949 edges, 67932 markings/sec, 520 secs
lola: 37863384 markings, 101609719 edges, 69738 markings/sec, 525 secs
lola: 38200313 markings, 102526687 edges, 67386 markings/sec, 530 secs
lola: 38560498 markings, 103487056 edges, 72037 markings/sec, 535 secs
lola: 38914736 markings, 104436166 edges, 70848 markings/sec, 540 secs
lola: 39250641 markings, 105361866 edges, 67181 markings/sec, 545 secs
lola: 39620405 markings, 106338704 edges, 73953 markings/sec, 550 secs
lola: 39956707 markings, 107266692 edges, 67260 markings/sec, 555 secs
lola: 40298802 markings, 108215788 edges, 68419 markings/sec, 560 secs
lola: 40633755 markings, 109160497 edges, 66991 markings/sec, 565 secs
lola: 40969024 markings, 110092131 edges, 67054 markings/sec, 570 secs
lola: 41318969 markings, 111036301 edges, 69989 markings/sec, 575 secs
lola: 41651971 markings, 111956242 edges, 66600 markings/sec, 580 secs
lola: 41989838 markings, 112874168 edges, 67573 markings/sec, 585 secs
lola: 42323409 markings, 113800195 edges, 66714 markings/sec, 590 secs
lola: 42671203 markings, 114751226 edges, 69559 markings/sec, 595 secs
lola: 43020720 markings, 115709120 edges, 69903 markings/sec, 600 secs
lola: 43362897 markings, 116655063 edges, 68435 markings/sec, 605 secs
lola: 43722612 markings, 117617157 edges, 71943 markings/sec, 610 secs
lola: 44055161 markings, 118547593 edges, 66510 markings/sec, 615 secs
lola: 44409731 markings, 119505594 edges, 70914 markings/sec, 620 secs
lola: 44747596 markings, 120435772 edges, 67573 markings/sec, 625 secs
lola: 45078219 markings, 121356696 edges, 66125 markings/sec, 630 secs
lola: 45432833 markings, 122307766 edges, 70923 markings/sec, 635 secs
lola: 45770873 markings, 123228638 edges, 67608 markings/sec, 640 secs
lola: 46099301 markings, 124146724 edges, 65686 markings/sec, 645 secs
lola: 46447485 markings, 125091545 edges, 69637 markings/sec, 650 secs
lola: 46784377 markings, 126027154 edges, 67378 markings/sec, 655 secs
lola: 47123083 markings, 126955892 edges, 67741 markings/sec, 660 secs
lola: 47464739 markings, 127894179 edges, 68331 markings/sec, 665 secs
lola: 47805736 markings, 128823504 edges, 68199 markings/sec, 670 secs
lola: 48134229 markings, 129728503 edges, 65699 markings/sec, 675 secs
lola: 48481412 markings, 130670767 edges, 69437 markings/sec, 680 secs
lola: 48818713 markings, 131596424 edges, 67460 markings/sec, 685 secs
lola: 49155001 markings, 132515508 edges, 67258 markings/sec, 690 secs
lola: 49501091 markings, 133446440 edges, 69218 markings/sec, 695 secs
lola: 49843011 markings, 134369708 edges, 68384 markings/sec, 700 secs
lola: 50190770 markings, 135312443 edges, 69552 markings/sec, 705 secs
lola: 50527678 markings, 136239369 edges, 67382 markings/sec, 710 secs
lola: 50862916 markings, 137164710 edges, 67048 markings/sec, 715 secs
lola: 51205060 markings, 138092659 edges, 68429 markings/sec, 720 secs
lola: 51548870 markings, 139019488 edges, 68762 markings/sec, 725 secs
lola: 51894177 markings, 139959623 edges, 69061 markings/sec, 730 secs
lola: 52228077 markings, 140884846 edges, 66780 markings/sec, 735 secs
lola: 52546308 markings, 141783697 edges, 63646 markings/sec, 740 secs
lola: 52855891 markings, 142641936 edges, 61917 markings/sec, 745 secs
lola: 53183655 markings, 143540299 edges, 65553 markings/sec, 750 secs
lola: 53505106 markings, 144416078 edges, 64290 markings/sec, 755 secs
lola: 53845540 markings, 145332983 edges, 68087 markings/sec, 760 secs
lola: 54170871 markings, 146220118 edges, 65066 markings/sec, 765 secs
lola: 54511328 markings, 147125397 edges, 68091 markings/sec, 770 secs
lola: 54831917 markings, 148014344 edges, 64118 markings/sec, 775 secs
lola: 55160770 markings, 148922718 edges, 65771 markings/sec, 780 secs
lola: 55494547 markings, 149830700 edges, 66755 markings/sec, 785 secs
lola: 55838533 markings, 150769363 edges, 68797 markings/sec, 790 secs
lola: 56173292 markings, 151674537 edges, 66952 markings/sec, 795 secs
lola: 56487124 markings, 152557088 edges, 62766 markings/sec, 800 secs
lola: 56823055 markings, 153474234 edges, 67186 markings/sec, 805 secs
lola: 57138779 markings, 154359938 edges, 63145 markings/sec, 810 secs
lola: 57450798 markings, 155231549 edges, 62404 markings/sec, 815 secs
lola: 57770030 markings, 156115371 edges, 63846 markings/sec, 820 secs
lola: 58130908 markings, 157059124 edges, 72176 markings/sec, 825 secs
lola: 58517629 markings, 158060694 edges, 77344 markings/sec, 830 secs
lola: 58847607 markings, 158973886 edges, 65996 markings/sec, 835 secs
lola: 59174093 markings, 159855329 edges, 65297 markings/sec, 840 secs
lola: 59503139 markings, 160757708 edges, 65809 markings/sec, 845 secs
lola: 59830182 markings, 161669612 edges, 65409 markings/sec, 850 secs
lola: 60148669 markings, 162552598 edges, 63697 markings/sec, 855 secs
lola: 60507931 markings, 163508808 edges, 71852 markings/sec, 860 secs
lola: 60858440 markings, 164456378 edges, 70102 markings/sec, 865 secs
lola: 61194327 markings, 165369412 edges, 67177 markings/sec, 870 secs
lola: 61515039 markings, 166247417 edges, 64142 markings/sec, 875 secs
lola: 61840523 markings, 167142204 edges, 65097 markings/sec, 880 secs
lola: 62165467 markings, 168017361 edges, 64989 markings/sec, 885 secs
lola: 62481716 markings, 168896498 edges, 63250 markings/sec, 890 secs
lola: 62825889 markings, 169819438 edges, 68835 markings/sec, 895 secs
lola: 63149723 markings, 170722974 edges, 64767 markings/sec, 900 secs
lola: 63469685 markings, 171609997 edges, 63992 markings/sec, 905 secs
lola: 63800396 markings, 172513373 edges, 66142 markings/sec, 910 secs
lola: 64138362 markings, 173457626 edges, 67593 markings/sec, 915 secs
lola: 64485462 markings, 174393833 edges, 69420 markings/sec, 920 secs
lola: 64830735 markings, 175333285 edges, 69055 markings/sec, 925 secs
lola: 65161498 markings, 176231179 edges, 66153 markings/sec, 930 secs
lola: 65474082 markings, 177097813 edges, 62517 markings/sec, 935 secs
lola: 65822404 markings, 178031724 edges, 69664 markings/sec, 940 secs
lola: 66135601 markings, 178909627 edges, 62639 markings/sec, 945 secs
lola: 66354630 markings, 179522209 edges, 43806 markings/sec, 950 secs
lola: 66590275 markings, 180182051 edges, 47129 markings/sec, 955 secs
lola: 66830895 markings, 180846106 edges, 48124 markings/sec, 960 secs
lola: 67068231 markings, 181509924 edges, 47467 markings/sec, 965 secs
lola: 67268233 markings, 182046156 edges, 40000 markings/sec, 970 secs
lola: 67438695 markings, 182529597 edges, 34092 markings/sec, 975 secs
lola: 67664042 markings, 183164293 edges, 45069 markings/sec, 980 secs
lola: 67926303 markings, 183874023 edges, 52452 markings/sec, 985 secs
lola: 68164984 markings, 184524824 edges, 47736 markings/sec, 990 secs
lola: 68425674 markings, 185243245 edges, 52138 markings/sec, 995 secs
lola: 68679626 markings, 185952802 edges, 50790 markings/sec, 1000 secs
lola: 68914642 markings, 186595133 edges, 47003 markings/sec, 1005 secs
lola: 69155197 markings, 187252442 edges, 48111 markings/sec, 1010 secs
lola: 69424807 markings, 188004311 edges, 53922 markings/sec, 1015 secs
lola: 69687869 markings, 188744638 edges, 52612 markings/sec, 1020 secs
lola: 69984003 markings, 189557922 edges, 59227 markings/sec, 1025 secs
lola: 70240357 markings, 190261090 edges, 51271 markings/sec, 1030 secs
lola: 70513923 markings, 191018212 edges, 54713 markings/sec, 1035 secs
lola: 70803116 markings, 191830899 edges, 57839 markings/sec, 1040 secs
lola: 71066369 markings, 192569454 edges, 52651 markings/sec, 1045 secs
lola: 71350628 markings, 193358195 edges, 56852 markings/sec, 1050 secs
lola: 71668239 markings, 194233902 edges, 63522 markings/sec, 1055 secs
lola: 71966150 markings, 195053971 edges, 59582 markings/sec, 1060 secs
lola: 72249436 markings, 195852861 edges, 56657 markings/sec, 1065 secs
lola: 72538342 markings, 196663074 edges, 57781 markings/sec, 1070 secs
lola: 72849445 markings, 197511772 edges, 62221 markings/sec, 1075 secs
lola: 73187638 markings, 198427135 edges, 67639 markings/sec, 1080 secs
lola: 73464354 markings, 199181905 edges, 55343 markings/sec, 1085 secs
lola: 73757308 markings, 200005939 edges, 58591 markings/sec, 1090 secs
lola: 74047685 markings, 200808658 edges, 58075 markings/sec, 1095 secs
lola: 74358618 markings, 201652624 edges, 62187 markings/sec, 1100 secs
lola: 74603417 markings, 202347690 edges, 48960 markings/sec, 1105 secs
lola: 74927280 markings, 203224428 edges, 64773 markings/sec, 1110 secs
lola: 75204400 markings, 203993772 edges, 55424 markings/sec, 1115 secs
lola: 75497197 markings, 204804094 edges, 58559 markings/sec, 1120 secs
lola: 75804095 markings, 205645685 edges, 61380 markings/sec, 1125 secs
lola: 76099071 markings, 206453331 edges, 58995 markings/sec, 1130 secs
lola: 76383013 markings, 207205355 edges, 56788 markings/sec, 1135 secs
lola: 76648726 markings, 207945087 edges, 53143 markings/sec, 1140 secs
lola: 76948347 markings, 208769096 edges, 59924 markings/sec, 1145 secs
lola: 77257386 markings, 209592676 edges, 61808 markings/sec, 1150 secs
lola: 77509053 markings, 210290591 edges, 50333 markings/sec, 1155 secs
lola: 77784348 markings, 211042763 edges, 55059 markings/sec, 1160 secs
lola: 78076827 markings, 211845431 edges, 58496 markings/sec, 1165 secs
lola: 78403730 markings, 212732769 edges, 65381 markings/sec, 1170 secs
lola: 78666017 markings, 213449873 edges, 52457 markings/sec, 1175 secs
lola: 78888428 markings, 214059814 edges, 44482 markings/sec, 1180 secs
lola: 79131940 markings, 214728281 edges, 48702 markings/sec, 1185 secs
lola: 79376813 markings, 215407235 edges, 48975 markings/sec, 1190 secs
lola: 79661203 markings, 216187488 edges, 56878 markings/sec, 1195 secs
lola: 79952871 markings, 216978485 edges, 58334 markings/sec, 1200 secs
lola: 80210585 markings, 217689107 edges, 51543 markings/sec, 1205 secs
lola: 80501695 markings, 218483901 edges, 58222 markings/sec, 1210 secs
lola: 80804541 markings, 219317977 edges, 60569 markings/sec, 1215 secs
lola: 81077802 markings, 220085834 edges, 54652 markings/sec, 1220 secs
lola: 81388629 markings, 220955264 edges, 62165 markings/sec, 1225 secs
lola: 81639230 markings, 221664106 edges, 50120 markings/sec, 1230 secs
lola: 81955748 markings, 222542034 edges, 63304 markings/sec, 1235 secs
lola: 82263434 markings, 223378780 edges, 61537 markings/sec, 1240 secs
lola: 82577574 markings, 224245774 edges, 62828 markings/sec, 1245 secs
lola: 82814937 markings, 224898812 edges, 47473 markings/sec, 1250 secs
lola: 83060606 markings, 225551010 edges, 49134 markings/sec, 1255 secs
lola: 83132640 markings, 225750274 edges, 14407 markings/sec, 1260 secs
lola: 83136426 markings, 225761459 edges, 757 markings/sec, 1265 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes unknown no unknown yes no no no no no no
lola:
preliminary result: yes no yes unknown no unknown yes no no no no no no
lola: memory consumption: 3252 KB
lola: time consumption: 3256 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
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="Vasy2003-PT-none"
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 Vasy2003-PT-none, 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 r284-smll-162123894400106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none 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 ;