About the Execution of 2020-gold for GPPP-PT-C0100N0000000100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16253.384 | 3600000.00 | 2631756.00 | 18408.50 | TTFFTFTFTTFFFTT? | 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.r113-smll-162075355700121.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is GPPP-PT-C0100N0000000100, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r113-smll-162075355700121
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 364K
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 99K 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.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 11:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 11:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 22 19:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 22 19:56 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 17 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1 May 5 16:51 large_marking
-rw-r--r-- 1 mcc users 21K 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 GPPP-PT-C0100N0000000100-00
FORMULA_NAME GPPP-PT-C0100N0000000100-01
FORMULA_NAME GPPP-PT-C0100N0000000100-02
FORMULA_NAME GPPP-PT-C0100N0000000100-03
FORMULA_NAME GPPP-PT-C0100N0000000100-04
FORMULA_NAME GPPP-PT-C0100N0000000100-05
FORMULA_NAME GPPP-PT-C0100N0000000100-06
FORMULA_NAME GPPP-PT-C0100N0000000100-07
FORMULA_NAME GPPP-PT-C0100N0000000100-08
FORMULA_NAME GPPP-PT-C0100N0000000100-09
FORMULA_NAME GPPP-PT-C0100N0000000100-10
FORMULA_NAME GPPP-PT-C0100N0000000100-11
FORMULA_NAME GPPP-PT-C0100N0000000100-12
FORMULA_NAME GPPP-PT-C0100N0000000100-13
FORMULA_NAME GPPP-PT-C0100N0000000100-14
FORMULA_NAME GPPP-PT-C0100N0000000100-15
=== Now, execution of the tool begins
BK_START 1620953449589
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-14 00:50:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-14 00:50:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-14 00:50:53] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2021-05-14 00:50:53] [INFO ] Transformed 33 places.
[2021-05-14 00:50:53] [INFO ] Transformed 22 transitions.
[2021-05-14 00:50:53] [INFO ] Parsed PT model containing 33 places and 22 transitions in 153 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 33 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100094 steps, including 33 resets, run finished after 130 ms. (steps per millisecond=769 ) properties seen :[0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 22 rows 33 cols
[2021-05-14 00:50:53] [INFO ] Computed 12 place invariants in 7 ms
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 18 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 3 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
[2021-05-14 00:50:53] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
Successfully simplified 7 atomic propositions for a total of 10 simplifications.
[2021-05-14 00:50:54] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2021-05-14 00:50:54] [INFO ] Flatten gal took : 61 ms
FORMULA GPPP-PT-C0100N0000000100-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0100N0000000100-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-14 00:50:54] [INFO ] Flatten gal took : 14 ms
[2021-05-14 00:50:54] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 4 ms.
[2021-05-14 00:50:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ GPPP-PT-C0100N0000000100 @ 3570 seconds
FORMULA GPPP-PT-C0100N0000000100-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000000100-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 975
rslt: Output for LTLCardinality @ GPPP-PT-C0100N0000000100
{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri May 14 00:50:55 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 389
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"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 ((p30 <= p5))))",
"processed_size": 23,
"rewrites": 51
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 438
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (X (G ((2 <= p16)))))",
"processed_size": 26,
"rewrites": 51
},
"result":
{
"edges": 2798,
"markings": 2798,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 501
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G ((X (F ((1 <= p15))) OR ((p4 <= 2) R F ((p4 <= 2))))))",
"processed_size": 59,
"rewrites": 51
},
"result":
{
"edges": 2802,
"markings": 2801,
"produced_by": "LTL model checker",
"value": false
},
"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": 584
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(X (F ((p14 <= p8))) U (G (F ((p12 <= p14))) AND (p31 <= p24)))",
"processed_size": 63,
"rewrites": 51
},
"result":
{
"edges": 3255,
"markings": 3244,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 701
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"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 ((p29 + 1 <= p17))",
"processed_size": 20,
"rewrites": 51
},
"result":
{
"edges": 2798,
"markings": 2798,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 876
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 876
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((1 <= p8) OR (p15 <= p3))",
"processed_size": 27,
"rewrites": 51
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1169
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (X (G ((1 <= p8)))))",
"processed_size": 25,
"rewrites": 51
},
"result":
{
"edges": 2798,
"markings": 2798,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1168
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"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": "(p20 + 1 <= p27)",
"processed_size": 16,
"rewrites": 53
},
"result":
{
"edges": 401,
"markings": 402,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2337
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (F ((G ((p1 <= p16)) OR (3 <= p5))))",
"processed_size": 38,
"rewrites": 51
},
"result":
{
"edges": 16,
"markings": 16,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 8,
"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": 3332,
"runtime": 2595.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X(X(F(**))) : X(X(X(G(**)))) : G(F((G(**) OR **))) : F(G((X(F(**)) OR (* R F(*))))) : F(**) : (X(F(**)) U (G(F(**)) AND **)) : X(*) : (X(X(X(G(**)))) AND **) : G(F((F(G(**)) AND (G((** OR X(G(**)))) AND **))))"
},
"net":
{
"arcs": 83,
"conflict_clusters": 14,
"places": 33,
"places_significant": 21,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"preliminary_value": "yes no no no yes no no no unknown ",
"value": "yes no no no yes 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: 55/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 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 LTLCardinality.xml
lola: F (X (X ((p30 <= p5)))) : X (X (G (X ((2 <= p16))))) : NOT(F (NOT(F ((G ((p1 <= p16)) OR (3 <= p5)))))) : F (X (G ((X (F ((1 <= p15))) OR NOT(((3 <= p4) U G ((3 <= p4)))))))) : F ((p27 <= p20)) : (X (F (((p12 <= p14) U (p14 <= p8)))) U (G (F ((p12 <= p14))) AND (p31 <= p24))) : (NOT(((1 <= 0) U (0 <= 0))) OR NOT(X ((p17 <= p29)))) : (NOT(F (X (NOT(G (X (X (G ((1 <= p8))))))))) AND ((1 <= p8) OR (p15 <= p3))) : X (G (F ((G (((2 <= p9) U G (X ((3 <= p18))))) AND (2 <= p22)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F ((p30 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F ((p30 <= p5))))
lola: processed formula length: 23
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G ((2 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G ((2 <= p16)))))
lola: processed formula length: 26
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2798 markings, 2798 edges
lola: ========================================
lola: subprocess 2 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (F ((1 <= p15))) OR ((p4 <= 2) R F ((p4 <= 2))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (F ((1 <= p15))) OR ((p4 <= 2) R F ((p4 <= 2))))))
lola: processed formula length: 59
lola: 51 rewrites
lola: closed formula file LTLCardinality.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: 2801 markings, 2802 edges
lola: ========================================
lola: subprocess 3 will run for 584 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((p14 <= p8))) U (G (F ((p12 <= p14))) AND (p31 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F ((p14 <= p8))) U (G (F ((p12 <= p14))) AND (p31 <= p24)))
lola: processed formula length: 63
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3244 markings, 3255 edges
lola: ========================================
lola: subprocess 4 will run for 701 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((p29 + 1 <= p17))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((p29 + 1 <= p17))
lola: processed formula length: 20
lola: 51 rewrites
lola: closed formula file LTLCardinality.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: 2798 markings, 2798 edges
lola: ========================================
lola: subprocess 5 will run for 876 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (X (G ((1 <= p8))))) AND ((1 <= p8) OR (p15 <= p3)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 876 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p8) OR (p15 <= p3))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p8) OR (p15 <= p3))
lola: processed formula length: 27
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 1169 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G ((1 <= p8)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G ((1 <= p8)))))
lola: processed formula length: 25
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2798 markings, 2798 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 1169 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (G ((3 <= p18))) AND (G (((2 <= p9) OR X (G ((3 <= p18))))) AND (2 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G ((3 <= p18))) AND (G (((2 <= p9) OR X (G ((3 <= p18))))) AND (2 <= p22)))))
lola: processed formula length: 87
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 19 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: 681360 markings, 6119398 edges, 136272 markings/sec, 0 secs
lola: 1317513 markings, 12314654 edges, 127231 markings/sec, 5 secs
lola: 1922467 markings, 18439815 edges, 120991 markings/sec, 10 secs
lola: 2540775 markings, 24521555 edges, 123662 markings/sec, 15 secs
lola: 3146115 markings, 30585298 edges, 121068 markings/sec, 20 secs
lola: 3737927 markings, 36534092 edges, 118362 markings/sec, 25 secs
lola: 4320794 markings, 42413624 edges, 116573 markings/sec, 30 secs
lola: 4925159 markings, 48349272 edges, 120873 markings/sec, 35 secs
lola: 5487198 markings, 54148034 edges, 112408 markings/sec, 40 secs
lola: 6078619 markings, 60113866 edges, 118284 markings/sec, 45 secs
lola: 6677901 markings, 66109290 edges, 119856 markings/sec, 50 secs
lola: 7251271 markings, 72015719 edges, 114674 markings/sec, 55 secs
lola: 7847818 markings, 77978629 edges, 119309 markings/sec, 60 secs
lola: 8421563 markings, 83934375 edges, 114749 markings/sec, 65 secs
lola: 9010950 markings, 89829044 edges, 117877 markings/sec, 70 secs
lola: 9593051 markings, 95772234 edges, 116420 markings/sec, 75 secs
lola: 10179011 markings, 101636034 edges, 117192 markings/sec, 80 secs
lola: 10749664 markings, 107550385 edges, 114131 markings/sec, 85 secs
lola: 11330764 markings, 113403054 edges, 116220 markings/sec, 90 secs
lola: 11896977 markings, 119255600 edges, 113243 markings/sec, 95 secs
lola: 12488290 markings, 125134994 edges, 118263 markings/sec, 100 secs
lola: 13048655 markings, 130951130 edges, 112073 markings/sec, 105 secs
lola: 13644997 markings, 136827098 edges, 119268 markings/sec, 110 secs
lola: 14195916 markings, 142556970 edges, 110184 markings/sec, 115 secs
lola: 14758685 markings, 148391599 edges, 112554 markings/sec, 120 secs
lola: 15345834 markings, 154205534 edges, 117430 markings/sec, 125 secs
lola: 15897323 markings, 159936879 edges, 110298 markings/sec, 130 secs
lola: 16484908 markings, 165788607 edges, 117517 markings/sec, 135 secs
lola: 17036227 markings, 171488673 edges, 110264 markings/sec, 140 secs
lola: 17588007 markings, 177242069 edges, 110356 markings/sec, 145 secs
lola: 18175592 markings, 183039712 edges, 117517 markings/sec, 150 secs
lola: 18716971 markings, 188720857 edges, 108276 markings/sec, 155 secs
lola: 19270188 markings, 194467951 edges, 110643 markings/sec, 160 secs
lola: 19856801 markings, 200275966 edges, 117323 markings/sec, 165 secs
lola: 20402458 markings, 205961330 edges, 109131 markings/sec, 170 secs
lola: 20960304 markings, 211688516 edges, 111569 markings/sec, 175 secs
lola: 21538589 markings, 217506609 edges, 115657 markings/sec, 180 secs
lola: 22091035 markings, 223162953 edges, 110489 markings/sec, 185 secs
lola: 22646149 markings, 228862054 edges, 111023 markings/sec, 190 secs
lola: 23227593 markings, 234711617 edges, 116289 markings/sec, 195 secs
lola: 23778645 markings, 240359259 edges, 110210 markings/sec, 200 secs
lola: 24321709 markings, 246021495 edges, 108613 markings/sec, 205 secs
lola: 24891814 markings, 251778466 edges, 114021 markings/sec, 210 secs
lola: 25453449 markings, 257519278 edges, 112327 markings/sec, 215 secs
lola: 25994788 markings, 263134075 edges, 108268 markings/sec, 220 secs
lola: 26548674 markings, 268813929 edges, 110777 markings/sec, 225 secs
lola: 27127306 markings, 274629145 edges, 115726 markings/sec, 230 secs
lola: 27678156 markings, 280269929 edges, 110170 markings/sec, 235 secs
lola: 28218465 markings, 285896056 edges, 108062 markings/sec, 240 secs
lola: 28787523 markings, 291647564 edges, 113812 markings/sec, 245 secs
lola: 29348680 markings, 297382550 edges, 112231 markings/sec, 250 secs
lola: 29885015 markings, 302918250 edges, 107267 markings/sec, 255 secs
lola: 30432961 markings, 308526961 edges, 109589 markings/sec, 260 secs
lola: 31010879 markings, 314318625 edges, 115584 markings/sec, 265 secs
lola: 31556462 markings, 319964628 edges, 109117 markings/sec, 270 secs
lola: 32086025 markings, 325483185 edges, 105913 markings/sec, 275 secs
lola: 32634438 markings, 331093315 edges, 109683 markings/sec, 280 secs
lola: 33211266 markings, 336878427 edges, 115366 markings/sec, 285 secs
lola: 33757103 markings, 342499972 edges, 109167 markings/sec, 290 secs
lola: 34283297 markings, 347998696 edges, 105239 markings/sec, 295 secs
lola: 34831042 markings, 353598415 edges, 109549 markings/sec, 300 secs
lola: 35405817 markings, 359354200 edges, 114955 markings/sec, 305 secs
lola: 35949000 markings, 364966979 edges, 108637 markings/sec, 310 secs
lola: 36474845 markings, 370434344 edges, 105169 markings/sec, 315 secs
lola: 37016096 markings, 375991776 edges, 108250 markings/sec, 320 secs
lola: 37595900 markings, 381770963 edges, 115961 markings/sec, 325 secs
lola: 38138767 markings, 387423535 edges, 108573 markings/sec, 330 secs
lola: 38663622 markings, 392828116 edges, 104971 markings/sec, 335 secs
lola: 39192851 markings, 398353212 edges, 105846 markings/sec, 340 secs
lola: 39749373 markings, 404042265 edges, 111304 markings/sec, 345 secs
lola: 40311245 markings, 409729320 edges, 112374 markings/sec, 350 secs
lola: 40850454 markings, 415204947 edges, 107842 markings/sec, 355 secs
lola: 41372554 markings, 420698475 edges, 104420 markings/sec, 360 secs
lola: 41923273 markings, 426328422 edges, 110144 markings/sec, 365 secs
lola: 42494068 markings, 432035553 edges, 114159 markings/sec, 370 secs
lola: 43038508 markings, 437636446 edges, 108888 markings/sec, 375 secs
lola: 43559271 markings, 443060821 edges, 104153 markings/sec, 380 secs
lola: 44094685 markings, 448577279 edges, 107083 markings/sec, 385 secs
lola: 44650312 markings, 454242298 edges, 111125 markings/sec, 390 secs
lola: 45201557 markings, 459883835 edges, 110249 markings/sec, 395 secs
lola: 45742280 markings, 465379221 edges, 108145 markings/sec, 400 secs
lola: 46263343 markings, 470861540 edges, 104213 markings/sec, 405 secs
lola: 46810519 markings, 476441468 edges, 109435 markings/sec, 410 secs
lola: 47379672 markings, 482124307 edges, 113831 markings/sec, 415 secs
lola: 47917801 markings, 487699943 edges, 107626 markings/sec, 420 secs
lola: 48446848 markings, 493178725 edges, 105809 markings/sec, 425 secs
lola: 48969929 markings, 498616836 edges, 104616 markings/sec, 430 secs
lola: 49508929 markings, 504159820 edges, 107800 markings/sec, 435 secs
lola: 50079662 markings, 509860859 edges, 114147 markings/sec, 440 secs
lola: 50621032 markings, 515410398 edges, 108274 markings/sec, 445 secs
lola: 51144442 markings, 520881163 edges, 104682 markings/sec, 450 secs
lola: 51672817 markings, 526321401 edges, 105675 markings/sec, 455 secs
lola: 52206925 markings, 531868344 edges, 106822 markings/sec, 460 secs
lola: 52776583 markings, 537559617 edges, 113932 markings/sec, 465 secs
lola: 53320130 markings, 543101667 edges, 108709 markings/sec, 470 secs
lola: 53840750 markings, 548571750 edges, 104124 markings/sec, 475 secs
lola: 54369881 markings, 553985529 edges, 105826 markings/sec, 480 secs
lola: 54894940 markings, 559441818 edges, 105012 markings/sec, 485 secs
lola: 55455604 markings, 565002134 edges, 112133 markings/sec, 490 secs
lola: 55968348 markings, 570374337 edges, 102549 markings/sec, 495 secs
lola: 56489143 markings, 575711606 edges, 104159 markings/sec, 500 secs
lola: 57001053 markings, 580954892 edges, 102382 markings/sec, 505 secs
lola: 57511295 markings, 586266944 edges, 102048 markings/sec, 510 secs
lola: 58028302 markings, 591697412 edges, 103401 markings/sec, 515 secs
lola: 58587978 markings, 597243253 edges, 111935 markings/sec, 520 secs
lola: 59099219 markings, 602530609 edges, 102248 markings/sec, 525 secs
lola: 59585698 markings, 607587001 edges, 97296 markings/sec, 530 secs
lola: 60095042 markings, 612814466 edges, 101869 markings/sec, 535 secs
lola: 60614774 markings, 618113526 edges, 103946 markings/sec, 540 secs
lola: 61179235 markings, 623746459 edges, 112892 markings/sec, 545 secs
lola: 61694073 markings, 629110711 edges, 102968 markings/sec, 550 secs
lola: 62194435 markings, 634298475 edges, 100072 markings/sec, 555 secs
lola: 62692416 markings, 639455820 edges, 99596 markings/sec, 560 secs
lola: 63188774 markings, 644591301 edges, 99272 markings/sec, 565 secs
lola: 63692446 markings, 649835648 edges, 100734 markings/sec, 570 secs
lola: 64253561 markings, 655398728 edges, 112223 markings/sec, 575 secs
lola: 64757345 markings, 660644115 edges, 100757 markings/sec, 580 secs
lola: 65270121 markings, 665899823 edges, 102555 markings/sec, 585 secs
lola: 65778247 markings, 671114629 edges, 101625 markings/sec, 590 secs
lola: 66288960 markings, 676382540 edges, 102143 markings/sec, 595 secs
lola: 66803671 markings, 681770139 edges, 102942 markings/sec, 600 secs
lola: 67368519 markings, 687390058 edges, 112970 markings/sec, 605 secs
lola: 67871131 markings, 692620884 edges, 100522 markings/sec, 610 secs
lola: 68369741 markings, 697786623 edges, 99722 markings/sec, 615 secs
lola: 68886716 markings, 703079076 edges, 103395 markings/sec, 620 secs
lola: 69405483 markings, 708398541 edges, 103753 markings/sec, 625 secs
lola: 69922449 markings, 713817857 edges, 103393 markings/sec, 630 secs
lola: 70496258 markings, 719570218 edges, 114762 markings/sec, 635 secs
lola: 71031682 markings, 724994107 edges, 107085 markings/sec, 640 secs
lola: 71543266 markings, 730335147 edges, 102317 markings/sec, 645 secs
lola: 72048789 markings, 735599223 edges, 101105 markings/sec, 650 secs
lola: 72573302 markings, 740984463 edges, 104903 markings/sec, 655 secs
lola: 73103111 markings, 746471919 edges, 105962 markings/sec, 660 secs
lola: 73680332 markings, 752270862 edges, 115444 markings/sec, 665 secs
lola: 74216952 markings, 757726217 edges, 107324 markings/sec, 670 secs
lola: 74727032 markings, 763030397 edges, 102016 markings/sec, 675 secs
lola: 75234102 markings, 768315218 edges, 101414 markings/sec, 680 secs
lola: 75750077 markings, 773664266 edges, 103195 markings/sec, 685 secs
lola: 76282170 markings, 779101896 edges, 106419 markings/sec, 690 secs
lola: 76857773 markings, 784875084 edges, 115121 markings/sec, 695 secs
lola: 77401910 markings, 790462755 edges, 108827 markings/sec, 700 secs
lola: 77911238 markings, 795735216 edges, 101866 markings/sec, 705 secs
lola: 78420472 markings, 801047792 edges, 101847 markings/sec, 710 secs
lola: 78928909 markings, 806360036 edges, 101687 markings/sec, 715 secs
lola: 79462146 markings, 811754866 edges, 106647 markings/sec, 720 secs
lola: 80034932 markings, 817480567 edges, 114557 markings/sec, 725 secs
lola: 80588582 markings, 823211684 edges, 110730 markings/sec, 730 secs
lola: 81100375 markings, 828507414 edges, 102359 markings/sec, 735 secs
lola: 81613418 markings, 833876976 edges, 102609 markings/sec, 740 secs
lola: 82137662 markings, 839261547 edges, 104849 markings/sec, 745 secs
lola: 82665254 markings, 844715105 edges, 105518 markings/sec, 750 secs
lola: 83217510 markings, 850380412 edges, 110451 markings/sec, 755 secs
lola: 83802420 markings, 856274850 edges, 116982 markings/sec, 760 secs
lola: 84341682 markings, 861817765 edges, 107852 markings/sec, 765 secs
lola: 84857830 markings, 867161162 edges, 103230 markings/sec, 770 secs
lola: 85372150 markings, 872554945 edges, 102864 markings/sec, 775 secs
lola: 85903204 markings, 877959788 edges, 106211 markings/sec, 780 secs
lola: 86432069 markings, 883503168 edges, 105773 markings/sec, 785 secs
lola: 87024264 markings, 889379674 edges, 118439 markings/sec, 790 secs
lola: 87580746 markings, 895169872 edges, 111296 markings/sec, 795 secs
lola: 88102008 markings, 900478300 edges, 104252 markings/sec, 800 secs
lola: 88616235 markings, 905831715 edges, 102845 markings/sec, 805 secs
lola: 89129951 markings, 911215607 edges, 102743 markings/sec, 810 secs
lola: 89664579 markings, 916629432 edges, 106926 markings/sec, 815 secs
lola: 90209440 markings, 922330591 edges, 108972 markings/sec, 820 secs
lola: 90798006 markings, 928137778 edges, 117713 markings/sec, 825 secs
lola: 91332580 markings, 933770455 edges, 106915 markings/sec, 830 secs
lola: 91855480 markings, 939088660 edges, 104580 markings/sec, 835 secs
lola: 92372640 markings, 944472415 edges, 103432 markings/sec, 840 secs
lola: 92886057 markings, 949851647 edges, 102683 markings/sec, 845 secs
lola: 93407029 markings, 955154930 edges, 104194 markings/sec, 850 secs
lola: 93948743 markings, 960737509 edges, 108343 markings/sec, 855 secs
lola: 94506080 markings, 966351400 edges, 111467 markings/sec, 860 secs
lola: 95029489 markings, 971746267 edges, 104682 markings/sec, 865 secs
lola: 95523965 markings, 976864929 edges, 98895 markings/sec, 870 secs
lola: 96032493 markings, 982083709 edges, 101706 markings/sec, 875 secs
lola: 96537240 markings, 987280647 edges, 100949 markings/sec, 880 secs
lola: 97043125 markings, 992538920 edges, 101177 markings/sec, 885 secs
lola: 97570570 markings, 998050894 edges, 105489 markings/sec, 890 secs
lola: 98129674 markings, 1003657416 edges, 111821 markings/sec, 895 secs
lola: 98670701 markings, 1009152398 edges, 108205 markings/sec, 900 secs
lola: 99164034 markings, 1014247213 edges, 98667 markings/sec, 905 secs
lola: 99663991 markings, 1019429816 edges, 99991 markings/sec, 910 secs
lola: 100166493 markings, 1024651512 edges, 100500 markings/sec, 915 secs
lola: 100670428 markings, 1029891499 edges, 100787 markings/sec, 920 secs
lola: 101207889 markings, 1035384205 edges, 107492 markings/sec, 925 secs
lola: 101768424 markings, 1040986213 edges, 112107 markings/sec, 930 secs
lola: 102299501 markings, 1046524345 edges, 106215 markings/sec, 935 secs
lola: 102798527 markings, 1051700362 edges, 99805 markings/sec, 940 secs
lola: 103294003 markings, 1056821736 edges, 99095 markings/sec, 945 secs
lola: 103796833 markings, 1062051211 edges, 100566 markings/sec, 950 secs
lola: 104305050 markings, 1067266123 edges, 101643 markings/sec, 955 secs
lola: 104834139 markings, 1072680131 edges, 105818 markings/sec, 960 secs
lola: 105393627 markings, 1078234525 edges, 111898 markings/sec, 965 secs
lola: 105918661 markings, 1083768468 edges, 105007 markings/sec, 970 secs
lola: 106446670 markings, 1089149514 edges, 105602 markings/sec, 975 secs
lola: 106939206 markings, 1094252964 edges, 98507 markings/sec, 980 secs
lola: 107443976 markings, 1099447655 edges, 100954 markings/sec, 985 secs
lola: 107944982 markings, 1104621861 edges, 100201 markings/sec, 990 secs
lola: 108453817 markings, 1109924588 edges, 101767 markings/sec, 995 secs
lola: 108976807 markings, 1115384518 edges, 104598 markings/sec, 1000 secs
lola: 109533834 markings, 1120950203 edges, 111405 markings/sec, 1005 secs
lola: 110072163 markings, 1126411967 edges, 107666 markings/sec, 1010 secs
lola: 110576568 markings, 1131653442 edges, 100881 markings/sec, 1015 secs
lola: 111071334 markings, 1136765990 edges, 98953 markings/sec, 1020 secs
lola: 111573217 markings, 1141980079 edges, 100377 markings/sec, 1025 secs
lola: 112071284 markings, 1147138870 edges, 99613 markings/sec, 1030 secs
lola: 112586793 markings, 1152518840 edges, 103102 markings/sec, 1035 secs
lola: 113142175 markings, 1158048285 edges, 111076 markings/sec, 1040 secs
lola: 113684837 markings, 1163559924 edges, 108532 markings/sec, 1045 secs
lola: 114201817 markings, 1168976379 edges, 103396 markings/sec, 1050 secs
lola: 114701064 markings, 1174155284 edges, 99849 markings/sec, 1055 secs
lola: 115197398 markings, 1179291004 edges, 99267 markings/sec, 1060 secs
lola: 115692661 markings, 1184408705 edges, 99053 markings/sec, 1065 secs
lola: 116186022 markings, 1189499136 edges, 98672 markings/sec, 1070 secs
lola: 116683611 markings, 1194653765 edges, 99518 markings/sec, 1075 secs
lola: 117224229 markings, 1199947938 edges, 108124 markings/sec, 1080 secs
lola: 117734535 markings, 1205263841 edges, 102061 markings/sec, 1085 secs
lola: 118217113 markings, 1210214786 edges, 96516 markings/sec, 1090 secs
lola: 118722925 markings, 1215471832 edges, 101162 markings/sec, 1095 secs
lola: 119215470 markings, 1220556482 edges, 98509 markings/sec, 1100 secs
lola: 119712060 markings, 1225694192 edges, 99318 markings/sec, 1105 secs
lola: 120200517 markings, 1230726525 edges, 97691 markings/sec, 1110 secs
lola: 120705530 markings, 1235972999 edges, 101003 markings/sec, 1115 secs
lola: 121221553 markings, 1241294436 edges, 103205 markings/sec, 1120 secs
lola: 121759159 markings, 1246632853 edges, 107521 markings/sec, 1125 secs
lola: 122267929 markings, 1251930809 edges, 101754 markings/sec, 1130 secs
lola: 122768182 markings, 1257121400 edges, 100051 markings/sec, 1135 secs
lola: 123252945 markings, 1262095666 edges, 96953 markings/sec, 1140 secs
lola: 123705914 markings, 1266886023 edges, 90594 markings/sec, 1145 secs
lola: 124180482 markings, 1271708568 edges, 94914 markings/sec, 1150 secs
lola: 124678786 markings, 1276872085 edges, 99661 markings/sec, 1155 secs
lola: 125179341 markings, 1282065475 edges, 100111 markings/sec, 1160 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown no unknown no no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 1168 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((p27 <= p20))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p20 + 1 <= p27)
lola: processed formula length: 16
lola: 53 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 402 markings, 401 edges
lola: ========================================
lola: subprocess 8 will run for 2337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((p1 <= p16)) OR (3 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((p1 <= p16)) OR (3 <= p5))))
lola: processed formula length: 38
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 16 markings, 16 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((F (G ((3 <= p18))) AND (G (((2 <= p9) OR X (G ((3 <= p18))))) AND (2 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G ((3 <= p18))) AND (G (((2 <= p9) OR X (G ((3 <= p18))))) AND (2 <= p22)))))
lola: processed formula length: 87
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 19 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: 632278 markings, 5735690 edges, 126456 markings/sec, 0 secs
lola: 1238916 markings, 11508275 edges, 121328 markings/sec, 5 secs
lola: 1820087 markings, 17319287 edges, 116234 markings/sec, 10 secs
lola: 2398875 markings, 23134108 edges, 115758 markings/sec, 15 secs
lola: 2975265 markings, 28925764 edges, 115278 markings/sec, 20 secs
lola: 3562982 markings, 34737367 edges, 117543 markings/sec, 25 secs
lola: 4150593 markings, 40549691 edges, 117522 markings/sec, 30 secs
lola: 4722627 markings, 46321645 edges, 114407 markings/sec, 35 secs
lola: 5284629 markings, 52065689 edges, 112400 markings/sec, 40 secs
lola: 5862585 markings, 57866104 edges, 115591 markings/sec, 45 secs
lola: 6427606 markings, 63640172 edges, 113004 markings/sec, 50 secs
lola: 6995040 markings, 69360262 edges, 113487 markings/sec, 55 secs
lola: 7570919 markings, 75134791 edges, 115176 markings/sec, 60 secs
lola: 8120999 markings, 80768935 edges, 110016 markings/sec, 65 secs
lola: 8696018 markings, 86528480 edges, 115004 markings/sec, 70 secs
lola: 9236062 markings, 92113892 edges, 108009 markings/sec, 75 secs
lola: 9816368 markings, 97864110 edges, 116061 markings/sec, 80 secs
lola: 10330287 markings, 103236578 edges, 102784 markings/sec, 85 secs
lola: 10899976 markings, 108949802 edges, 113938 markings/sec, 90 secs
lola: 11416760 markings, 114295690 edges, 103357 markings/sec, 95 secs
lola: 11964194 markings, 119934911 edges, 109487 markings/sec, 100 secs
lola: 12531151 markings, 125586206 edges, 113391 markings/sec, 105 secs
lola: 13080777 markings, 131212666 edges, 109925 markings/sec, 110 secs
lola: 13650597 markings, 136900790 edges, 113964 markings/sec, 115 secs
lola: 14181891 markings, 142459659 edges, 106259 markings/sec, 120 secs
lola: 14727473 markings, 148087692 edges, 109116 markings/sec, 125 secs
lola: 15293820 markings, 153729949 edges, 113269 markings/sec, 130 secs
lola: 15834506 markings, 159263892 edges, 108137 markings/sec, 135 secs
lola: 16391861 markings, 164926505 edges, 111471 markings/sec, 140 secs
lola: 16930389 markings, 170477045 edges, 107706 markings/sec, 145 secs
lola: 17474994 markings, 176023565 edges, 108921 markings/sec, 150 secs
lola: 18040319 markings, 181653293 edges, 113065 markings/sec, 155 secs
lola: 18562348 markings, 187150008 edges, 104406 markings/sec, 160 secs
lola: 19106761 markings, 192692721 edges, 108883 markings/sec, 165 secs
lola: 19673246 markings, 198337224 edges, 113297 markings/sec, 170 secs
lola: 20194691 markings, 203829214 edges, 104289 markings/sec, 175 secs
lola: 20737974 markings, 209354268 edges, 108657 markings/sec, 180 secs
lola: 21297496 markings, 214969857 edges, 111904 markings/sec, 185 secs
lola: 21827300 markings, 220489165 edges, 105961 markings/sec, 190 secs
lola: 22366355 markings, 225979564 edges, 107811 markings/sec, 195 secs
lola: 22898955 markings, 231538260 edges, 106520 markings/sec, 200 secs
lola: 23461087 markings, 237156546 edges, 112426 markings/sec, 205 secs
lola: 23994967 markings, 242606345 edges, 106776 markings/sec, 210 secs
lola: 24520737 markings, 248127035 edges, 105154 markings/sec, 215 secs
lola: 25087979 markings, 253779232 edges, 113448 markings/sec, 220 secs
lola: 25625376 markings, 259258422 edges, 107479 markings/sec, 225 secs
lola: 26144250 markings, 264714752 edges, 103775 markings/sec, 230 secs
lola: 26687139 markings, 270235427 edges, 108578 markings/sec, 235 secs
lola: 27249325 markings, 275824548 edges, 112437 markings/sec, 240 secs
lola: 27767791 markings, 281266190 edges, 103693 markings/sec, 245 secs
lola: 28302912 markings, 286726481 edges, 107024 markings/sec, 250 secs
lola: 28860921 markings, 292310102 edges, 111602 markings/sec, 255 secs
lola: 29391009 markings, 297813558 edges, 106018 markings/sec, 260 secs
lola: 29906236 markings, 303182414 edges, 103045 markings/sec, 265 secs
lola: 30442449 markings, 308648367 edges, 107243 markings/sec, 270 secs
lola: 31007340 markings, 314272567 edges, 112978 markings/sec, 275 secs
lola: 31527930 markings, 319750555 edges, 104118 markings/sec, 280 secs
lola: 32053587 markings, 325102468 edges, 105131 markings/sec, 285 secs
lola: 32576539 markings, 330538671 edges, 104590 markings/sec, 290 secs
lola: 33140265 markings, 336143555 edges, 112745 markings/sec, 295 secs
lola: 33667153 markings, 341630072 edges, 105378 markings/sec, 300 secs
lola: 34190761 markings, 346969289 edges, 104722 markings/sec, 305 secs
lola: 34708326 markings, 352393897 edges, 103513 markings/sec, 310 secs
lola: 35271979 markings, 357997120 edges, 112731 markings/sec, 315 secs
lola: 35802434 markings, 363467417 edges, 106091 markings/sec, 320 secs
lola: 36319310 markings, 368778646 edges, 103375 markings/sec, 325 secs
lola: 36826715 markings, 374064807 edges, 101481 markings/sec, 330 secs
lola: 37355064 markings, 379530543 edges, 105670 markings/sec, 335 secs
lola: 37903696 markings, 385047190 edges, 109726 markings/sec, 340 secs
lola: 38424158 markings, 390367154 edges, 104092 markings/sec, 345 secs
lola: 38937268 markings, 395630869 edges, 102622 markings/sec, 350 secs
lola: 39456337 markings, 401076758 edges, 103814 markings/sec, 355 secs
lola: 40016575 markings, 406634554 edges, 112048 markings/sec, 360 secs
lola: 40540959 markings, 412075020 edges, 104877 markings/sec, 365 secs
lola: 41051914 markings, 417310696 edges, 102191 markings/sec, 370 secs
lola: 41570253 markings, 422682761 edges, 103668 markings/sec, 375 secs
lola: 42097207 markings, 428169100 edges, 105391 markings/sec, 380 secs
lola: 42647290 markings, 433666064 edges, 110017 markings/sec, 385 secs
lola: 43169706 markings, 439025351 edges, 104483 markings/sec, 390 secs
lola: 43686737 markings, 444331071 edges, 103406 markings/sec, 395 secs
lola: 44203376 markings, 449745302 edges, 103328 markings/sec, 400 secs
lola: 44758552 markings, 455230472 edges, 111035 markings/sec, 405 secs
lola: 45274839 markings, 460651212 edges, 103257 markings/sec, 410 secs
lola: 45797574 markings, 465968290 edges, 104547 markings/sec, 415 secs
lola: 46312885 markings, 471290434 edges, 103062 markings/sec, 420 secs
lola: 46827911 markings, 476691740 edges, 103005 markings/sec, 425 secs
lola: 47384581 markings, 482194656 edges, 111334 markings/sec, 430 secs
lola: 47905988 markings, 487617882 edges, 104281 markings/sec, 435 secs
lola: 48428177 markings, 492933235 edges, 104438 markings/sec, 440 secs
lola: 48937847 markings, 498236502 edges, 101934 markings/sec, 445 secs
lola: 49449402 markings, 503590327 edges, 102311 markings/sec, 450 secs
lola: 50007046 markings, 509106385 edges, 111529 markings/sec, 455 secs
lola: 50516300 markings, 514427129 edges, 101851 markings/sec, 460 secs
lola: 51033429 markings, 519715628 edges, 103426 markings/sec, 465 secs
lola: 51548063 markings, 524985571 edges, 102927 markings/sec, 470 secs
lola: 52061491 markings, 530352734 edges, 102686 markings/sec, 475 secs
lola: 52619103 markings, 535872733 edges, 111522 markings/sec, 480 secs
lola: 53133020 markings, 541257320 edges, 102783 markings/sec, 485 secs
lola: 53656238 markings, 546622651 edges, 104644 markings/sec, 490 secs
lola: 54172351 markings, 551920944 edges, 103223 markings/sec, 495 secs
lola: 54685445 markings, 557282890 edges, 102619 markings/sec, 500 secs
lola: 55221932 markings, 562765110 edges, 107297 markings/sec, 505 secs
lola: 55767787 markings, 568295760 edges, 109171 markings/sec, 510 secs
lola: 56300370 markings, 573722141 edges, 106517 markings/sec, 515 secs
lola: 56814489 markings, 579103683 edges, 102824 markings/sec, 520 secs
lola: 57335498 markings, 584476995 edges, 104202 markings/sec, 525 secs
lola: 57870376 markings, 589999945 edges, 106976 markings/sec, 530 secs
lola: 58445757 markings, 595769393 edges, 115076 markings/sec, 535 secs
lola: 58986915 markings, 601278996 edges, 108232 markings/sec, 540 secs
lola: 59507361 markings, 606743356 edges, 104089 markings/sec, 545 secs
lola: 60030476 markings, 612126784 edges, 104623 markings/sec, 550 secs
lola: 60561841 markings, 617618417 edges, 106273 markings/sec, 555 secs
lola: 61137730 markings, 623395087 edges, 115178 markings/sec, 560 secs
lola: 61683905 markings, 628970553 edges, 109235 markings/sec, 565 secs
lola: 62201597 markings, 634404362 edges, 103538 markings/sec, 570 secs
lola: 62733190 markings, 639832368 edges, 106319 markings/sec, 575 secs
lola: 63255881 markings, 645273498 edges, 104538 markings/sec, 580 secs
lola: 63796387 markings, 650826846 edges, 108101 markings/sec, 585 secs
lola: 64380577 markings, 656659016 edges, 116838 markings/sec, 590 secs
lola: 64902462 markings, 662146865 edges, 104377 markings/sec, 595 secs
lola: 65437961 markings, 667579303 edges, 107100 markings/sec, 600 secs
lola: 65952847 markings, 672967921 edges, 102977 markings/sec, 605 secs
lola: 66480099 markings, 678394960 edges, 105450 markings/sec, 610 secs
lola: 67031054 markings, 684037492 edges, 110191 markings/sec, 615 secs
lola: 67601612 markings, 689822220 edges, 114112 markings/sec, 620 secs
lola: 68132869 markings, 695244227 edges, 106251 markings/sec, 625 secs
lola: 68649826 markings, 700670681 edges, 103391 markings/sec, 630 secs
lola: 69177267 markings, 706059400 edges, 105488 markings/sec, 635 secs
lola: 69702966 markings, 711522427 edges, 105140 markings/sec, 640 secs
lola: 70277062 markings, 717273332 edges, 114819 markings/sec, 645 secs
lola: 70831807 markings, 722965695 edges, 110949 markings/sec, 650 secs
lola: 71346044 markings, 728357078 edges, 102847 markings/sec, 655 secs
lola: 71876836 markings, 733744339 edges, 106158 markings/sec, 660 secs
lola: 72393910 markings, 739134228 edges, 103415 markings/sec, 665 secs
lola: 72924570 markings, 744627439 edges, 106132 markings/sec, 670 secs
lola: 73510707 markings, 750417992 edges, 117227 markings/sec, 675 secs
lola: 74055001 markings, 756115470 edges, 108859 markings/sec, 680 secs
lola: 74578180 markings, 761470134 edges, 104636 markings/sec, 685 secs
lola: 75092145 markings, 766845857 edges, 102793 markings/sec, 690 secs
lola: 75613511 markings, 772234225 edges, 104273 markings/sec, 695 secs
lola: 76144885 markings, 777697856 edges, 106275 markings/sec, 700 secs
lola: 76720674 markings, 783470703 edges, 115158 markings/sec, 705 secs
lola: 77278586 markings, 789209642 edges, 111582 markings/sec, 710 secs
lola: 77790497 markings, 794569674 edges, 102382 markings/sec, 715 secs
lola: 78318351 markings, 799953260 edges, 105571 markings/sec, 720 secs
lola: 78834936 markings, 805295996 edges, 103317 markings/sec, 725 secs
lola: 79351215 markings, 810716745 edges, 103256 markings/sec, 730 secs
lola: 79913968 markings, 816428561 edges, 112551 markings/sec, 735 secs
lola: 80491721 markings, 822296767 edges, 115551 markings/sec, 740 secs
lola: 81021874 markings, 827674412 edges, 106031 markings/sec, 745 secs
lola: 81535816 markings, 833048459 edges, 102788 markings/sec, 750 secs
lola: 82052533 markings, 838430633 edges, 103343 markings/sec, 755 secs
lola: 82584683 markings, 843848446 edges, 106430 markings/sec, 760 secs
lola: 83119216 markings, 849446999 edges, 106907 markings/sec, 765 secs
lola: 83715411 markings, 855321096 edges, 119239 markings/sec, 770 secs
lola: 84245684 markings, 860911355 edges, 106055 markings/sec, 775 secs
lola: 84771965 markings, 866252389 edges, 105256 markings/sec, 780 secs
lola: 85289348 markings, 871650049 edges, 103477 markings/sec, 785 secs
lola: 85801304 markings, 877007999 edges, 102391 markings/sec, 790 secs
lola: 86339040 markings, 882461033 edges, 107547 markings/sec, 795 secs
lola: 86919169 markings, 888293371 edges, 116026 markings/sec, 800 secs
lola: 87480600 markings, 894078335 edges, 112286 markings/sec, 805 secs
lola: 87994853 markings, 899470071 edges, 102851 markings/sec, 810 secs
lola: 88519279 markings, 904816498 edges, 104885 markings/sec, 815 secs
lola: 89038517 markings, 910186551 edges, 103848 markings/sec, 820 secs
lola: 89552416 markings, 915574512 edges, 102780 markings/sec, 825 secs
lola: 90101779 markings, 921185564 edges, 109873 markings/sec, 830 secs
lola: 90681119 markings, 927011112 edges, 115868 markings/sec, 835 secs
lola: 91237456 markings, 932726243 edges, 111267 markings/sec, 840 secs
lola: 91747210 markings, 938053972 edges, 101951 markings/sec, 845 secs
lola: 92267256 markings, 943389165 edges, 104009 markings/sec, 850 secs
lola: 92788566 markings, 948741744 edges, 104262 markings/sec, 855 secs
lola: 93302379 markings, 954119142 edges, 102763 markings/sec, 860 secs
lola: 93856576 markings, 959803251 edges, 110839 markings/sec, 865 secs
lola: 94434670 markings, 965610053 edges, 115619 markings/sec, 870 secs
lola: 94984486 markings, 971237033 edges, 109963 markings/sec, 875 secs
lola: 95495532 markings, 976573622 edges, 102209 markings/sec, 880 secs
lola: 96014894 markings, 981958707 edges, 103872 markings/sec, 885 secs
lola: 96538815 markings, 987300476 edges, 104784 markings/sec, 890 secs
lola: 97054759 markings, 992701243 edges, 103189 markings/sec, 895 secs
lola: 97615802 markings, 998415170 edges, 112209 markings/sec, 900 secs
lola: 98187046 markings, 1004193052 edges, 114249 markings/sec, 905 secs
lola: 98734754 markings, 1009796945 edges, 109542 markings/sec, 910 secs
lola: 99243161 markings, 1015093936 edges, 101681 markings/sec, 915 secs
lola: 99755456 markings, 1020457121 edges, 102459 markings/sec, 920 secs
lola: 100276964 markings, 1025785665 edges, 104302 markings/sec, 925 secs
lola: 100801221 markings, 1031204177 edges, 104851 markings/sec, 930 secs
lola: 101359340 markings, 1036902067 edges, 111624 markings/sec, 935 secs
lola: 101932170 markings, 1042676571 edges, 114566 markings/sec, 940 secs
lola: 102475925 markings, 1048306126 edges, 108751 markings/sec, 945 secs
lola: 102987231 markings, 1053565947 edges, 102261 markings/sec, 950 secs
lola: 103499139 markings, 1058914206 edges, 102382 markings/sec, 955 secs
lola: 104009721 markings, 1064253891 edges, 102116 markings/sec, 960 secs
lola: 104539508 markings, 1069621340 edges, 105957 markings/sec, 965 secs
lola: 105076092 markings, 1075271810 edges, 107317 markings/sec, 970 secs
lola: 105655335 markings, 1081004822 edges, 115849 markings/sec, 975 secs
lola: 106196180 markings, 1086610452 edges, 108169 markings/sec, 980 secs
lola: 106713951 markings, 1091966019 edges, 103554 markings/sec, 985 secs
lola: 107233161 markings, 1097261615 edges, 103842 markings/sec, 990 secs
lola: 107746205 markings, 1102611046 edges, 102609 markings/sec, 995 secs
lola: 108254350 markings, 1107913974 edges, 101629 markings/sec, 1000 secs
lola: 108803893 markings, 1113528522 edges, 109909 markings/sec, 1005 secs
lola: 109377745 markings, 1119277921 edges, 114770 markings/sec, 1010 secs
lola: 109929368 markings, 1124932919 edges, 110325 markings/sec, 1015 secs
lola: 110452420 markings, 1130441863 edges, 104610 markings/sec, 1020 secs
lola: 110962026 markings, 1135697751 edges, 101921 markings/sec, 1025 secs
lola: 111488369 markings, 1141056849 edges, 105269 markings/sec, 1030 secs
lola: 111997497 markings, 1146365919 edges, 101826 markings/sec, 1035 secs
lola: 112530892 markings, 1151888519 edges, 106679 markings/sec, 1040 secs
lola: 113083783 markings, 1157543680 edges, 110578 markings/sec, 1045 secs
lola: 113645882 markings, 1163273533 edges, 112420 markings/sec, 1050 secs
lola: 114191758 markings, 1168836123 edges, 109175 markings/sec, 1055 secs
lola: 114706400 markings, 1174233411 edges, 102928 markings/sec, 1060 secs
lola: 115228213 markings, 1179553094 edges, 104363 markings/sec, 1065 secs
lola: 115747519 markings, 1184914151 edges, 103861 markings/sec, 1070 secs
lola: 116260889 markings, 1190293884 edges, 102674 markings/sec, 1075 secs
lola: 116770211 markings, 1195559975 edges, 101864 markings/sec, 1080 secs
lola: 117227687 markings, 1199987206 edges, 91495 markings/sec, 1085 secs
lola: 117727951 markings, 1205173871 edges, 100053 markings/sec, 1090 secs
lola: 118235521 markings, 1210464130 edges, 101514 markings/sec, 1095 secs
lola: 118740685 markings, 1215726907 edges, 101033 markings/sec, 1100 secs
lola: 119237516 markings, 1220869885 edges, 99366 markings/sec, 1105 secs
lola: 119745281 markings, 1226115908 edges, 101553 markings/sec, 1110 secs
lola: 120249505 markings, 1231300888 edges, 100845 markings/sec, 1115 secs
lola: 120774332 markings, 1236678812 edges, 104965 markings/sec, 1120 secs
lola: 121319879 markings, 1242131321 edges, 109109 markings/sec, 1125 secs
lola: 121847113 markings, 1247595611 edges, 105447 markings/sec, 1130 secs
lola: 122370944 markings, 1253041617 edges, 104766 markings/sec, 1135 secs
lola: 122882529 markings, 1258280334 edges, 102317 markings/sec, 1140 secs
lola: 123375729 markings, 1263389150 edges, 98640 markings/sec, 1145 secs
lola: 123874822 markings, 1268541205 edges, 99819 markings/sec, 1150 secs
lola: 124365213 markings, 1273630413 edges, 98078 markings/sec, 1155 secs
lola: 124878250 markings, 1278893727 edges, 102607 markings/sec, 1160 secs
lola: 125393742 markings, 1284207632 edges, 103098 markings/sec, 1165 secs
lola: 125940626 markings, 1289666358 edges, 109377 markings/sec, 1170 secs
lola: 126451132 markings, 1294993048 edges, 102101 markings/sec, 1175 secs
lola: 126959923 markings, 1300307234 edges, 101758 markings/sec, 1180 secs
lola: 127450818 markings, 1305358426 edges, 98179 markings/sec, 1185 secs
lola: 127943710 markings, 1310443283 edges, 98578 markings/sec, 1190 secs
lola: 128435751 markings, 1315520712 edges, 98408 markings/sec, 1195 secs
lola: 128941422 markings, 1320786965 edges, 101134 markings/sec, 1200 secs
lola: 129455320 markings, 1326096953 edges, 102780 markings/sec, 1205 secs
lola: 130008074 markings, 1331623445 edges, 110551 markings/sec, 1210 secs
lola: 130533466 markings, 1336982332 edges, 105078 markings/sec, 1215 secs
lola: 131053673 markings, 1342368097 edges, 104041 markings/sec, 1220 secs
lola: 131553098 markings, 1347546965 edges, 99885 markings/sec, 1225 secs
lola: 132047274 markings, 1352651178 edges, 98835 markings/sec, 1230 secs
lola: 132543093 markings, 1357778339 edges, 99164 markings/sec, 1235 secs
lola: 133044097 markings, 1362977145 edges, 100201 markings/sec, 1240 secs
lola: 133548489 markings, 1368230390 edges, 100878 markings/sec, 1245 secs
lola: 134103681 markings, 1373711725 edges, 111038 markings/sec, 1250 secs
lola: 134625396 markings, 1379147338 edges, 104343 markings/sec, 1255 secs
lola: 135147235 markings, 1384460025 edges, 104368 markings/sec, 1260 secs
lola: 135659404 markings, 1389789229 edges, 102434 markings/sec, 1265 secs
lola: 136152205 markings, 1394873260 edges, 98560 markings/sec, 1270 secs
lola: 136648986 markings, 1400013771 edges, 99356 markings/sec, 1275 secs
lola: 137142277 markings, 1405107283 edges, 98658 markings/sec, 1280 secs
lola: 137644975 markings, 1410332411 edges, 100540 markings/sec, 1285 secs
lola: 138153169 markings, 1415636158 edges, 101639 markings/sec, 1290 secs
lola: 138710582 markings, 1421149411 edges, 111483 markings/sec, 1295 secs
lola: 139227678 markings, 1426542069 edges, 103419 markings/sec, 1300 secs
lola: 139747459 markings, 1431838231 edges, 103956 markings/sec, 1305 secs
lola: 140254802 markings, 1437070393 edges, 101469 markings/sec, 1310 secs
lola: 140747350 markings, 1442156366 edges, 98510 markings/sec, 1315 secs
lola: 141241812 markings, 1447271375 edges, 98892 markings/sec, 1320 secs
lola: 141743180 markings, 1452465591 edges, 100274 markings/sec, 1325 secs
lola: 142249553 markings, 1457736226 edges, 101275 markings/sec, 1330 secs
lola: 142763944 markings, 1463130022 edges, 102878 markings/sec, 1335 secs
lola: 143314480 markings, 1468544609 edges, 110107 markings/sec, 1340 secs
lola: 143817615 markings, 1473773201 edges, 100627 markings/sec, 1345 secs
lola: 144030894 markings, 1475982124 edges, 42656 markings/sec, 1350 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no no no yes no no no unknown
lola:
preliminary result: yes no no no yes no no no unknown
lola: memory consumption: 3332 KB
lola: time consumption: 2595 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C0100N0000000100"
export BK_EXAMINATION="LTLCardinality"
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 GPPP-PT-C0100N0000000100, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r113-smll-162075355700121"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0100N0000000100.tgz
mv GPPP-PT-C0100N0000000100 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;