About the Execution of 2020-gold for HouseConstruction-PT-00010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16254.495 | 3600000.00 | 3597660.00 | 47055.50 | ?FTFFTTFFTF?FFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r132-tall-162075428200078.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is HouseConstruction-PT-00010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428200078
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 23 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 22 21:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 22 21:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 6 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 13K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HouseConstruction-PT-00010-00
FORMULA_NAME HouseConstruction-PT-00010-01
FORMULA_NAME HouseConstruction-PT-00010-02
FORMULA_NAME HouseConstruction-PT-00010-03
FORMULA_NAME HouseConstruction-PT-00010-04
FORMULA_NAME HouseConstruction-PT-00010-05
FORMULA_NAME HouseConstruction-PT-00010-06
FORMULA_NAME HouseConstruction-PT-00010-07
FORMULA_NAME HouseConstruction-PT-00010-08
FORMULA_NAME HouseConstruction-PT-00010-09
FORMULA_NAME HouseConstruction-PT-00010-10
FORMULA_NAME HouseConstruction-PT-00010-11
FORMULA_NAME HouseConstruction-PT-00010-12
FORMULA_NAME HouseConstruction-PT-00010-13
FORMULA_NAME HouseConstruction-PT-00010-14
FORMULA_NAME HouseConstruction-PT-00010-15
=== Now, execution of the tool begins
BK_START 1620897675015
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 09:21:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-13 09:21:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 09:21:16] [INFO ] Load time of PNML (sax parser for PT used): 25 ms
[2021-05-13 09:21:16] [INFO ] Transformed 26 places.
[2021-05-13 09:21:16] [INFO ] Transformed 18 transitions.
[2021-05-13 09:21:16] [INFO ] Parsed PT model containing 26 places and 18 transitions in 60 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 14 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 187 steps, including 0 resets, run visited all 32 properties in 3 ms. (steps per millisecond=62 )
[2021-05-13 09:21:16] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2021-05-13 09:21:16] [INFO ] Flatten gal took : 25 ms
FORMULA HouseConstruction-PT-00010-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-00010-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-00010-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-00010-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-00010-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 09:21:16] [INFO ] Flatten gal took : 4 ms
[2021-05-13 09:21:16] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-13 09:21:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ HouseConstruction-PT-00010 @ 3570 seconds
FORMULA HouseConstruction-PT-00010-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00010-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ HouseConstruction-PT-00010
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 13 09:21:18 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 1,
"aneg": 2,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (X (X ((G ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) OR ((1 <= p16) AND (1 <= p17)))) AND ((1 <= p2) AND ((1 <= p16) AND (1 <= p17)))))))",
"processed_size": 145,
"rewrites": 70
},
"result":
{
"edges": 181,
"markings": 181,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(X ((p2 <= 0)) U (1 <= p2))",
"processed_size": 27,
"rewrites": 70
},
"result":
{
"edges": 182,
"markings": 182,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"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 (X (F (((1 <= p10) AND (1 <= p11)))))",
"processed_size": 39,
"rewrites": 70
},
"result":
{
"edges": 240867,
"markings": 88440,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 446
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"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": "X (G ((p5 <= 0)))",
"processed_size": 17,
"rewrites": 70
},
"result":
{
"edges": 181,
"markings": 181,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (X ((G ((F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND ((1 <= p2) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND X (F ((1 <= p2))))))",
"processed_size": 144,
"rewrites": 70
},
"result":
{
"edges": 2065653,
"markings": 626598,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 4,
"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": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((F (G ((1 <= p6))) AND G ((((1 <= p6) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))) OR G ((1 <= p6))))))",
"processed_size": 108,
"rewrites": 70
},
"result":
{
"edges": 181,
"markings": 181,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 16
},
"compoundnumber": 7,
"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": 792
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F ((G ((1 <= p18)) AND (((1 <= p10) AND (1 <= p11)) OR (1 <= p1)))))",
"processed_size": 72,
"rewrites": 70
},
"result":
{
"edges": 182,
"markings": 182,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1189
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 3,
"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": 4,
"visible_transitions": 0
},
"processed": "F (G (((((1 <= p9) AND (1 <= p12) AND (1 <= p13)) OR (G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND (1 <= p8))))",
"processed_size": 168,
"rewrites": 70
},
"result":
{
"edges": 183,
"markings": 182,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 10689776,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(*)) : X(X(X((G((G(*) OR *)) AND (** AND (** AND **)))))) : (X(*) U **) : X(X(F(**))) : G(F((G(**) AND *))) : X(G(*)) : F((G(*) OR (G(*) AND ((F(*) OR (* OR *)) R *)))) : F((F(G(*)) AND G((** OR G(*))))) : X(X((G((F(**) AND (** OR **))) AND X(F(**))))) : F(G(((** OR (G(**) AND F(**))) AND **))) : X(G((F(**) AND (F((G(**) AND (** AND **))) OR **))))"
},
"net":
{
"arcs": 51,
"conflict_clusters": 18,
"places": 26,
"places_significant": 18,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no yes no no unknown no no no unknown ",
"preliminary_value": "unknown no no yes no no unknown no no no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 44/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 832
lola: finding significant places
lola: 26 places, 18 transitions, 18 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: G (NOT(F (G (X (((1 <= p4) AND (1 <= p1))))))) : X (X (X ((((G (NOT(F ((F (((1 <= p20) AND (1 <= p21) AND (1 <= p24))) AND ((p16 <= 0) OR (p17 <= 0)))))) AND (1 <= p2)) AND (1 <= p16)) AND (1 <= p17))))) : (NOT(X ((1 <= p2))) U (1 <= p2)) : F (X (X (((1 <= p10) AND (1 <= p11))))) : G (X (G (NOT(G ((NOT(G ((1 <= p18))) OR (((p10 <= 0) OR (p11 <= 0)) AND (p1 <= 0)))))))) : NOT(F (X (F ((((1 <= p10) AND (1 <= p11)) U (1 <= p5)))))) : NOT(G (((((1 <= p9) AND (1 <= p12) AND (1 <= p13)) U F ((1 <= p0))) U ((1 <= p0) U (((G ((1 <= p1)) AND (1 <= p22)) AND (1 <= p23)) U (1 <= p0)))))) : F (G ((((1 <= p6) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))) U NOT(F ((p6 <= 0)))))) : X (X ((G (((1 <= p2) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND F (X ((1 <= p2)))))) : G (X (F ((G ((G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND G ((1 <= p8)))))) : X (G ((F (((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND (1 <= p3)) AND (1 <= p7))) U ((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:488
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X ((G ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) OR ((1 <= p16) AND (1 <= p17)))) AND ((1 <= p2) AND ((1 <= p16) AND (1 <= p17)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X ((G ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) OR ((1 <= p16) AND (1 <= p17)))) AND ((1 <= p2) AND ((1 <= p16) AND (1 <= p17)))))))
lola: processed formula length: 145
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 181 markings, 181 edges
lola: subprocess 1 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((p2 <= 0)) U (1 <= p2))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X ((p2 <= 0)) U (1 <= p2))
lola: processed formula length: 27
lola: 70 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: 182 markings, 182 edges
lola: ========================================
lola: subprocess 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F (((1 <= p10) AND (1 <= p11)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F (((1 <= p10) AND (1 <= p11)))))
lola: processed formula length: 39
lola: 70 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: ========================================
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: 88440 markings, 240867 edges
lola: ========================================
lola: subprocess 3 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((p5 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p5 <= 0)))
lola: processed formula length: 17
lola: 70 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: 181 markings, 181 edges
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((G ((F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND ((1 <= p2) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND X (F ((1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((G ((F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND ((1 <= p2) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND X (F ((1 <= p2))))))
lola: processed formula length: 144
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 626598 markings, 2065653 edges
lola: ========================================
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))) AND (F ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND ((1 <= p3) AND (1 <= p7)))) OR ((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))) AND (F ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND ((1 <= p3) AND (1 <= p7)))) OR ((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))))))
lola: processed formula length: 225
lola: 70 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: 2080251 markings, 7272271 edges, 416050 markings/sec, 0 secs
lola: 3764237 markings, 13796557 edges, 336797 markings/sec, 5 secs
lola: 5383580 markings, 20178734 edges, 323869 markings/sec, 10 secs
lola: 6916820 markings, 26072718 edges, 306648 markings/sec, 15 secs
lola: 8565128 markings, 32441719 edges, 329662 markings/sec, 20 secs
lola: 10175776 markings, 38663599 edges, 322130 markings/sec, 25 secs
lola: 11661464 markings, 44703519 edges, 297138 markings/sec, 30 secs
lola: 12956811 markings, 50296014 edges, 259069 markings/sec, 35 secs
lola: 14107781 markings, 55369182 edges, 230194 markings/sec, 40 secs
lola: 15390524 markings, 60868597 edges, 256549 markings/sec, 45 secs
lola: 16728354 markings, 66402759 edges, 267566 markings/sec, 50 secs
lola: 17997992 markings, 71625836 edges, 253928 markings/sec, 55 secs
lola: 19251145 markings, 76844995 edges, 250631 markings/sec, 60 secs
lola: 20593887 markings, 82017862 edges, 268548 markings/sec, 65 secs
lola: 21831637 markings, 86947334 edges, 247550 markings/sec, 70 secs
lola: 23018780 markings, 91783360 edges, 237429 markings/sec, 75 secs
lola: 24047888 markings, 96313168 edges, 205822 markings/sec, 80 secs
lola: 25318354 markings, 101237384 edges, 254093 markings/sec, 85 secs
lola: 26903305 markings, 107539588 edges, 316990 markings/sec, 90 secs
lola: 28247388 markings, 113132828 edges, 268817 markings/sec, 95 secs
lola: 29393716 markings, 118262047 edges, 229266 markings/sec, 100 secs
lola: 30581170 markings, 123267111 edges, 237491 markings/sec, 105 secs
lola: 31654163 markings, 127885057 edges, 214599 markings/sec, 110 secs
lola: 33341560 markings, 134337349 edges, 337479 markings/sec, 115 secs
lola: 34777286 markings, 140255527 edges, 287145 markings/sec, 120 secs
lola: 36036678 markings, 145652171 edges, 251878 markings/sec, 125 secs
lola: 37105821 markings, 150482495 edges, 213829 markings/sec, 130 secs
lola: 38358655 markings, 155805600 edges, 250567 markings/sec, 135 secs
lola: 39505820 markings, 160787091 edges, 229433 markings/sec, 140 secs
lola: 40591851 markings, 165753973 edges, 217206 markings/sec, 145 secs
lola: 41611995 markings, 170549487 edges, 204029 markings/sec, 150 secs
lola: 42676569 markings, 175325776 edges, 212915 markings/sec, 155 secs
lola: 43806315 markings, 180210181 edges, 225949 markings/sec, 160 secs
lola: 44796829 markings, 184727932 edges, 198103 markings/sec, 165 secs
lola: 45787034 markings, 189247192 edges, 198041 markings/sec, 170 secs
lola: 46646497 markings, 193535987 edges, 171893 markings/sec, 175 secs
lola: 47589090 markings, 197902485 edges, 188519 markings/sec, 180 secs
lola: 48872387 markings, 203325481 edges, 256659 markings/sec, 185 secs
lola: 49964423 markings, 208306985 edges, 218407 markings/sec, 190 secs
lola: 50845930 markings, 212483494 edges, 176301 markings/sec, 195 secs
lola: 51680451 markings, 216545812 edges, 166904 markings/sec, 200 secs
lola: 52850005 markings, 221522829 edges, 233911 markings/sec, 205 secs
lola: 54211395 markings, 226989353 edges, 272278 markings/sec, 210 secs
lola: 55366469 markings, 231849900 edges, 231015 markings/sec, 215 secs
lola: 56497451 markings, 236718661 edges, 226196 markings/sec, 220 secs
lola: 57545128 markings, 241258760 edges, 209535 markings/sec, 225 secs
lola: 58461180 markings, 245372683 edges, 183210 markings/sec, 230 secs
lola: 59437165 markings, 249771915 edges, 195197 markings/sec, 235 secs
lola: 60640030 markings, 254923706 edges, 240573 markings/sec, 240 secs
lola: 61708982 markings, 259715604 edges, 213790 markings/sec, 245 secs
lola: 63113732 markings, 265177444 edges, 280950 markings/sec, 250 secs
lola: 64245381 markings, 269956547 edges, 226330 markings/sec, 255 secs
lola: 65568558 markings, 275264817 edges, 264635 markings/sec, 260 secs
lola: 66587533 markings, 279362116 edges, 203795 markings/sec, 265 secs
lola: 67604105 markings, 283464242 edges, 203314 markings/sec, 270 secs
lola: 68438896 markings, 287133044 edges, 166958 markings/sec, 275 secs
lola: 69257994 markings, 290679570 edges, 163820 markings/sec, 280 secs
lola: 70235294 markings, 294661258 edges, 195460 markings/sec, 285 secs
lola: 71089456 markings, 298458832 edges, 170832 markings/sec, 290 secs
lola: 72079493 markings, 302614822 edges, 198007 markings/sec, 295 secs
lola: 72940748 markings, 306474734 edges, 172251 markings/sec, 300 secs
lola: 73725935 markings, 310220687 edges, 157037 markings/sec, 305 secs
lola: 74585382 markings, 314175196 edges, 171889 markings/sec, 310 secs
lola: 75474041 markings, 318106937 edges, 177732 markings/sec, 315 secs
lola: 76381661 markings, 322181207 edges, 181524 markings/sec, 320 secs
lola: 77400823 markings, 326356288 edges, 203832 markings/sec, 325 secs
lola: 78619862 markings, 331818554 edges, 243808 markings/sec, 330 secs
lola: 79522428 markings, 338294735 edges, 180513 markings/sec, 335 secs
lola: 80255738 markings, 344125307 edges, 146662 markings/sec, 340 secs
lola: 80977638 markings, 349476001 edges, 144380 markings/sec, 345 secs
lola: 81675858 markings, 354719553 edges, 139644 markings/sec, 350 secs
lola: 82446734 markings, 360700516 edges, 154175 markings/sec, 355 secs
lola: 83116826 markings, 366317778 edges, 134018 markings/sec, 360 secs
lola: 83727632 markings, 371508051 edges, 122161 markings/sec, 365 secs
lola: 84432538 markings, 377247200 edges, 140981 markings/sec, 370 secs
lola: 85105489 markings, 382729459 edges, 134590 markings/sec, 375 secs
lola: 85863242 markings, 388461283 edges, 151551 markings/sec, 380 secs
lola: 86515553 markings, 393567740 edges, 130462 markings/sec, 385 secs
lola: 87105999 markings, 398574538 edges, 118089 markings/sec, 390 secs
lola: 88068284 markings, 405199103 edges, 192457 markings/sec, 395 secs
lola: 89327311 markings, 411867850 edges, 251805 markings/sec, 400 secs
lola: 90689512 markings, 417441402 edges, 272440 markings/sec, 405 secs
lola: 91847916 markings, 422444100 edges, 231681 markings/sec, 410 secs
lola: 92864987 markings, 426961503 edges, 203414 markings/sec, 415 secs
lola: 94033029 markings, 431931391 edges, 233608 markings/sec, 420 secs
lola: 95187080 markings, 436951247 edges, 230810 markings/sec, 425 secs
lola: 96239054 markings, 441691184 edges, 210395 markings/sec, 430 secs
lola: 97117710 markings, 445876012 edges, 175731 markings/sec, 435 secs
lola: 98127566 markings, 450497175 edges, 201971 markings/sec, 440 secs
lola: 99093215 markings, 454734143 edges, 193130 markings/sec, 445 secs
lola: 100117605 markings, 459173875 edges, 204878 markings/sec, 450 secs
lola: 101010520 markings, 463239916 edges, 178583 markings/sec, 455 secs
lola: 101901079 markings, 467377537 edges, 178112 markings/sec, 460 secs
lola: 102669683 markings, 471228448 edges, 153721 markings/sec, 465 secs
lola: 103500481 markings, 475122478 edges, 166160 markings/sec, 470 secs
lola: 104646265 markings, 479869133 edges, 229157 markings/sec, 475 secs
lola: 105691522 markings, 484616843 edges, 209051 markings/sec, 480 secs
lola: 106628646 markings, 489083193 edges, 187425 markings/sec, 485 secs
lola: 107472708 markings, 493054045 edges, 168812 markings/sec, 490 secs
lola: 108369088 markings, 497148730 edges, 179276 markings/sec, 495 secs
lola: 109595901 markings, 502498238 edges, 245363 markings/sec, 500 secs
lola: 110508690 markings, 506753609 edges, 182558 markings/sec, 505 secs
lola: 111005636 markings, 509077929 edges, 99389 markings/sec, 510 secs
lola: 111875344 markings, 513156177 edges, 173942 markings/sec, 515 secs
lola: 112466552 markings, 516050583 edges, 118242 markings/sec, 520 secs
lola: 113318104 markings, 520164866 edges, 170310 markings/sec, 525 secs
lola: 114083296 markings, 523939890 edges, 153038 markings/sec, 530 secs
lola: 114783245 markings, 527568129 edges, 139990 markings/sec, 535 secs
lola: 115578246 markings, 531364207 edges, 159000 markings/sec, 540 secs
lola: 116484228 markings, 535678897 edges, 181196 markings/sec, 545 secs
lola: 117192626 markings, 539335447 edges, 141680 markings/sec, 550 secs
lola: 118077514 markings, 543362015 edges, 176978 markings/sec, 555 secs
lola: 118998123 markings, 547477353 edges, 184122 markings/sec, 560 secs
lola: 119761896 markings, 551088711 edges, 152755 markings/sec, 565 secs
lola: 120597424 markings, 554891769 edges, 167106 markings/sec, 570 secs
lola: 121461216 markings, 558816166 edges, 172758 markings/sec, 575 secs
lola: 122292501 markings, 562551396 edges, 166257 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes unknown no unknown unknown no unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p4 <= 0) OR (p1 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p4 <= 0) OR (p1 <= 0))))
lola: processed formula length: 33
lola: 70 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: 1285898 markings, 7462473 edges, 257180 markings/sec, 0 secs
lola: 2328992 markings, 14289077 edges, 208619 markings/sec, 5 secs
lola: 3444040 markings, 21454613 edges, 223010 markings/sec, 10 secs
lola: 4473887 markings, 28304836 edges, 205969 markings/sec, 15 secs
lola: 5463033 markings, 34861231 edges, 197829 markings/sec, 20 secs
lola: 6481770 markings, 41358384 edges, 203747 markings/sec, 25 secs
lola: 7594839 markings, 48599357 edges, 222614 markings/sec, 30 secs
lola: 8604118 markings, 55303543 edges, 201856 markings/sec, 35 secs
lola: 9498301 markings, 61774495 edges, 178837 markings/sec, 40 secs
lola: 10346263 markings, 68122653 edges, 169592 markings/sec, 45 secs
lola: 11210250 markings, 74269798 edges, 172797 markings/sec, 50 secs
lola: 12006818 markings, 80217099 edges, 159314 markings/sec, 55 secs
lola: 12874595 markings, 86436739 edges, 173555 markings/sec, 60 secs
lola: 13857214 markings, 93180645 edges, 196524 markings/sec, 65 secs
lola: 14819837 markings, 99854879 edges, 192525 markings/sec, 70 secs
lola: 15708483 markings, 106113493 edges, 177729 markings/sec, 75 secs
lola: 16670490 markings, 112865132 edges, 192401 markings/sec, 80 secs
lola: 17630800 markings, 119428811 edges, 192062 markings/sec, 85 secs
lola: 18445365 markings, 125232591 edges, 162913 markings/sec, 90 secs
lola: 19171232 markings, 130656422 edges, 145173 markings/sec, 95 secs
lola: 19929288 markings, 136046437 edges, 151611 markings/sec, 100 secs
lola: 20788609 markings, 142205687 edges, 171864 markings/sec, 105 secs
lola: 21509909 markings, 147743516 edges, 144260 markings/sec, 110 secs
lola: 22177791 markings, 152970278 edges, 133576 markings/sec, 115 secs
lola: 23095905 markings, 158778955 edges, 183623 markings/sec, 120 secs
lola: 23782016 markings, 163923687 edges, 137222 markings/sec, 125 secs
lola: 24501405 markings, 169217790 edges, 143878 markings/sec, 130 secs
lola: 25383054 markings, 175069636 edges, 176330 markings/sec, 135 secs
lola: 26106036 markings, 180283883 edges, 144596 markings/sec, 140 secs
lola: 26910055 markings, 185823213 edges, 160804 markings/sec, 145 secs
lola: 27571128 markings, 190777190 edges, 132215 markings/sec, 150 secs
lola: 28312593 markings, 196125141 edges, 148293 markings/sec, 155 secs
lola: 28936712 markings, 201108938 edges, 124824 markings/sec, 160 secs
lola: 29664288 markings, 206153317 edges, 145515 markings/sec, 165 secs
lola: 30384762 markings, 211179009 edges, 144095 markings/sec, 170 secs
lola: 31032664 markings, 215936543 edges, 129580 markings/sec, 175 secs
lola: 31816902 markings, 221074935 edges, 156848 markings/sec, 180 secs
lola: 32817672 markings, 227711005 edges, 200154 markings/sec, 185 secs
lola: 33649956 markings, 233737052 edges, 166457 markings/sec, 190 secs
lola: 34409658 markings, 239160609 edges, 151940 markings/sec, 195 secs
lola: 35444017 markings, 245704841 edges, 206872 markings/sec, 200 secs
lola: 36293060 markings, 252189257 edges, 169809 markings/sec, 205 secs
lola: 37263766 markings, 258842765 edges, 194141 markings/sec, 210 secs
lola: 38138724 markings, 264867719 edges, 174992 markings/sec, 215 secs
lola: 38923695 markings, 270399916 edges, 156994 markings/sec, 220 secs
lola: 39639886 markings, 275523189 edges, 143238 markings/sec, 225 secs
lola: 40450048 markings, 281424370 edges, 162032 markings/sec, 230 secs
lola: 41134085 markings, 286721184 edges, 136807 markings/sec, 235 secs
lola: 41899855 markings, 292263887 edges, 153154 markings/sec, 240 secs
lola: 42726022 markings, 298265426 edges, 165233 markings/sec, 245 secs
lola: 43547492 markings, 304185876 edges, 164294 markings/sec, 250 secs
lola: 44239170 markings, 309498364 edges, 138336 markings/sec, 255 secs
lola: 44873723 markings, 314558806 edges, 126911 markings/sec, 260 secs
lola: 45512340 markings, 319803744 edges, 127723 markings/sec, 265 secs
lola: 46124140 markings, 324779997 edges, 122360 markings/sec, 270 secs
lola: 46863914 markings, 330678509 edges, 147955 markings/sec, 275 secs
lola: 47694901 markings, 336804757 edges, 166197 markings/sec, 280 secs
lola: 48361609 markings, 341946312 edges, 133342 markings/sec, 285 secs
lola: 49061385 markings, 347515459 edges, 139955 markings/sec, 290 secs
lola: 49786404 markings, 353250766 edges, 145004 markings/sec, 295 secs
lola: 50431294 markings, 358551737 edges, 128978 markings/sec, 300 secs
lola: 51018163 markings, 363537379 edges, 117374 markings/sec, 305 secs
lola: 51588839 markings, 368556994 edges, 114135 markings/sec, 310 secs
lola: 52294112 markings, 373686001 edges, 141055 markings/sec, 315 secs
lola: 52917553 markings, 378470134 edges, 124688 markings/sec, 320 secs
lola: 53531779 markings, 383260965 edges, 122845 markings/sec, 325 secs
lola: 54162479 markings, 388106592 edges, 126140 markings/sec, 330 secs
lola: 54845895 markings, 393263669 edges, 136683 markings/sec, 335 secs
lola: 55453446 markings, 398121477 edges, 121510 markings/sec, 340 secs
lola: 56155446 markings, 403487359 edges, 140400 markings/sec, 345 secs
lola: 56699203 markings, 408001783 edges, 108751 markings/sec, 350 secs
lola: 57328094 markings, 413094529 edges, 125778 markings/sec, 355 secs
lola: 57916245 markings, 418077048 edges, 117630 markings/sec, 360 secs
lola: 58496202 markings, 422830328 edges, 115991 markings/sec, 365 secs
lola: 59126343 markings, 427568865 edges, 126028 markings/sec, 370 secs
lola: 59732216 markings, 432374141 edges, 121175 markings/sec, 375 secs
lola: 60290474 markings, 436897642 edges, 111652 markings/sec, 380 secs
lola: 60906696 markings, 441653766 edges, 123244 markings/sec, 385 secs
lola: 61708395 markings, 447450899 edges, 160340 markings/sec, 390 secs
lola: 62462167 markings, 453160423 edges, 150754 markings/sec, 395 secs
lola: 63117289 markings, 458571805 edges, 131024 markings/sec, 400 secs
lola: 63821296 markings, 464097848 edges, 140801 markings/sec, 405 secs
lola: 64476501 markings, 469368867 edges, 131041 markings/sec, 410 secs
lola: 65313643 markings, 475652803 edges, 167428 markings/sec, 415 secs
lola: 66259829 markings, 482283873 edges, 189237 markings/sec, 420 secs
lola: 67154595 markings, 488552815 edges, 178953 markings/sec, 425 secs
lola: 67964154 markings, 494250739 edges, 161912 markings/sec, 430 secs
lola: 68825244 markings, 500515280 edges, 172218 markings/sec, 435 secs
lola: 69563635 markings, 506151887 edges, 147678 markings/sec, 440 secs
lola: 70195490 markings, 511118499 edges, 126371 markings/sec, 445 secs
lola: 70938474 markings, 516699931 edges, 148597 markings/sec, 450 secs
lola: 71679616 markings, 522145797 edges, 148228 markings/sec, 455 secs
lola: 72388057 markings, 527571841 edges, 141688 markings/sec, 460 secs
lola: 73048460 markings, 532536787 edges, 132081 markings/sec, 465 secs
lola: 73749238 markings, 537796694 edges, 140156 markings/sec, 470 secs
lola: 74515977 markings, 543508262 edges, 153348 markings/sec, 475 secs
lola: 75219235 markings, 549069779 edges, 140652 markings/sec, 480 secs
lola: 75876896 markings, 554337759 edges, 131532 markings/sec, 485 secs
lola: 76540002 markings, 559438598 edges, 132621 markings/sec, 490 secs
lola: 77341266 markings, 565547575 edges, 160253 markings/sec, 495 secs
lola: 78097121 markings, 571654175 edges, 151171 markings/sec, 500 secs
lola: 79036130 markings, 578124871 edges, 187802 markings/sec, 505 secs
lola: 79851708 markings, 583906736 edges, 163116 markings/sec, 510 secs
lola: 80613454 markings, 589427079 edges, 152349 markings/sec, 515 secs
lola: 81291094 markings, 594461785 edges, 135528 markings/sec, 520 secs
lola: 82033682 markings, 599749981 edges, 148518 markings/sec, 525 secs
lola: 82879239 markings, 605815094 edges, 169111 markings/sec, 530 secs
lola: 83516876 markings, 610744790 edges, 127527 markings/sec, 535 secs
lola: 84168172 markings, 615821451 edges, 130259 markings/sec, 540 secs
lola: 84885879 markings, 621187659 edges, 143541 markings/sec, 545 secs
lola: 85494897 markings, 625847555 edges, 121804 markings/sec, 550 secs
lola: 86135407 markings, 630853819 edges, 128102 markings/sec, 555 secs
lola: 86769035 markings, 635813214 edges, 126726 markings/sec, 560 secs
lola: 87464388 markings, 641069943 edges, 139071 markings/sec, 565 secs
lola: 88060995 markings, 645812915 edges, 119321 markings/sec, 570 secs
lola: 88767829 markings, 651222973 edges, 141367 markings/sec, 575 secs
lola: 89335011 markings, 655903002 edges, 113436 markings/sec, 580 secs
lola: 89978912 markings, 661098553 edges, 128780 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes unknown no unknown unknown no unknown unknown
lola: memory consumption: 12660140 KB
lola: time consumption: 1192 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 7 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (G ((1 <= p6))) AND G ((((1 <= p6) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))) OR G ((1 <= p6))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G ((1 <= p6))) AND G ((((1 <= p6) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))) OR G ((1 <= p6))))))
lola: processed formula length: 108
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 16 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: 181 markings, 181 edges
lola: ========================================
lola: subprocess 8 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((1 <= p18)) AND (((1 <= p10) AND (1 <= p11)) OR (1 <= p1)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((1 <= p18)) AND (((1 <= p10) AND (1 <= p11)) OR (1 <= p1)))))
lola: processed formula length: 72
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 182 markings, 182 edges
lola: ========================================
lola: subprocess 9 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((((1 <= p9) AND (1 <= p12) AND (1 <= p13)) OR (G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND (1 <= p8))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((((1 <= p9) AND (1 <= p12) AND (1 <= p13)) OR (G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND F (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND (1 <= p8))))
lola: processed formula length: 168
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 182 markings, 183 edges
lola: ========================================
lola: subprocess 10 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((p0 <= 0)) OR (G ((p0 <= 0)) AND ((F ((p1 <= 0)) OR ((p22 <= 0) OR (p23 <= 0))) R (p0 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((p0 <= 0)) OR (G ((p0 <= 0)) AND ((F ((p1 <= 0)) OR ((p22 <= 0) OR (p23 <= 0))) R (p0 <= 0)))))
lola: processed formula length: 102
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 1139996 markings, 8332170 edges, 227999 markings/sec, 0 secs
lola: 2115312 markings, 16444823 edges, 195063 markings/sec, 5 secs
lola: 2983453 markings, 24600752 edges, 173628 markings/sec, 10 secs
lola: 3875934 markings, 32962311 edges, 178496 markings/sec, 15 secs
lola: 4805394 markings, 40752803 edges, 185892 markings/sec, 20 secs
lola: 5610620 markings, 48618150 edges, 161045 markings/sec, 25 secs
lola: 6339066 markings, 56364924 edges, 145689 markings/sec, 30 secs
lola: 7089636 markings, 64311520 edges, 150114 markings/sec, 35 secs
lola: 8035788 markings, 71997838 edges, 189230 markings/sec, 40 secs
lola: 8885777 markings, 79484786 edges, 169998 markings/sec, 45 secs
lola: 9652484 markings, 87150474 edges, 153341 markings/sec, 50 secs
lola: 10409068 markings, 94543765 edges, 151317 markings/sec, 55 secs
lola: 11159998 markings, 102283727 edges, 150186 markings/sec, 60 secs
lola: 11943668 markings, 110168230 edges, 156734 markings/sec, 65 secs
lola: 12638598 markings, 117764490 edges, 138986 markings/sec, 70 secs
lola: 13382244 markings, 125309982 edges, 148729 markings/sec, 75 secs
lola: 14098098 markings, 132979883 edges, 143171 markings/sec, 80 secs
lola: 14947007 markings, 141050994 edges, 169782 markings/sec, 85 secs
lola: 15697530 markings, 148976457 edges, 150105 markings/sec, 90 secs
lola: 16507685 markings, 156727505 edges, 162031 markings/sec, 95 secs
lola: 17189897 markings, 164418760 edges, 136442 markings/sec, 100 secs
lola: 17831681 markings, 172315631 edges, 128357 markings/sec, 105 secs
lola: 18489210 markings, 179939789 edges, 131506 markings/sec, 110 secs
lola: 19121126 markings, 187535004 edges, 126383 markings/sec, 115 secs
lola: 19785420 markings, 195017662 edges, 132859 markings/sec, 120 secs
lola: 20419775 markings, 202521162 edges, 126871 markings/sec, 125 secs
lola: 21229425 markings, 210762180 edges, 161930 markings/sec, 130 secs
lola: 22016691 markings, 218914862 edges, 157453 markings/sec, 135 secs
lola: 22692427 markings, 226858792 edges, 135147 markings/sec, 140 secs
lola: 23298825 markings, 234485527 edges, 121280 markings/sec, 145 secs
lola: 24056558 markings, 242588472 edges, 151547 markings/sec, 150 secs
lola: 24809010 markings, 250675097 edges, 150490 markings/sec, 155 secs
lola: 25663438 markings, 258156410 edges, 170886 markings/sec, 160 secs
lola: 26418793 markings, 265538320 edges, 151071 markings/sec, 165 secs
lola: 27102561 markings, 272873131 edges, 136754 markings/sec, 170 secs
lola: 27820380 markings, 280421969 edges, 143564 markings/sec, 175 secs
lola: 28637880 markings, 287525076 edges, 163500 markings/sec, 180 secs
lola: 29350296 markings, 294685758 edges, 142483 markings/sec, 185 secs
lola: 30012650 markings, 301725663 edges, 132471 markings/sec, 190 secs
lola: 30642506 markings, 308949109 edges, 125971 markings/sec, 195 secs
lola: 31270156 markings, 316257713 edges, 125530 markings/sec, 200 secs
lola: 31876846 markings, 323623555 edges, 121338 markings/sec, 205 secs
lola: 32541221 markings, 331052055 edges, 132875 markings/sec, 210 secs
lola: 33141804 markings, 338433456 edges, 120117 markings/sec, 215 secs
lola: 33786062 markings, 345718984 edges, 128852 markings/sec, 220 secs
lola: 34384103 markings, 352866278 edges, 119608 markings/sec, 225 secs
lola: 34937334 markings, 360048024 edges, 110646 markings/sec, 230 secs
lola: 35633728 markings, 367556202 edges, 139279 markings/sec, 235 secs
lola: 36299392 markings, 375009372 edges, 133133 markings/sec, 240 secs
lola: 36909030 markings, 382358846 edges, 121928 markings/sec, 245 secs
lola: 37596269 markings, 389601892 edges, 137448 markings/sec, 250 secs
lola: 38202289 markings, 396972335 edges, 121204 markings/sec, 255 secs
lola: 38753625 markings, 404335801 edges, 110267 markings/sec, 260 secs
lola: 39325368 markings, 411843212 edges, 114349 markings/sec, 265 secs
lola: 39863636 markings, 419093944 edges, 107654 markings/sec, 270 secs
lola: 40393843 markings, 426299361 edges, 106041 markings/sec, 275 secs
lola: 40929392 markings, 433659499 edges, 107110 markings/sec, 280 secs
lola: 41623021 markings, 441473304 edges, 138726 markings/sec, 285 secs
lola: 42274954 markings, 448961210 edges, 130387 markings/sec, 290 secs
lola: 42850441 markings, 456368922 edges, 115097 markings/sec, 295 secs
lola: 43417593 markings, 463943565 edges, 113430 markings/sec, 300 secs
lola: 43984781 markings, 471470365 edges, 113438 markings/sec, 305 secs
lola: 44605214 markings, 479271798 edges, 124087 markings/sec, 310 secs
lola: 45306155 markings, 486875408 edges, 140188 markings/sec, 315 secs
lola: 46242886 markings, 493320664 edges, 187346 markings/sec, 320 secs
lola: 47146390 markings, 500171633 edges, 180701 markings/sec, 325 secs
lola: 47941852 markings, 507664480 edges, 159092 markings/sec, 330 secs
lola: 48653724 markings, 515187216 edges, 142374 markings/sec, 335 secs
lola: 49299853 markings, 522400227 edges, 129226 markings/sec, 340 secs
lola: 49972372 markings, 530051929 edges, 134504 markings/sec, 345 secs
lola: 50741138 markings, 537339955 edges, 153753 markings/sec, 350 secs
lola: 51463969 markings, 544686996 edges, 144566 markings/sec, 355 secs
lola: 52082976 markings, 551685662 edges, 123801 markings/sec, 360 secs
lola: 52720579 markings, 559332124 edges, 127521 markings/sec, 365 secs
lola: 53499513 markings, 566389127 edges, 155787 markings/sec, 370 secs
lola: 54145573 markings, 573525130 edges, 129212 markings/sec, 375 secs
lola: 54804988 markings, 580844085 edges, 131883 markings/sec, 380 secs
lola: 55433036 markings, 588004312 edges, 125610 markings/sec, 385 secs
lola: 56052168 markings, 595687261 edges, 123826 markings/sec, 390 secs
lola: 56725659 markings, 603372010 edges, 134698 markings/sec, 395 secs
lola: 57323053 markings, 610960824 edges, 119479 markings/sec, 400 secs
lola: 57988410 markings, 618512733 edges, 133071 markings/sec, 405 secs
lola: 58605510 markings, 625976274 edges, 123420 markings/sec, 410 secs
lola: 59216778 markings, 633413397 edges, 122254 markings/sec, 415 secs
lola: 59822241 markings, 640773698 edges, 121093 markings/sec, 420 secs
lola: 60413298 markings, 648234676 edges, 118211 markings/sec, 425 secs
lola: 61041682 markings, 655492545 edges, 125677 markings/sec, 430 secs
lola: 61706155 markings, 662730715 edges, 132895 markings/sec, 435 secs
lola: 62350182 markings, 669942768 edges, 128805 markings/sec, 440 secs
lola: 62946505 markings, 677223036 edges, 119265 markings/sec, 445 secs
lola: 63521117 markings, 684474252 edges, 114922 markings/sec, 450 secs
lola: 64106042 markings, 691750911 edges, 116985 markings/sec, 455 secs
lola: 64737014 markings, 699304869 edges, 126194 markings/sec, 460 secs
lola: 65405952 markings, 707270258 edges, 133788 markings/sec, 465 secs
lola: 66063070 markings, 715075168 edges, 131424 markings/sec, 470 secs
lola: 66702767 markings, 722739308 edges, 127939 markings/sec, 475 secs
lola: 67297380 markings, 730305605 edges, 118923 markings/sec, 480 secs
lola: 67901419 markings, 737646517 edges, 120808 markings/sec, 485 secs
lola: 68432485 markings, 745060214 edges, 106213 markings/sec, 490 secs
lola: 69068776 markings, 752940280 edges, 127258 markings/sec, 495 secs
lola: 69668046 markings, 760626840 edges, 119854 markings/sec, 500 secs
lola: 70260861 markings, 768501635 edges, 118563 markings/sec, 505 secs
lola: 70998644 markings, 776097170 edges, 147557 markings/sec, 510 secs
lola: 71662542 markings, 783425113 edges, 132780 markings/sec, 515 secs
lola: 72291175 markings, 790804312 edges, 125727 markings/sec, 520 secs
lola: 72885028 markings, 798104316 edges, 118771 markings/sec, 525 secs
lola: 73460707 markings, 805401029 edges, 115136 markings/sec, 530 secs
lola: 73989962 markings, 812551678 edges, 105851 markings/sec, 535 secs
lola: 74588228 markings, 820056476 edges, 119653 markings/sec, 540 secs
lola: 75132155 markings, 827434906 edges, 108785 markings/sec, 545 secs
lola: 75803023 markings, 835024578 edges, 134174 markings/sec, 550 secs
lola: 76468420 markings, 842263813 edges, 133079 markings/sec, 555 secs
lola: 77077752 markings, 849587637 edges, 121866 markings/sec, 560 secs
lola: 77648399 markings, 856714329 edges, 114129 markings/sec, 565 secs
lola: 78214695 markings, 863963250 edges, 113259 markings/sec, 570 secs
lola: 78778083 markings, 871287274 edges, 112678 markings/sec, 575 secs
lola: 79387112 markings, 878649635 edges, 121806 markings/sec, 580 secs
lola: 79947638 markings, 885824837 edges, 112105 markings/sec, 585 secs
lola: 80458408 markings, 893047924 edges, 102154 markings/sec, 590 secs
lola: 80976893 markings, 900582492 edges, 103697 markings/sec, 595 secs
lola: 81705365 markings, 908423472 edges, 145694 markings/sec, 600 secs
lola: 82495956 markings, 916417323 edges, 158118 markings/sec, 605 secs
lola: 83299408 markings, 924271181 edges, 160690 markings/sec, 610 secs
lola: 84034965 markings, 931995390 edges, 147111 markings/sec, 615 secs
lola: 84689238 markings, 939690044 edges, 130855 markings/sec, 620 secs
lola: 85354909 markings, 947552569 edges, 133134 markings/sec, 625 secs
lola: 85988789 markings, 955154427 edges, 126776 markings/sec, 630 secs
lola: 86597710 markings, 962783064 edges, 121784 markings/sec, 635 secs
lola: 87292278 markings, 970689415 edges, 138914 markings/sec, 640 secs
lola: 87952812 markings, 978254321 edges, 132107 markings/sec, 645 secs
lola: 88545397 markings, 985760709 edges, 118517 markings/sec, 650 secs
lola: 89113287 markings, 993386700 edges, 113578 markings/sec, 655 secs
lola: 89681169 markings, 1000997943 edges, 113576 markings/sec, 660 secs
lola: 90315249 markings, 1008846251 edges, 126816 markings/sec, 665 secs
lola: 90960514 markings, 1016633255 edges, 129053 markings/sec, 670 secs
lola: 91791844 markings, 1023436152 edges, 166266 markings/sec, 675 secs
lola: 92522031 markings, 1031306503 edges, 146037 markings/sec, 680 secs
lola: 93153419 markings, 1039113848 edges, 126278 markings/sec, 685 secs
lola: 93790564 markings, 1047035642 edges, 127429 markings/sec, 690 secs
lola: 94419215 markings, 1054604367 edges, 125730 markings/sec, 695 secs
lola: 95032245 markings, 1062225851 edges, 122606 markings/sec, 700 secs
lola: 95627319 markings, 1069718384 edges, 119015 markings/sec, 705 secs
lola: 96190955 markings, 1077209751 edges, 112727 markings/sec, 710 secs
lola: 96783494 markings, 1084625790 edges, 118508 markings/sec, 715 secs
lola: 97337484 markings, 1092168844 edges, 110798 markings/sec, 720 secs
lola: 97965253 markings, 1100183767 edges, 125554 markings/sec, 725 secs
lola: 98506326 markings, 1107753957 edges, 108215 markings/sec, 730 secs
lola: 99054944 markings, 1115279510 edges, 109724 markings/sec, 735 secs
lola: 99595271 markings, 1122762164 edges, 108065 markings/sec, 740 secs
lola: 100108266 markings, 1130139209 edges, 102599 markings/sec, 745 secs
lola: 100591589 markings, 1137640091 edges, 96665 markings/sec, 750 secs
lola: 101157981 markings, 1145545359 edges, 113278 markings/sec, 755 secs
lola: 101674295 markings, 1153152391 edges, 103263 markings/sec, 760 secs
lola: 102212755 markings, 1161213869 edges, 107692 markings/sec, 765 secs
lola: 102831661 markings, 1168547629 edges, 123781 markings/sec, 770 secs
lola: 103356455 markings, 1175665192 edges, 104959 markings/sec, 775 secs
lola: 103883011 markings, 1182979695 edges, 105311 markings/sec, 780 secs
lola: 104355794 markings, 1190160728 edges, 94557 markings/sec, 785 secs
lola: 104924598 markings, 1197668905 edges, 113761 markings/sec, 790 secs
lola: 105478672 markings, 1204988645 edges, 110815 markings/sec, 795 secs
lola: 105992458 markings, 1212298985 edges, 102757 markings/sec, 800 secs
lola: 106520472 markings, 1219823770 edges, 105603 markings/sec, 805 secs
lola: 107013337 markings, 1227218764 edges, 98573 markings/sec, 810 secs
lola: 107517280 markings, 1234597747 edges, 100789 markings/sec, 815 secs
lola: 108151614 markings, 1241726604 edges, 126867 markings/sec, 820 secs
lola: 108722575 markings, 1248731485 edges, 114192 markings/sec, 825 secs
lola: 109295745 markings, 1256140267 edges, 114634 markings/sec, 830 secs
lola: 109872591 markings, 1263434377 edges, 115369 markings/sec, 835 secs
lola: 110383335 markings, 1270491681 edges, 102149 markings/sec, 840 secs
lola: 110902683 markings, 1277891048 edges, 103870 markings/sec, 845 secs
lola: 111441949 markings, 1285015029 edges, 107853 markings/sec, 850 secs
lola: 111924044 markings, 1292060162 edges, 96419 markings/sec, 855 secs
lola: 112380532 markings, 1299123625 edges, 91298 markings/sec, 860 secs
lola: 112952075 markings, 1306423776 edges, 114309 markings/sec, 865 secs
lola: 113501480 markings, 1313990903 edges, 109881 markings/sec, 870 secs
lola: 114104346 markings, 1321698546 edges, 120573 markings/sec, 875 secs
lola: 114900791 markings, 1330022406 edges, 159289 markings/sec, 880 secs
lola: 115652047 markings, 1337907441 edges, 150251 markings/sec, 885 secs
lola: 116317039 markings, 1345523934 edges, 132998 markings/sec, 890 secs
lola: 116951468 markings, 1353268042 edges, 126886 markings/sec, 895 secs
lola: 117561913 markings, 1360902959 edges, 122089 markings/sec, 900 secs
lola: 118147221 markings, 1368624106 edges, 117062 markings/sec, 905 secs
lola: 118900595 markings, 1375743486 edges, 150675 markings/sec, 910 secs
lola: 119490454 markings, 1383307472 edges, 117972 markings/sec, 915 secs
lola: 120087438 markings, 1390894358 edges, 119397 markings/sec, 920 secs
lola: 120644048 markings, 1398383324 edges, 111322 markings/sec, 925 secs
lola: 121219047 markings, 1405688244 edges, 115000 markings/sec, 930 secs
lola: 121762133 markings, 1412922360 edges, 108617 markings/sec, 935 secs
lola: 122168729 markings, 1418908834 edges, 81319 markings/sec, 940 secs
lola: 122690773 markings, 1426486099 edges, 104409 markings/sec, 945 secs
lola: 123251430 markings, 1434174186 edges, 112131 markings/sec, 950 secs
lola: 123776382 markings, 1441397816 edges, 104990 markings/sec, 955 secs
lola: 124300283 markings, 1448800946 edges, 104780 markings/sec, 960 secs
lola: 124839619 markings, 1456012924 edges, 107867 markings/sec, 965 secs
lola: 125344547 markings, 1463265143 edges, 100986 markings/sec, 970 secs
lola: 125803509 markings, 1470466391 edges, 91792 markings/sec, 975 secs
lola: 126384992 markings, 1478115625 edges, 116297 markings/sec, 980 secs
lola: 127034116 markings, 1485354650 edges, 129825 markings/sec, 985 secs
lola: 127699134 markings, 1492894166 edges, 133004 markings/sec, 990 secs
lola: 128291449 markings, 1500439778 edges, 118463 markings/sec, 995 secs
lola: 128845255 markings, 1507903444 edges, 110761 markings/sec, 1000 secs
lola: 129352355 markings, 1515142099 edges, 101420 markings/sec, 1005 secs
lola: 129883214 markings, 1522507951 edges, 106172 markings/sec, 1010 secs
lola: 130446390 markings, 1530043102 edges, 112635 markings/sec, 1015 secs
lola: 131045701 markings, 1537782746 edges, 119862 markings/sec, 1020 secs
lola: 131873596 markings, 1545030332 edges, 165579 markings/sec, 1025 secs
lola: 132597550 markings, 1552067799 edges, 144791 markings/sec, 1030 secs
lola: 133249090 markings, 1558520529 edges, 130308 markings/sec, 1035 secs
lola: 133756688 markings, 1564122745 edges, 101520 markings/sec, 1040 secs
lola: 134432699 markings, 1571426067 edges, 135202 markings/sec, 1045 secs
lola: 135121004 markings, 1577037222 edges, 137661 markings/sec, 1050 secs
lola: 135795924 markings, 1583890468 edges, 134984 markings/sec, 1055 secs
lola: 136451973 markings, 1590758466 edges, 131210 markings/sec, 1060 secs
lola: 136982187 markings, 1596816156 edges, 106043 markings/sec, 1065 secs
lola: 137582083 markings, 1603823346 edges, 119979 markings/sec, 1070 secs
lola: 138171679 markings, 1610882194 edges, 117919 markings/sec, 1075 secs
lola: 138768412 markings, 1617686668 edges, 119347 markings/sec, 1080 secs
lola: 139303428 markings, 1624037296 edges, 107003 markings/sec, 1085 secs
lola: 139834635 markings, 1630301119 edges, 106241 markings/sec, 1090 secs
lola: 140444646 markings, 1637200211 edges, 122002 markings/sec, 1095 secs
lola: 141009121 markings, 1644087354 edges, 112895 markings/sec, 1100 secs
lola: 141509803 markings, 1650782820 edges, 100136 markings/sec, 1105 secs
lola: 142139030 markings, 1657316620 edges, 125845 markings/sec, 1110 secs
lola: 142633726 markings, 1662903072 edges, 98939 markings/sec, 1115 secs
lola: 143126355 markings, 1668806304 edges, 98526 markings/sec, 1120 secs
lola: 143655349 markings, 1674230317 edges, 105799 markings/sec, 1125 secs
lola: 144124306 markings, 1679633893 edges, 93791 markings/sec, 1130 secs
lola: 144614994 markings, 1685568846 edges, 98138 markings/sec, 1135 secs
lola: 144865652 markings, 1688830549 edges, 50132 markings/sec, 1140 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))) AND (F ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND ((1 <= p3) AND (1 <= p7)))) OR ((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))) AND (F ((G (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND ((1 <= p3) AND (1 <= p7)))) OR ((1 <= p25) OR ((1 <= p20) AND (1 <= p21) AND (1 <= p24)))))))
lola: processed formula length: 225
lola: 70 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: 1980522 markings, 6918427 edges, 396104 markings/sec, 0 secs
lola: 3659684 markings, 13328369 edges, 335832 markings/sec, 5 secs
lola: 5090522 markings, 19036570 edges, 286168 markings/sec, 10 secs
lola: 6587584 markings, 24685933 edges, 299412 markings/sec, 15 secs
lola: 8095855 markings, 30474113 edges, 301654 markings/sec, 20 secs
lola: 9480742 markings, 36114423 edges, 276977 markings/sec, 25 secs
lola: 11040358 markings, 42193053 edges, 311923 markings/sec, 30 secs
lola: 12294061 markings, 47460326 edges, 250741 markings/sec, 35 secs
lola: 13374413 markings, 52059842 edges, 216070 markings/sec, 40 secs
lola: 14268970 markings, 56124594 edges, 178911 markings/sec, 45 secs
lola: 15417538 markings, 60987905 edges, 229714 markings/sec, 50 secs
lola: 16575192 markings, 65770178 edges, 231531 markings/sec, 55 secs
lola: 17699149 markings, 70344463 edges, 224791 markings/sec, 60 secs
lola: 18719450 markings, 74611955 edges, 204060 markings/sec, 65 secs
lola: 19821387 markings, 79026057 edges, 220387 markings/sec, 70 secs
lola: 20981054 markings, 83479578 edges, 231933 markings/sec, 75 secs
lola: 21966601 markings, 87482782 edges, 197109 markings/sec, 80 secs
lola: 22970569 markings, 91563137 edges, 200794 markings/sec, 85 secs
lola: 23783908 markings, 95210344 edges, 162668 markings/sec, 90 secs
lola: 24715774 markings, 99106016 edges, 186373 markings/sec, 95 secs
lola: 26169237 markings, 104528785 edges, 290693 markings/sec, 100 secs
lola: 27395110 markings, 109533552 edges, 245175 markings/sec, 105 secs
lola: 28598797 markings, 114713390 edges, 240737 markings/sec, 110 secs
lola: 29648208 markings, 119351464 edges, 209882 markings/sec, 115 secs
lola: 30677070 markings, 123692315 edges, 205772 markings/sec, 120 secs
lola: 31590884 markings, 127669281 edges, 182763 markings/sec, 125 secs
lola: 33188755 markings, 133710414 edges, 319574 markings/sec, 130 secs
lola: 34488085 markings, 139014425 edges, 259866 markings/sec, 135 secs
lola: 35602838 markings, 143851816 edges, 222951 markings/sec, 140 secs
lola: 36617211 markings, 148200931 edges, 202875 markings/sec, 145 secs
lola: 37616316 markings, 152512621 edges, 199821 markings/sec, 150 secs
lola: 38634286 markings, 157115712 edges, 203594 markings/sec, 155 secs
lola: 39801329 markings, 162106668 edges, 233409 markings/sec, 160 secs
lola: 40726139 markings, 166393353 edges, 184962 markings/sec, 165 secs
lola: 41654907 markings, 170751599 edges, 185754 markings/sec, 170 secs
lola: 42632144 markings, 175109762 edges, 195447 markings/sec, 175 secs
lola: 43569800 markings, 179198342 edges, 187531 markings/sec, 180 secs
lola: 44409088 markings, 182966794 edges, 167858 markings/sec, 185 secs
lola: 45272726 markings, 186903341 edges, 172728 markings/sec, 190 secs
lola: 46099483 markings, 190815663 edges, 165351 markings/sec, 195 secs
lola: 46910782 markings, 194746376 edges, 162260 markings/sec, 200 secs
lola: 47762225 markings, 198648361 edges, 170289 markings/sec, 205 secs
lola: 49011317 markings, 203932373 edges, 249818 markings/sec, 210 secs
lola: 50076441 markings, 208852204 edges, 213025 markings/sec, 215 secs
lola: 51043419 markings, 213409713 edges, 193396 markings/sec, 220 secs
lola: 51902004 markings, 217624525 edges, 171717 markings/sec, 225 secs
lola: 53220694 markings, 222972499 edges, 263738 markings/sec, 230 secs
lola: 54468121 markings, 228079920 edges, 249485 markings/sec, 235 secs
lola: 55658300 markings, 233119862 edges, 238036 markings/sec, 240 secs
lola: 56820446 markings, 238131569 edges, 232429 markings/sec, 245 secs
lola: 57841173 markings, 242603663 edges, 204145 markings/sec, 250 secs
lola: 58758782 markings, 246821756 edges, 183522 markings/sec, 255 secs
lola: 59807310 markings, 251245971 edges, 209706 markings/sec, 260 secs
lola: 60801484 markings, 255650458 edges, 198835 markings/sec, 265 secs
lola: 61766428 markings, 259959739 edges, 192989 markings/sec, 270 secs
lola: 63085839 markings, 265067281 edges, 263882 markings/sec, 275 secs
lola: 64089387 markings, 269336970 edges, 200710 markings/sec, 280 secs
lola: 65206773 markings, 273939474 edges, 223477 markings/sec, 285 secs
lola: 66368836 markings, 278464538 edges, 232413 markings/sec, 290 secs
lola: 67427567 markings, 282731567 edges, 211746 markings/sec, 295 secs
lola: 68324481 markings, 286637067 edges, 179383 markings/sec, 300 secs
lola: 69179291 markings, 290335982 edges, 170962 markings/sec, 305 secs
lola: 70160679 markings, 294358812 edges, 196278 markings/sec, 310 secs
lola: 71087855 markings, 298450813 edges, 185435 markings/sec, 315 secs
lola: 72085879 markings, 302643039 edges, 199605 markings/sec, 320 secs
lola: 72926582 markings, 306410964 edges, 168141 markings/sec, 325 secs
lola: 73658969 markings, 309901939 edges, 146477 markings/sec, 330 secs
lola: 74499405 markings, 313740715 edges, 168087 markings/sec, 335 secs
lola: 75338426 markings, 317522916 edges, 167804 markings/sec, 340 secs
lola: 76181426 markings, 321318409 edges, 168600 markings/sec, 345 secs
lola: 77168143 markings, 325433893 edges, 197343 markings/sec, 350 secs
lola: 78356989 markings, 330058878 edges, 237769 markings/sec, 355 secs
lola: 79251199 markings, 336406093 edges, 178842 markings/sec, 360 secs
lola: 80035478 markings, 342343419 edges, 156856 markings/sec, 365 secs
lola: 80726557 markings, 347642442 edges, 138216 markings/sec, 370 secs
lola: 81340860 markings, 352342583 edges, 122861 markings/sec, 375 secs
lola: 82125098 markings, 358161439 edges, 156848 markings/sec, 380 secs
lola: 82829205 markings, 363814297 edges, 140821 markings/sec, 385 secs
lola: 83427266 markings, 368857161 edges, 119612 markings/sec, 390 secs
lola: 83972292 markings, 373531411 edges, 109005 markings/sec, 395 secs
lola: 84629251 markings, 378780638 edges, 131392 markings/sec, 400 secs
lola: 85255653 markings, 383891639 edges, 125280 markings/sec, 405 secs
lola: 85960039 markings, 389210921 edges, 140877 markings/sec, 410 secs
lola: 86535528 markings, 393728337 edges, 115098 markings/sec, 415 secs
lola: 87069630 markings, 398268920 edges, 106820 markings/sec, 420 secs
lola: 87920460 markings, 404089457 edges, 170166 markings/sec, 425 secs
lola: 88884199 markings, 410113447 edges, 192748 markings/sec, 430 secs
lola: 90289247 markings, 415826289 edges, 281010 markings/sec, 435 secs
lola: 91529947 markings, 421121093 edges, 248140 markings/sec, 440 secs
lola: 92637086 markings, 425882392 edges, 221428 markings/sec, 445 secs
lola: 93745348 markings, 430665963 edges, 221652 markings/sec, 450 secs
lola: 94814432 markings, 435413144 edges, 213817 markings/sec, 455 secs
lola: 95947005 markings, 440322201 edges, 226515 markings/sec, 460 secs
lola: 96843065 markings, 444553632 edges, 179212 markings/sec, 465 secs
lola: 97764892 markings, 448883977 edges, 184365 markings/sec, 470 secs
lola: 98749246 markings, 453222708 edges, 196871 markings/sec, 475 secs
lola: 99728258 markings, 457472574 edges, 195802 markings/sec, 480 secs
lola: 100595674 markings, 461409568 edges, 173483 markings/sec, 485 secs
lola: 101491892 markings, 465452336 edges, 179244 markings/sec, 490 secs
lola: 102278418 markings, 469282702 edges, 157305 markings/sec, 495 secs
lola: 103071431 markings, 473108295 edges, 158603 markings/sec, 500 secs
lola: 103929057 markings, 476894486 edges, 171525 markings/sec, 505 secs
lola: 105068484 markings, 481781728 edges, 227885 markings/sec, 510 secs
lola: 106013899 markings, 486135203 edges, 189083 markings/sec, 515 secs
lola: 106838382 markings, 490030986 edges, 164897 markings/sec, 520 secs
lola: 107595621 markings, 493702120 edges, 151448 markings/sec, 525 secs
lola: 108513285 markings, 497767011 edges, 183533 markings/sec, 530 secs
lola: 109657820 markings, 502761603 edges, 228907 markings/sec, 535 secs
lola: 110566754 markings, 507049664 edges, 181787 markings/sec, 540 secs
lola: 111488651 markings, 511382276 edges, 184379 markings/sec, 545 secs
lola: 111939880 markings, 513467816 edges, 90246 markings/sec, 550 secs
lola: 112796877 markings, 517664169 edges, 171399 markings/sec, 555 secs
lola: 113594625 markings, 521530310 edges, 159550 markings/sec, 560 secs
lola: 114315527 markings, 525105911 edges, 144180 markings/sec, 565 secs
lola: 114946831 markings, 528459271 edges, 126261 markings/sec, 570 secs
lola: 115846156 markings, 532565567 edges, 179865 markings/sec, 575 secs
lola: 116596018 markings, 536253051 edges, 149972 markings/sec, 580 secs
lola: 117229155 markings, 539540961 edges, 126627 markings/sec, 585 secs
lola: 118118748 markings, 543536699 edges, 177919 markings/sec, 590 secs
lola: 118977821 markings, 547395465 edges, 171815 markings/sec, 595 secs
lola: 119758908 markings, 551074994 edges, 156217 markings/sec, 600 secs
lola: 120584588 markings, 554833747 edges, 165136 markings/sec, 605 secs
lola: 121364385 markings, 558413854 edges, 155959 markings/sec, 610 secs
lola: 122219388 markings, 562190698 edges, 171001 markings/sec, 615 secs
lola: 122992685 markings, 565682208 edges, 154659 markings/sec, 620 secs
lola: 123726158 markings, 569077224 edges, 146695 markings/sec, 625 secs
lola: 124327852 markings, 572055931 edges, 120339 markings/sec, 630 secs
lola: 124938962 markings, 574996924 edges, 122222 markings/sec, 635 secs
lola: 125558697 markings, 577964404 edges, 123947 markings/sec, 640 secs
lola: 126295536 markings, 581321117 edges, 147368 markings/sec, 645 secs
lola: 126916706 markings, 584381033 edges, 124234 markings/sec, 650 secs
lola: 127644133 markings, 587779118 edges, 145485 markings/sec, 655 secs
lola: 128291291 markings, 590960765 edges, 129432 markings/sec, 660 secs
lola: 128950310 markings, 594232320 edges, 131804 markings/sec, 665 secs
lola: 129581141 markings, 597565512 edges, 126166 markings/sec, 670 secs
lola: 130287124 markings, 601128127 edges, 141197 markings/sec, 675 secs
lola: 130958273 markings, 604646866 edges, 134230 markings/sec, 680 secs
lola: 131694293 markings, 608156381 edges, 147204 markings/sec, 685 secs
lola: 132270281 markings, 611086977 edges, 115198 markings/sec, 690 secs
lola: 132901845 markings, 614132820 edges, 126313 markings/sec, 695 secs
lola: 133681217 markings, 617515706 edges, 155874 markings/sec, 700 secs
lola: 134660186 markings, 622907642 edges, 195794 markings/sec, 705 secs
lola: 135261498 markings, 627823372 edges, 120262 markings/sec, 710 secs
lola: 135773391 markings, 632144935 edges, 102379 markings/sec, 715 secs
lola: 136183363 markings, 635757744 edges, 81994 markings/sec, 720 secs
lola: 136661884 markings, 639708933 edges, 95704 markings/sec, 725 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F (((p4 <= 0) OR (p1 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p4 <= 0) OR (p1 <= 0))))
lola: processed formula length: 33
lola: 70 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: 1265086 markings, 7351318 edges, 253017 markings/sec, 0 secs
lola: 2279832 markings, 13974601 edges, 202949 markings/sec, 5 secs
lola: 3354620 markings, 20864897 edges, 214958 markings/sec, 10 secs
lola: 4310134 markings, 27222366 edges, 191103 markings/sec, 15 secs
lola: 5232304 markings, 33228463 edges, 184434 markings/sec, 20 secs
lola: 6085905 markings, 38882368 edges, 170720 markings/sec, 25 secs
lola: 7139674 markings, 45719373 edges, 210754 markings/sec, 30 secs
lola: 8179246 markings, 52502969 edges, 207914 markings/sec, 35 secs
lola: 9072063 markings, 58739479 edges, 178563 markings/sec, 40 secs
lola: 9952446 markings, 65126312 edges, 176077 markings/sec, 45 secs
lola: 10724227 markings, 70847266 edges, 154356 markings/sec, 50 secs
lola: 11520524 markings, 76647005 edges, 159259 markings/sec, 55 secs
lola: 12254992 markings, 82040196 edges, 146894 markings/sec, 60 secs
lola: 13111366 markings, 88206132 edges, 171275 markings/sec, 65 secs
lola: 14133686 markings, 95028369 edges, 204464 markings/sec, 70 secs
lola: 15004703 markings, 101149439 edges, 174203 markings/sec, 75 secs
lola: 15811672 markings, 106878105 edges, 161394 markings/sec, 80 secs
lola: 16754360 markings, 113413271 edges, 188538 markings/sec, 85 secs
lola: 17670544 markings, 119704533 edges, 183237 markings/sec, 90 secs
lola: 18493334 markings, 125570342 edges, 164558 markings/sec, 95 secs
lola: 19239643 markings, 131129467 edges, 149262 markings/sec, 100 secs
lola: 20052664 markings, 136937660 edges, 162604 markings/sec, 105 secs
lola: 20961699 markings, 143494528 edges, 181807 markings/sec, 110 secs
lola: 21700251 markings, 149173621 edges, 147710 markings/sec, 115 secs
lola: 22452625 markings, 155115527 edges, 150475 markings/sec, 120 secs
lola: 23353821 markings, 160728324 edges, 180239 markings/sec, 125 secs
lola: 24130433 markings, 166459610 edges, 155322 markings/sec, 130 secs
lola: 24946969 markings, 172201959 edges, 163307 markings/sec, 135 secs
lola: 25810333 markings, 178054573 edges, 172673 markings/sec, 140 secs
lola: 26596234 markings, 183669789 edges, 157180 markings/sec, 145 secs
lola: 27370116 markings, 189253626 edges, 154776 markings/sec, 150 secs
lola: 28147368 markings, 195003209 edges, 155450 markings/sec, 155 secs
lola: 28860910 markings, 200545406 edges, 142708 markings/sec, 160 secs
lola: 29628008 markings, 205891611 edges, 153420 markings/sec, 165 secs
lola: 30395635 markings, 211262424 edges, 153525 markings/sec, 170 secs
lola: 31078550 markings, 216309529 edges, 136583 markings/sec, 175 secs
lola: 31999027 markings, 222203808 edges, 184095 markings/sec, 180 secs
lola: 32988284 markings, 228893190 edges, 197851 markings/sec, 185 secs
lola: 33847331 markings, 235181644 edges, 171809 markings/sec, 190 secs
lola: 34715909 markings, 241152969 edges, 173716 markings/sec, 195 secs
lola: 35801735 markings, 248174151 edges, 217165 markings/sec, 200 secs
lola: 36660132 markings, 254914192 edges, 171679 markings/sec, 205 secs
lola: 37659030 markings, 261491873 edges, 199780 markings/sec, 210 secs
lola: 38485585 markings, 267436010 edges, 165311 markings/sec, 215 secs
lola: 39278122 markings, 272906157 edges, 158507 markings/sec, 220 secs
lola: 40021446 markings, 278241310 edges, 148665 markings/sec, 225 secs
lola: 40773529 markings, 283989543 edges, 150417 markings/sec, 230 secs
lola: 41412344 markings, 288900006 edges, 127763 markings/sec, 235 secs
lola: 42217012 markings, 294628747 edges, 160934 markings/sec, 240 secs
lola: 43077600 markings, 300699962 edges, 172118 markings/sec, 245 secs
lola: 43816287 markings, 306300413 edges, 147737 markings/sec, 250 secs
lola: 44491753 markings, 311455231 edges, 135093 markings/sec, 255 secs
lola: 45126801 markings, 316588074 edges, 127010 markings/sec, 260 secs
lola: 45732029 markings, 321651308 edges, 121046 markings/sec, 265 secs
lola: 46375363 markings, 326772387 edges, 128667 markings/sec, 270 secs
lola: 47153113 markings, 332701360 edges, 155550 markings/sec, 275 secs
lola: 47910761 markings, 338501853 edges, 151530 markings/sec, 280 secs
lola: 48550141 markings, 343434279 edges, 127876 markings/sec, 285 secs
lola: 49218870 markings, 348791552 edges, 133746 markings/sec, 290 secs
lola: 49943412 markings, 354484919 edges, 144908 markings/sec, 295 secs
lola: 50564317 markings, 359649247 edges, 124181 markings/sec, 300 secs
lola: 51136078 markings, 364589877 edges, 114352 markings/sec, 305 secs
lola: 51769311 markings, 369854143 edges, 126647 markings/sec, 310 secs
lola: 52454623 markings, 374902283 edges, 137062 markings/sec, 315 secs
lola: 53104456 markings, 379896075 edges, 129967 markings/sec, 320 secs
lola: 53713276 markings, 384775265 edges, 121764 markings/sec, 325 secs
lola: 54455751 markings, 390254165 edges, 148495 markings/sec, 330 secs
lola: 55115831 markings, 395388012 edges, 132016 markings/sec, 335 secs
lola: 55762130 markings, 400509021 edges, 129260 markings/sec, 340 secs
lola: 56412592 markings, 405599664 edges, 130092 markings/sec, 345 secs
lola: 57034361 markings, 410690414 edges, 124354 markings/sec, 350 secs
lola: 57624826 markings, 415590688 edges, 118093 markings/sec, 355 secs
lola: 58183529 markings, 420424154 edges, 111741 markings/sec, 360 secs
lola: 58811573 markings, 425211624 edges, 125609 markings/sec, 365 secs
lola: 59449065 markings, 430027386 edges, 127498 markings/sec, 370 secs
lola: 60028513 markings, 434694927 edges, 115890 markings/sec, 375 secs
lola: 60601514 markings, 439361237 edges, 114600 markings/sec, 380 secs
lola: 61324028 markings, 444620935 edges, 144503 markings/sec, 385 secs
lola: 62101692 markings, 450382524 edges, 155533 markings/sec, 390 secs
lola: 62800467 markings, 455922236 edges, 139755 markings/sec, 395 secs
lola: 63471798 markings, 461394499 edges, 134266 markings/sec, 400 secs
lola: 64118621 markings, 466517476 edges, 129365 markings/sec, 405 secs
lola: 64872495 markings, 472242172 edges, 150775 markings/sec, 410 secs
lola: 65652690 markings, 478185132 edges, 156039 markings/sec, 415 secs
lola: 66618011 markings, 484788754 edges, 193064 markings/sec, 420 secs
lola: 67442632 markings, 490571010 edges, 164924 markings/sec, 425 secs
lola: 68253928 markings, 496275725 edges, 162259 markings/sec, 430 secs
lola: 69063416 markings, 502266665 edges, 161898 markings/sec, 435 secs
lola: 69704937 markings, 507248879 edges, 128304 markings/sec, 440 secs
lola: 70350571 markings, 512288032 edges, 129127 markings/sec, 445 secs
lola: 71077612 markings, 517703940 edges, 145408 markings/sec, 450 secs
lola: 71787224 markings, 522989258 edges, 141922 markings/sec, 455 secs
lola: 72460377 markings, 528155108 edges, 134631 markings/sec, 460 secs
lola: 73094504 markings, 532926526 edges, 126825 markings/sec, 465 secs
lola: 73794132 markings, 538104419 edges, 139926 markings/sec, 470 secs
lola: 74519536 markings, 543542148 edges, 145081 markings/sec, 475 secs
lola: 75183268 markings, 548765914 edges, 132746 markings/sec, 480 secs
lola: 75810361 markings, 553816767 edges, 125419 markings/sec, 485 secs
lola: 76409529 markings, 558604981 edges, 119834 markings/sec, 490 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no yes no no unknown no no no unknown
lola:
preliminary result: unknown no no yes no no unknown no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes no no unknown no no no unknown
lola: memory consumption: 10689776 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes no no unknown no no no unknown
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HouseConstruction-PT-00010"
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 HouseConstruction-PT-00010, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-tall-162075428200078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HouseConstruction-PT-00010.tgz
mv HouseConstruction-PT-00010 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 ;