About the Execution of ITS-LoLa for ShieldPPPs-PT-005B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15785.250 | 3600000.00 | 3622394.00 | 4107.90 | TFFTFF??FT?TFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r211-tajo-159033477500467.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ShieldPPPs-PT-005B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r211-tajo-159033477500467
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.5K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 86K May 12 20:42 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 ShieldPPPs-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591308074599
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 22:01:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 22:01:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 22:01:16] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2020-06-04 22:01:16] [INFO ] Transformed 343 places.
[2020-06-04 22:01:16] [INFO ] Transformed 318 transitions.
[2020-06-04 22:01:16] [INFO ] Found NUPN structural information;
[2020-06-04 22:01:16] [INFO ] Parsed PT model containing 343 places and 318 transitions in 89 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 21 ms.
Finished random walk after 832 steps, including 0 resets, run visited all 17 properties in 11 ms. (steps per millisecond=75 )
[2020-06-04 22:01:16] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 22:01:16] [INFO ] Flatten gal took : 48 ms
[2020-06-04 22:01:16] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 22:01:16] [INFO ] Flatten gal took : 41 ms
FORMULA ShieldPPPs-PT-005B-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 22:01:16] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-04 22:01:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 5 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ ShieldPPPs-PT-005B @ 3570 seconds
FORMULA ShieldPPPs-PT-005B-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-005B-CTLCardinality-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ ShieldPPPs-PT-005B
{
"exit":
{
"memory": 1598600,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 9,
"adisj": 4,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))",
"processed_size": 165,
"rewrites": 15
},
"net":
{
"conflict_clusters": 243,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "yes no yes unknown unknown yes unknown yes yes "
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 661/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10976
lola: finding significant places
lola: 343 places, 318 transitions, 287 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p323 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p188 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p291 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p298 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136)))))) : A (G (E (X ((((p253 <= 0)) OR ((1 <= p261))))))) : ((E (G ((((p153 <= 0)) OR ((1 <= p323))))) AND (((p241 <= 0)) OR ((1 <= p6)))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0))))) : E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))) : E (G (A (F ((((p87 <= 0)) OR ((1 <= p97))))))) : E (G (E (F ((((p93 <= 0)) OR ((1 <= p33))))))) : (((E (X ((1 <= 0))) OR NOT(E (G ((((p340 <= 0)) OR ((1 <= p294))))))) OR E (G ((((p31 <= 0)) OR ((1 <= p291)))))) OR (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))) : E (F ((A (X ((1 <= 0))) OR (((1 <= p190)) AND ((p298 <= 0)) AND (((p144 <= 0)) OR ((1 <= p99))))))) : E (F (A (X ((1 <= 0)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((((p253 <= 0)) OR ((1 <= p261)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((((p253 <= 0)) OR ((1 <= p261)))))
lola: processed formula length: 41
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 237 markings, 236 edges
lola: ========================================
lola: subprocess 1 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 5570 markings, 5601 edges
lola: ========================================
lola: subprocess 2 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))))
lola: processed formula length: 59
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 95 markings, 94 edges
lola: ========================================
lola: subprocess 3 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((((p87 <= 0)) OR ((1 <= p97)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((((p87 <= 0)) OR ((1 <= p97)))))
lola: processed formula length: 39
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 921270 markings, 2191704 edges, 184254 markings/sec, 0 secs
lola: 1842546 markings, 4463029 edges, 184255 markings/sec, 5 secs
lola: 2725950 markings, 6769633 edges, 176681 markings/sec, 10 secs
lola: 3607989 markings, 9102181 edges, 176408 markings/sec, 15 secs
lola: 4419783 markings, 11205161 edges, 162359 markings/sec, 20 secs
lola: 5193452 markings, 13230705 edges, 154734 markings/sec, 25 secs
lola: 5941875 markings, 15189054 edges, 149685 markings/sec, 30 secs
lola: 6632849 markings, 17031746 edges, 138195 markings/sec, 35 secs
lola: 7374973 markings, 18936750 edges, 148425 markings/sec, 40 secs
lola: 8218034 markings, 21142909 edges, 168612 markings/sec, 45 secs
lola: 9069886 markings, 23398192 edges, 170370 markings/sec, 50 secs
lola: 9975484 markings, 25680538 edges, 181120 markings/sec, 55 secs
lola: 10800982 markings, 27863213 edges, 165100 markings/sec, 60 secs
lola: 11605860 markings, 30055312 edges, 160976 markings/sec, 65 secs
lola: 12474614 markings, 32347426 edges, 173751 markings/sec, 70 secs
lola: 13307202 markings, 34616567 edges, 166518 markings/sec, 75 secs
lola: 14089670 markings, 36854130 edges, 156494 markings/sec, 80 secs
lola: 14858139 markings, 39116442 edges, 153694 markings/sec, 85 secs
lola: 15612522 markings, 41360482 edges, 150877 markings/sec, 90 secs
lola: 16372060 markings, 43570226 edges, 151908 markings/sec, 95 secs
lola: 17051186 markings, 45612160 edges, 135825 markings/sec, 100 secs
lola: 17785543 markings, 47741522 edges, 146871 markings/sec, 105 secs
lola: 18495005 markings, 49849749 edges, 141892 markings/sec, 110 secs
lola: 19196064 markings, 51960174 edges, 140212 markings/sec, 115 secs
lola: 19940151 markings, 54074156 edges, 148817 markings/sec, 120 secs
lola: 20574242 markings, 55971184 edges, 126818 markings/sec, 125 secs
lola: 21305966 markings, 58147642 edges, 146345 markings/sec, 130 secs
lola: 22032310 markings, 60236800 edges, 145269 markings/sec, 135 secs
lola: 22690166 markings, 62168947 edges, 131571 markings/sec, 140 secs
lola: 23337276 markings, 64137631 edges, 129422 markings/sec, 145 secs
lola: 24039232 markings, 66242379 edges, 140391 markings/sec, 150 secs
lola: 24743365 markings, 68217728 edges, 140827 markings/sec, 155 secs
lola: 25534860 markings, 70371061 edges, 158299 markings/sec, 160 secs
lola: 26211873 markings, 72303773 edges, 135403 markings/sec, 165 secs
lola: 26906476 markings, 74354448 edges, 138921 markings/sec, 170 secs
lola: 27638095 markings, 76546167 edges, 146324 markings/sec, 175 secs
lola: 28377983 markings, 78680178 edges, 147978 markings/sec, 180 secs
lola: 28974214 markings, 80470485 edges, 119246 markings/sec, 185 secs
lola: 29644598 markings, 82419532 edges, 134077 markings/sec, 190 secs
lola: 30355946 markings, 84532270 edges, 142270 markings/sec, 195 secs
lola: 31054794 markings, 86636156 edges, 139770 markings/sec, 200 secs
lola: 31725395 markings, 88564091 edges, 134120 markings/sec, 205 secs
lola: 32369373 markings, 90460404 edges, 128796 markings/sec, 210 secs
lola: 33068946 markings, 92541091 edges, 139915 markings/sec, 215 secs
lola: 33798035 markings, 94688002 edges, 145818 markings/sec, 220 secs
lola: 34464578 markings, 96577657 edges, 133309 markings/sec, 225 secs
lola: 35066173 markings, 98385016 edges, 120319 markings/sec, 230 secs
lola: 35689342 markings, 100311293 edges, 124634 markings/sec, 235 secs
lola: 36334024 markings, 102220470 edges, 128936 markings/sec, 240 secs
lola: 36949916 markings, 104064420 edges, 123178 markings/sec, 245 secs
lola: 37652166 markings, 106215016 edges, 140450 markings/sec, 250 secs
lola: 38319428 markings, 108341458 edges, 133452 markings/sec, 255 secs
lola: 38968686 markings, 110479171 edges, 129852 markings/sec, 260 secs
lola: 39610701 markings, 112594400 edges, 128403 markings/sec, 265 secs
lola: 40241937 markings, 114682254 edges, 126247 markings/sec, 270 secs
lola: 40882795 markings, 116759324 edges, 128172 markings/sec, 275 secs
lola: 41514384 markings, 118869796 edges, 126318 markings/sec, 280 secs
lola: 42170794 markings, 120979494 edges, 131282 markings/sec, 285 secs
lola: 42745741 markings, 122871060 edges, 114989 markings/sec, 290 secs
lola: 43315402 markings, 124808025 edges, 113932 markings/sec, 295 secs
lola: 43965072 markings, 126847159 edges, 129934 markings/sec, 300 secs
lola: 44555475 markings, 128806216 edges, 118081 markings/sec, 305 secs
lola: 45181389 markings, 130881351 edges, 125183 markings/sec, 310 secs
lola: 45835803 markings, 133025340 edges, 130883 markings/sec, 315 secs
lola: 46498373 markings, 135126465 edges, 132514 markings/sec, 320 secs
lola: 47082593 markings, 137066861 edges, 116844 markings/sec, 325 secs
lola: 47636619 markings, 138942379 edges, 110805 markings/sec, 330 secs
lola: 48234021 markings, 140928281 edges, 119480 markings/sec, 335 secs
lola: 48955528 markings, 143098674 edges, 144301 markings/sec, 340 secs
lola: 49771818 markings, 145317829 edges, 163258 markings/sec, 345 secs
lola: 50526144 markings, 147475797 edges, 150865 markings/sec, 350 secs
lola: 51269060 markings, 149663707 edges, 148583 markings/sec, 355 secs
lola: 51997324 markings, 151833824 edges, 145653 markings/sec, 360 secs
lola: 52723400 markings, 153935729 edges, 145215 markings/sec, 365 secs
lola: 53428937 markings, 156062929 edges, 141107 markings/sec, 370 secs
lola: 54175223 markings, 158229758 edges, 149257 markings/sec, 375 secs
lola: 54899169 markings, 160369892 edges, 144789 markings/sec, 380 secs
lola: 55585285 markings, 162454586 edges, 137223 markings/sec, 385 secs
lola: 56357026 markings, 164643828 edges, 154348 markings/sec, 390 secs
lola: 57090215 markings, 166826224 edges, 146638 markings/sec, 395 secs
lola: 57832514 markings, 169038549 edges, 148460 markings/sec, 400 secs
lola: 58609449 markings, 171258433 edges, 155387 markings/sec, 405 secs
lola: 59311744 markings, 173349781 edges, 140459 markings/sec, 410 secs
lola: 59984445 markings, 175422636 edges, 134540 markings/sec, 415 secs
lola: 60732097 markings, 177637327 edges, 149530 markings/sec, 420 secs
lola: 61470629 markings, 179858057 edges, 147706 markings/sec, 425 secs
lola: 62158955 markings, 182008735 edges, 137665 markings/sec, 430 secs
lola: 62774794 markings, 183993941 edges, 123168 markings/sec, 435 secs
lola: 63404515 markings, 186044999 edges, 125944 markings/sec, 440 secs
lola: 64055561 markings, 188209002 edges, 130209 markings/sec, 445 secs
lola: 64715784 markings, 190348758 edges, 132045 markings/sec, 450 secs
lola: 65366408 markings, 192502114 edges, 130125 markings/sec, 455 secs
lola: 66023525 markings, 194648550 edges, 131423 markings/sec, 460 secs
lola: 66672832 markings, 196780923 edges, 129861 markings/sec, 465 secs
lola: 67301162 markings, 198873750 edges, 125666 markings/sec, 470 secs
lola: 67958323 markings, 201027192 edges, 131432 markings/sec, 475 secs
lola: 68552710 markings, 202918707 edges, 118877 markings/sec, 480 secs
lola: 69138473 markings, 204869594 edges, 117153 markings/sec, 485 secs
lola: 69769278 markings, 206978130 edges, 126161 markings/sec, 490 secs
lola: 70468184 markings, 209210613 edges, 139781 markings/sec, 495 secs
lola: 71110833 markings, 211287022 edges, 128530 markings/sec, 500 secs
lola: 71725640 markings, 213336660 edges, 122961 markings/sec, 505 secs
lola: 72336238 markings, 215424846 edges, 122120 markings/sec, 510 secs
lola: 73044130 markings, 217631051 edges, 141578 markings/sec, 515 secs
lola: 73874794 markings, 219918563 edges, 166133 markings/sec, 520 secs
lola: 74684162 markings, 222183364 edges, 161874 markings/sec, 525 secs
lola: 75455051 markings, 224462392 edges, 154178 markings/sec, 530 secs
lola: 76216092 markings, 226726502 edges, 152208 markings/sec, 535 secs
lola: 76987337 markings, 228957628 edges, 154249 markings/sec, 540 secs
lola: 77727991 markings, 231186001 edges, 148131 markings/sec, 545 secs
lola: 78495435 markings, 233414221 edges, 153489 markings/sec, 550 secs
lola: 79236637 markings, 235615196 edges, 148240 markings/sec, 555 secs
lola: 79908429 markings, 237645370 edges, 134358 markings/sec, 560 secs
lola: 80663924 markings, 239789495 edges, 151099 markings/sec, 565 secs
lola: 81409233 markings, 242006791 edges, 149062 markings/sec, 570 secs
lola: 82163476 markings, 244253504 edges, 150849 markings/sec, 575 secs
lola: 82947171 markings, 246484914 edges, 156739 markings/sec, 580 secs
lola: 83659314 markings, 248616917 edges, 142429 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 6293960 KB
lola: time consumption: 598 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))
lola: processed formula length: 165
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 367393 markings, 2298883 edges, 73479 markings/sec, 0 secs
lola: 668017 markings, 4390949 edges, 60125 markings/sec, 5 secs
lola: 970697 markings, 6570530 edges, 60536 markings/sec, 10 secs
lola: 1276616 markings, 8798802 edges, 61184 markings/sec, 15 secs
lola: 1558618 markings, 10909437 edges, 56400 markings/sec, 20 secs
lola: 1844997 markings, 13083795 edges, 57276 markings/sec, 25 secs
lola: 2103916 markings, 15121358 edges, 51784 markings/sec, 30 secs
lola: 2353417 markings, 17181249 edges, 49900 markings/sec, 35 secs
lola: 2621759 markings, 19369602 edges, 53668 markings/sec, 40 secs
lola: 2879354 markings, 21534133 edges, 51519 markings/sec, 45 secs
lola: 3137440 markings, 23609269 edges, 51617 markings/sec, 50 secs
lola: 3416370 markings, 25732501 edges, 55786 markings/sec, 55 secs
lola: 3663366 markings, 27706682 edges, 49399 markings/sec, 60 secs
lola: 3914989 markings, 29758411 edges, 50325 markings/sec, 65 secs
lola: 4166545 markings, 31865898 edges, 50311 markings/sec, 70 secs
lola: 4415123 markings, 33952164 edges, 49716 markings/sec, 75 secs
lola: 4673053 markings, 35973913 edges, 51586 markings/sec, 80 secs
lola: 4940454 markings, 38021283 edges, 53480 markings/sec, 85 secs
lola: 5181905 markings, 39952128 edges, 48290 markings/sec, 90 secs
lola: 5423989 markings, 41937749 edges, 48417 markings/sec, 95 secs
lola: 5668812 markings, 43986103 edges, 48965 markings/sec, 100 secs
lola: 5912128 markings, 46021725 edges, 48663 markings/sec, 105 secs
lola: 6203174 markings, 48132736 edges, 58209 markings/sec, 110 secs
lola: 6535106 markings, 50346139 edges, 66386 markings/sec, 115 secs
lola: 6841253 markings, 52546731 edges, 61229 markings/sec, 120 secs
lola: 7148579 markings, 54772604 edges, 61465 markings/sec, 125 secs
lola: 7432385 markings, 56890999 edges, 56761 markings/sec, 130 secs
lola: 7685763 markings, 58774100 edges, 50676 markings/sec, 135 secs
lola: 7940081 markings, 60719135 edges, 50864 markings/sec, 140 secs
lola: 8196669 markings, 62760283 edges, 51318 markings/sec, 145 secs
lola: 8452151 markings, 64865577 edges, 51096 markings/sec, 150 secs
lola: 8706232 markings, 66998987 edges, 50816 markings/sec, 155 secs
lola: 8945966 markings, 69011108 edges, 47947 markings/sec, 160 secs
lola: 9164132 markings, 70852919 edges, 43633 markings/sec, 165 secs
lola: 9386528 markings, 72781840 edges, 44479 markings/sec, 170 secs
lola: 9601376 markings, 74682837 edges, 42970 markings/sec, 175 secs
lola: 9808018 markings, 76578425 edges, 41328 markings/sec, 180 secs
lola: 10012187 markings, 78474741 edges, 40834 markings/sec, 185 secs
lola: 10233655 markings, 80557020 edges, 44294 markings/sec, 190 secs
lola: 10438637 markings, 82472730 edges, 40996 markings/sec, 195 secs
lola: 10690120 markings, 84408633 edges, 50297 markings/sec, 200 secs
lola: 10995200 markings, 86535155 edges, 61016 markings/sec, 205 secs
lola: 11291091 markings, 88721083 edges, 59178 markings/sec, 210 secs
lola: 11528937 markings, 90571092 edges, 47569 markings/sec, 215 secs
lola: 11766813 markings, 92415473 edges, 47575 markings/sec, 220 secs
lola: 12008389 markings, 94473187 edges, 48315 markings/sec, 225 secs
lola: 12248525 markings, 96498738 edges, 48027 markings/sec, 230 secs
lola: 12506722 markings, 98473840 edges, 51639 markings/sec, 235 secs
lola: 12745498 markings, 100460527 edges, 47755 markings/sec, 240 secs
lola: 12982143 markings, 102429524 edges, 47329 markings/sec, 245 secs
lola: 13219368 markings, 104349461 edges, 47445 markings/sec, 250 secs
lola: 13480945 markings, 106401609 edges, 52315 markings/sec, 255 secs
lola: 13720465 markings, 108433236 edges, 47904 markings/sec, 260 secs
lola: 13974412 markings, 110482586 edges, 50789 markings/sec, 265 secs
lola: 14270147 markings, 112453286 edges, 59147 markings/sec, 270 secs
lola: 14535696 markings, 114444141 edges, 53110 markings/sec, 275 secs
lola: 14805348 markings, 116494059 edges, 53930 markings/sec, 280 secs
lola: 15081715 markings, 118599675 edges, 55273 markings/sec, 285 secs
lola: 15333360 markings, 120734302 edges, 50329 markings/sec, 290 secs
lola: 15578250 markings, 122808679 edges, 48978 markings/sec, 295 secs
lola: 15811729 markings, 124827279 edges, 46696 markings/sec, 300 secs
lola: 16040703 markings, 126885265 edges, 45795 markings/sec, 305 secs
lola: 16246375 markings, 128833293 edges, 41134 markings/sec, 310 secs
lola: 16455082 markings, 130776297 edges, 41741 markings/sec, 315 secs
lola: 16733989 markings, 132869288 edges, 55781 markings/sec, 320 secs
lola: 17021345 markings, 135118806 edges, 57471 markings/sec, 325 secs
lola: 17278893 markings, 137250875 edges, 51510 markings/sec, 330 secs
lola: 17530222 markings, 139428713 edges, 50266 markings/sec, 335 secs
lola: 17769124 markings, 141537412 edges, 47780 markings/sec, 340 secs
lola: 18013710 markings, 143612305 edges, 48917 markings/sec, 345 secs
lola: 18240555 markings, 145577403 edges, 45369 markings/sec, 350 secs
lola: 18466582 markings, 147558315 edges, 45205 markings/sec, 355 secs
lola: 18705263 markings, 149610863 edges, 47736 markings/sec, 360 secs
lola: 18940141 markings, 151671930 edges, 46976 markings/sec, 365 secs
lola: 19174630 markings, 153576001 edges, 46898 markings/sec, 370 secs
lola: 19434676 markings, 155574962 edges, 52009 markings/sec, 375 secs
lola: 19698927 markings, 157664329 edges, 52850 markings/sec, 380 secs
lola: 19928599 markings, 159566727 edges, 45934 markings/sec, 385 secs
lola: 20157818 markings, 161565893 edges, 45844 markings/sec, 390 secs
lola: 20382270 markings, 163580362 edges, 44890 markings/sec, 395 secs
lola: 20595585 markings, 165570088 edges, 42663 markings/sec, 400 secs
lola: 20809061 markings, 167640673 edges, 42695 markings/sec, 405 secs
lola: 21006175 markings, 169610034 edges, 39423 markings/sec, 410 secs
lola: 21289136 markings, 171782464 edges, 56592 markings/sec, 415 secs
lola: 21569950 markings, 173949515 edges, 56163 markings/sec, 420 secs
lola: 21834143 markings, 176098515 edges, 52839 markings/sec, 425 secs
lola: 22095310 markings, 178265769 edges, 52233 markings/sec, 430 secs
lola: 22352449 markings, 180394648 edges, 51428 markings/sec, 435 secs
lola: 22593991 markings, 182452061 edges, 48308 markings/sec, 440 secs
lola: 22836709 markings, 184540346 edges, 48544 markings/sec, 445 secs
lola: 23066257 markings, 186550935 edges, 45910 markings/sec, 450 secs
lola: 23291794 markings, 188588272 edges, 45107 markings/sec, 455 secs
lola: 23514197 markings, 190679595 edges, 44481 markings/sec, 460 secs
lola: 23740604 markings, 192795141 edges, 45281 markings/sec, 465 secs
lola: 23963609 markings, 194883454 edges, 44601 markings/sec, 470 secs
lola: 24192585 markings, 196892133 edges, 45795 markings/sec, 475 secs
lola: 24427390 markings, 198926105 edges, 46961 markings/sec, 480 secs
lola: 24648233 markings, 200898689 edges, 44169 markings/sec, 485 secs
lola: 24864422 markings, 202888270 edges, 43238 markings/sec, 490 secs
lola: 25086992 markings, 204959284 edges, 44514 markings/sec, 495 secs
lola: 25310057 markings, 207018270 edges, 44613 markings/sec, 500 secs
lola: 25519503 markings, 209038592 edges, 41889 markings/sec, 505 secs
lola: 25786773 markings, 211137166 edges, 53454 markings/sec, 510 secs
lola: 26050229 markings, 213282526 edges, 52691 markings/sec, 515 secs
lola: 26277040 markings, 215159624 edges, 45362 markings/sec, 520 secs
lola: 26494681 markings, 217075662 edges, 43528 markings/sec, 525 secs
lola: 26733354 markings, 219139609 edges, 47735 markings/sec, 530 secs
lola: 26937947 markings, 221095356 edges, 40919 markings/sec, 535 secs
lola: 27144594 markings, 223003178 edges, 41329 markings/sec, 540 secs
lola: 27365627 markings, 225034263 edges, 44207 markings/sec, 545 secs
lola: 27598906 markings, 227060010 edges, 46656 markings/sec, 550 secs
lola: 27791191 markings, 228917001 edges, 38457 markings/sec, 555 secs
lola: 27989271 markings, 230732963 edges, 39616 markings/sec, 560 secs
lola: 28226872 markings, 232840753 edges, 47520 markings/sec, 565 secs
lola: 28476728 markings, 235002941 edges, 49971 markings/sec, 570 secs
lola: 28716075 markings, 237153508 edges, 47869 markings/sec, 575 secs
lola: 28939719 markings, 239233846 edges, 44729 markings/sec, 580 secs
lola: 29160818 markings, 241376816 edges, 44220 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 2494528 KB
lola: time consumption: 1192 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((((p153 <= 0)) OR ((1 <= p323))))) AND ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0)))))
lola: processed formula length: 107
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 6 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 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p153 <= 0)) OR ((1 <= p323)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p153 <= 0)) OR ((1 <= p323)))))
lola: processed formula length: 41
lola: 14 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p153)) AND ((p323 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 1750 markings, 1749 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((((p93 <= 0)) OR ((1 <= p33)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (((p93 <= 0)) OR ((1 <= p33)))
lola: processed formula length: 31
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 0: (((1 <= p93)) AND ((p33 <= 0)))
lola: state equation task get result unparse finished id 0
lola: formula 1: (((p93 <= 0)) OR ((1 <= p33)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 1919 markings, 1919 edges
lola: ========================================
lola: subprocess 7 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (DEADLOCK)) OR E (F ((((1 <= p190)) AND ((p298 <= 0)) AND (((p144 <= 0)) OR ((1 <= p99)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 5570 markings, 5601 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((((1 <= p340)) AND ((p294 <= 0))))) OR (E (G ((((p31 <= 0)) OR ((1 <= p291))))) OR (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))
lola: processed formula length: 69
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p340)) AND ((p294 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (((p340 <= 0)) OR ((1 <= p294)))
lola: processed formula length: 33
lola: 16 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p340)) AND ((p294 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: local time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: memory consumption: 39344 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((((p87 <= 0)) OR ((1 <= p97)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((((p87 <= 0)) OR ((1 <= p97)))))
lola: processed formula length: 39
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 923143 markings, 2196456 edges, 184629 markings/sec, 0 secs
lola: 1865269 markings, 4519424 edges, 188425 markings/sec, 5 secs
lola: 2760178 markings, 6862588 edges, 178982 markings/sec, 10 secs
lola: 3536426 markings, 8910792 edges, 155250 markings/sec, 15 secs
lola: 4356412 markings, 11030395 edges, 163997 markings/sec, 20 secs
lola: 5227443 markings, 13321369 edges, 174206 markings/sec, 25 secs
lola: 6101662 markings, 15610751 edges, 174844 markings/sec, 30 secs
lola: 6940566 markings, 17865080 edges, 167781 markings/sec, 35 secs
lola: 7850459 markings, 20157108 edges, 181979 markings/sec, 40 secs
lola: 8710677 markings, 22437322 edges, 172044 markings/sec, 45 secs
lola: 9598934 markings, 24752672 edges, 177651 markings/sec, 50 secs
lola: 10477526 markings, 26998228 edges, 175718 markings/sec, 55 secs
lola: 11254764 markings, 29106037 edges, 155448 markings/sec, 60 secs
lola: 12036357 markings, 31188592 edges, 156319 markings/sec, 65 secs
lola: 12839756 markings, 33328490 edges, 160680 markings/sec, 70 secs
lola: 13646204 markings, 35598977 edges, 161290 markings/sec, 75 secs
lola: 14436410 markings, 37861758 edges, 158041 markings/sec, 80 secs
lola: 15199035 markings, 40130330 edges, 152525 markings/sec, 85 secs
lola: 15957940 markings, 42383736 edges, 151781 markings/sec, 90 secs
lola: 16718890 markings, 44613312 edges, 152190 markings/sec, 95 secs
lola: 17481907 markings, 46845120 edges, 152603 markings/sec, 100 secs
lola: 18233098 markings, 49078338 edges, 150238 markings/sec, 105 secs
lola: 18957329 markings, 51261675 edges, 144846 markings/sec, 110 secs
lola: 19745102 markings, 53500189 edges, 157555 markings/sec, 115 secs
lola: 20487984 markings, 55729519 edges, 148576 markings/sec, 120 secs
lola: 21197325 markings, 57845744 edges, 141868 markings/sec, 125 secs
lola: 21911920 markings, 59898723 edges, 142919 markings/sec, 130 secs
lola: 22604104 markings, 61907150 edges, 138437 markings/sec, 135 secs
lola: 23301859 markings, 64024890 edges, 139551 markings/sec, 140 secs
lola: 24033028 markings, 66223875 edges, 146234 markings/sec, 145 secs
lola: 24842081 markings, 68464066 edges, 161811 markings/sec, 150 secs
lola: 25595150 markings, 70544474 edges, 150614 markings/sec, 155 secs
lola: 26335336 markings, 72683365 edges, 148037 markings/sec, 160 secs
lola: 27096713 markings, 74920836 edges, 152275 markings/sec, 165 secs
lola: 27763245 markings, 76900902 edges, 133306 markings/sec, 170 secs
lola: 28460376 markings, 78920611 edges, 139426 markings/sec, 175 secs
lola: 29183930 markings, 81099433 edges, 144711 markings/sec, 180 secs
lola: 29894024 markings, 83159314 edges, 142019 markings/sec, 185 secs
lola: 30599918 markings, 85245881 edges, 141179 markings/sec, 190 secs
lola: 31265988 markings, 87275799 edges, 133214 markings/sec, 195 secs
lola: 32000332 markings, 89348012 edges, 146869 markings/sec, 200 secs
lola: 32719167 markings, 91495384 edges, 143767 markings/sec, 205 secs
lola: 33465634 markings, 93714728 edges, 149293 markings/sec, 210 secs
lola: 34252567 markings, 95966525 edges, 157387 markings/sec, 215 secs
lola: 34981789 markings, 98133708 edges, 145844 markings/sec, 220 secs
lola: 35674825 markings, 100264825 edges, 138607 markings/sec, 225 secs
lola: 36431963 markings, 102510632 edges, 151428 markings/sec, 230 secs
lola: 37176547 markings, 104750840 edges, 148917 markings/sec, 235 secs
lola: 37883282 markings, 106959781 edges, 141347 markings/sec, 240 secs
lola: 38572077 markings, 109175558 edges, 137759 markings/sec, 245 secs
lola: 39243228 markings, 111381543 edges, 134230 markings/sec, 250 secs
lola: 39910334 markings, 113584875 edges, 133421 markings/sec, 255 secs
lola: 40580035 markings, 115745417 edges, 133940 markings/sec, 260 secs
lola: 41232510 markings, 117935009 edges, 130495 markings/sec, 265 secs
lola: 41910285 markings, 120116653 edges, 135555 markings/sec, 270 secs
lola: 42566759 markings, 122295545 edges, 131295 markings/sec, 275 secs
lola: 43200549 markings, 124412430 edges, 126758 markings/sec, 280 secs
lola: 43880460 markings, 126595634 edges, 135982 markings/sec, 285 secs
lola: 44544957 markings, 128773192 edges, 132899 markings/sec, 290 secs
lola: 45200156 markings, 130944507 edges, 131040 markings/sec, 295 secs
lola: 45882859 markings, 133181419 edges, 136541 markings/sec, 300 secs
lola: 46566087 markings, 135345595 edges, 136646 markings/sec, 305 secs
lola: 47201150 markings, 137464319 edges, 127013 markings/sec, 310 secs
lola: 47808137 markings, 139535804 edges, 121397 markings/sec, 315 secs
lola: 48472975 markings, 141733480 edges, 132968 markings/sec, 320 secs
lola: 49301051 markings, 144024788 edges, 165615 markings/sec, 325 secs
lola: 50110833 markings, 146303927 edges, 161956 markings/sec, 330 secs
lola: 50911856 markings, 148601071 edges, 160205 markings/sec, 335 secs
lola: 51679409 markings, 150885270 edges, 153511 markings/sec, 340 secs
lola: 52443215 markings, 153146203 edges, 152761 markings/sec, 345 secs
lola: 53204918 markings, 155389616 edges, 152341 markings/sec, 350 secs
lola: 53973408 markings, 157629255 edges, 153698 markings/sec, 355 secs
lola: 54724506 markings, 159863317 edges, 150220 markings/sec, 360 secs
lola: 55445581 markings, 162045723 edges, 144215 markings/sec, 365 secs
lola: 56239438 markings, 164291721 edges, 158771 markings/sec, 370 secs
lola: 56981817 markings, 166517424 edges, 148476 markings/sec, 375 secs
lola: 57735462 markings, 168754409 edges, 150729 markings/sec, 380 secs
lola: 58523325 markings, 171012325 edges, 157573 markings/sec, 385 secs
lola: 59259075 markings, 173190829 edges, 147150 markings/sec, 390 secs
lola: 59955131 markings, 175327427 edges, 139211 markings/sec, 395 secs
lola: 60710705 markings, 177577108 edges, 151115 markings/sec, 400 secs
lola: 61458895 markings, 179821098 edges, 149638 markings/sec, 405 secs
lola: 62166267 markings, 182031255 edges, 141474 markings/sec, 410 secs
lola: 62856226 markings, 184251939 edges, 137992 markings/sec, 415 secs
lola: 63527162 markings, 186455003 edges, 134187 markings/sec, 420 secs
lola: 64196253 markings, 188664763 edges, 133818 markings/sec, 425 secs
lola: 64870032 markings, 190838757 edges, 134756 markings/sec, 430 secs
lola: 65522292 markings, 193025593 edges, 130452 markings/sec, 435 secs
lola: 66199474 markings, 195208261 edges, 135436 markings/sec, 440 secs
lola: 66853699 markings, 197378535 edges, 130845 markings/sec, 445 secs
lola: 67416818 markings, 199264079 edges, 112624 markings/sec, 450 secs
lola: 68054417 markings, 201323906 edges, 127520 markings/sec, 455 secs
lola: 68724898 markings, 203496312 edges, 134096 markings/sec, 460 secs
lola: 69377762 markings, 205659171 edges, 130573 markings/sec, 465 secs
lola: 70045863 markings, 207866629 edges, 133620 markings/sec, 470 secs
lola: 70732636 markings, 210048402 edges, 137355 markings/sec, 475 secs
lola: 71369587 markings, 212150747 edges, 127390 markings/sec, 480 secs
lola: 71980259 markings, 214220718 edges, 122134 markings/sec, 485 secs
lola: 72633321 markings, 216390565 edges, 130612 markings/sec, 490 secs
lola: 73424640 markings, 218669182 edges, 158264 markings/sec, 495 secs
lola: 74246537 markings, 220944953 edges, 164379 markings/sec, 500 secs
lola: 75035485 markings, 223219194 edges, 157790 markings/sec, 505 secs
lola: 75804872 markings, 225500327 edges, 153877 markings/sec, 510 secs
lola: 76570252 markings, 227773332 edges, 153076 markings/sec, 515 secs
lola: 77333742 markings, 229998154 edges, 152698 markings/sec, 520 secs
lola: 78091231 markings, 232232939 edges, 151498 markings/sec, 525 secs
lola: 78847791 markings, 234463688 edges, 151312 markings/sec, 530 secs
lola: 79572487 markings, 236642644 edges, 144939 markings/sec, 535 secs
lola: 80347840 markings, 238875897 edges, 155071 markings/sec, 540 secs
lola: 81101001 markings, 241109678 edges, 150632 markings/sec, 545 secs
lola: 81845323 markings, 243332475 edges, 148864 markings/sec, 550 secs
lola: 82639392 markings, 245620102 edges, 158814 markings/sec, 555 secs
lola: 83375606 markings, 247765357 edges, 147243 markings/sec, 560 secs
lola: 84072734 markings, 249883062 edges, 139426 markings/sec, 565 secs
lola: 84808778 markings, 252088404 edges, 147209 markings/sec, 570 secs
lola: 85642107 markings, 254378508 edges, 166666 markings/sec, 575 secs
lola: 86452968 markings, 256645760 edges, 162172 markings/sec, 580 secs
lola: 87244785 markings, 258922184 edges, 158363 markings/sec, 585 secs
lola: 88005794 markings, 261191755 edges, 152202 markings/sec, 590 secs
lola: 88770056 markings, 263469585 edges, 152852 markings/sec, 595 secs
lola: 89536339 markings, 265690851 edges, 153257 markings/sec, 600 secs
lola: 90202743 markings, 267668297 edges, 133281 markings/sec, 605 secs
lola: 90912668 markings, 269745487 edges, 141985 markings/sec, 610 secs
lola: 91637293 markings, 271921648 edges, 144925 markings/sec, 615 secs
lola: 92400313 markings, 274141500 edges, 152604 markings/sec, 620 secs
lola: 93157721 markings, 276360531 edges, 151482 markings/sec, 625 secs
lola: 93900463 markings, 278577728 edges, 148548 markings/sec, 630 secs
lola: 94606352 markings, 280647356 edges, 141178 markings/sec, 635 secs
lola: 95305879 markings, 282640402 edges, 139905 markings/sec, 640 secs
lola: 95979304 markings, 284657796 edges, 134685 markings/sec, 645 secs
lola: 96595907 markings, 286565580 edges, 123321 markings/sec, 650 secs
lola: 97357642 markings, 288746023 edges, 152347 markings/sec, 655 secs
lola: 98099338 markings, 290792043 edges, 148339 markings/sec, 660 secs
lola: 98893299 markings, 292995199 edges, 158792 markings/sec, 665 secs
lola: 99583432 markings, 295021336 edges, 138027 markings/sec, 670 secs
lola: 100293395 markings, 297129933 edges, 141993 markings/sec, 675 secs
lola: 101050264 markings, 299365095 edges, 151374 markings/sec, 680 secs
lola: 101805056 markings, 301592798 edges, 150958 markings/sec, 685 secs
lola: 102494274 markings, 303605286 edges, 137844 markings/sec, 690 secs
lola: 103182562 markings, 305641420 edges, 137658 markings/sec, 695 secs
lola: 103906906 markings, 307816424 edges, 144869 markings/sec, 700 secs
lola: 104679968 markings, 310038278 edges, 154612 markings/sec, 705 secs
lola: 105426150 markings, 312261550 edges, 149236 markings/sec, 710 secs
lola: 106165419 markings, 314472540 edges, 147854 markings/sec, 715 secs
lola: 106955018 markings, 316744360 edges, 157920 markings/sec, 720 secs
lola: 107695245 markings, 318902053 edges, 148045 markings/sec, 725 secs
lola: 108390018 markings, 321013570 edges, 138955 markings/sec, 730 secs
lola: 109127703 markings, 323223487 edges, 147537 markings/sec, 735 secs
lola: 109880443 markings, 325477589 edges, 150548 markings/sec, 740 secs
lola: 110599907 markings, 327700584 edges, 143893 markings/sec, 745 secs
lola: 111287707 markings, 329906227 edges, 137560 markings/sec, 750 secs
lola: 111964885 markings, 332117133 edges, 135436 markings/sec, 755 secs
lola: 112628277 markings, 334321683 edges, 132678 markings/sec, 760 secs
lola: 113294092 markings, 336489468 edges, 133163 markings/sec, 765 secs
lola: 113954335 markings, 338667577 edges, 132049 markings/sec, 770 secs
lola: 114619037 markings, 340838392 edges, 132940 markings/sec, 775 secs
lola: 115277285 markings, 343000031 edges, 131650 markings/sec, 780 secs
lola: 115914395 markings, 345123544 edges, 127422 markings/sec, 785 secs
lola: 116582952 markings, 347302272 edges, 133711 markings/sec, 790 secs
lola: 117250498 markings, 349455419 edges, 133509 markings/sec, 795 secs
lola: 117904946 markings, 351620881 edges, 130890 markings/sec, 800 secs
lola: 118567784 markings, 353812651 edges, 132568 markings/sec, 805 secs
lola: 119250167 markings, 355992857 edges, 136477 markings/sec, 810 secs
lola: 119893431 markings, 358102037 edges, 128653 markings/sec, 815 secs
lola: 120506662 markings, 360170323 edges, 122646 markings/sec, 820 secs
lola: 121150068 markings, 362315569 edges, 128681 markings/sec, 825 secs
lola: 121854730 markings, 364546274 edges, 140932 markings/sec, 830 secs
lola: 122583537 markings, 366779226 edges, 145761 markings/sec, 835 secs
lola: 123282401 markings, 368978641 edges, 139773 markings/sec, 840 secs
lola: 123917896 markings, 371053009 edges, 127099 markings/sec, 845 secs
lola: 124540983 markings, 373116196 edges, 124617 markings/sec, 850 secs
lola: 125188411 markings, 375267213 edges, 129486 markings/sec, 855 secs
lola: 125857227 markings, 377423771 edges, 133763 markings/sec, 860 secs
lola: 126509711 markings, 379608580 edges, 130497 markings/sec, 865 secs
lola: 127187015 markings, 381786271 edges, 135461 markings/sec, 870 secs
lola: 127838747 markings, 383942515 edges, 130346 markings/sec, 875 secs
lola: 128473044 markings, 386076110 edges, 126859 markings/sec, 880 secs
lola: 129143910 markings, 388185801 edges, 134173 markings/sec, 885 secs
lola: 129776083 markings, 390294878 edges, 126435 markings/sec, 890 secs
lola: 130425475 markings, 392453994 edges, 129878 markings/sec, 895 secs
lola: 131118959 markings, 394695840 edges, 138697 markings/sec, 900 secs
lola: 131780595 markings, 396810195 edges, 132327 markings/sec, 905 secs
lola: 132405712 markings, 398890530 edges, 125023 markings/sec, 910 secs
lola: 133013890 markings, 400974127 edges, 121636 markings/sec, 915 secs
lola: 133685521 markings, 403177834 edges, 134326 markings/sec, 920 secs
lola: 134335672 markings, 405362459 edges, 130030 markings/sec, 925 secs
lola: 134962841 markings, 407519388 edges, 125434 markings/sec, 930 secs
lola: 135573284 markings, 409676569 edges, 122089 markings/sec, 935 secs
lola: 136167938 markings, 411830389 edges, 118931 markings/sec, 940 secs
lola: 136764256 markings, 413987378 edges, 119264 markings/sec, 945 secs
lola: 137313517 markings, 415995183 edges, 109852 markings/sec, 950 secs
lola: 137860661 markings, 417933534 edges, 109429 markings/sec, 955 secs
lola: 138408174 markings, 419948368 edges, 109503 markings/sec, 960 secs
lola: 139007426 markings, 422077400 edges, 119850 markings/sec, 965 secs
lola: 139592402 markings, 424208431 edges, 116995 markings/sec, 970 secs
lola: 140158353 markings, 426278848 edges, 113190 markings/sec, 975 secs
lola: 140741178 markings, 428400949 edges, 116565 markings/sec, 980 secs
lola: 141346220 markings, 430518983 edges, 121008 markings/sec, 985 secs
lola: 141922383 markings, 432632459 edges, 115233 markings/sec, 990 secs
lola: 142504233 markings, 434752178 edges, 116370 markings/sec, 995 secs
lola: 143114864 markings, 436950253 edges, 122126 markings/sec, 1000 secs
lola: 143720116 markings, 439063085 edges, 121050 markings/sec, 1005 secs
lola: 144282626 markings, 441125047 edges, 112502 markings/sec, 1010 secs
lola: 144827847 markings, 443152128 edges, 109044 markings/sec, 1015 secs
lola: 145404785 markings, 445264214 edges, 115388 markings/sec, 1020 secs
lola: 146059291 markings, 447472417 edges, 130901 markings/sec, 1025 secs
lola: 146789596 markings, 449717902 edges, 146061 markings/sec, 1030 secs
lola: 147500014 markings, 451937129 edges, 142084 markings/sec, 1035 secs
lola: 148184883 markings, 454175776 edges, 136974 markings/sec, 1040 secs
lola: 148859781 markings, 456405964 edges, 134980 markings/sec, 1045 secs
lola: 149526481 markings, 458626000 edges, 133340 markings/sec, 1050 secs
lola: 150200948 markings, 460800609 edges, 134893 markings/sec, 1055 secs
lola: 150859732 markings, 462998646 edges, 131757 markings/sec, 1060 secs
lola: 151535551 markings, 465177973 edges, 135164 markings/sec, 1065 secs
lola: 152187349 markings, 467330775 edges, 130360 markings/sec, 1070 secs
lola: 152832833 markings, 469488396 edges, 129097 markings/sec, 1075 secs
lola: 153522033 markings, 471672584 edges, 137840 markings/sec, 1080 secs
lola: 154177434 markings, 473852520 edges, 131080 markings/sec, 1085 secs
lola: 154831512 markings, 476032760 edges, 130816 markings/sec, 1090 secs
lola: 155534094 markings, 478281549 edges, 140516 markings/sec, 1095 secs
lola: 156189877 markings, 480400472 edges, 131157 markings/sec, 1100 secs
lola: 156816741 markings, 482500451 edges, 125373 markings/sec, 1105 secs
lola: 157447876 markings, 484629777 edges, 126227 markings/sec, 1110 secs
lola: 158122917 markings, 486853023 edges, 135008 markings/sec, 1115 secs
lola: 158764599 markings, 489036658 edges, 128336 markings/sec, 1120 secs
lola: 159389119 markings, 491201722 edges, 124904 markings/sec, 1125 secs
lola: 160005023 markings, 493385333 edges, 123181 markings/sec, 1130 secs
lola: 160606176 markings, 495548744 edges, 120231 markings/sec, 1135 secs
lola: 161200116 markings, 497712829 edges, 118788 markings/sec, 1140 secs
lola: 161786579 markings, 499834578 edges, 117293 markings/sec, 1145 secs
lola: 162382801 markings, 501975660 edges, 119244 markings/sec, 1150 secs
lola: 162965586 markings, 504120455 edges, 116557 markings/sec, 1155 secs
lola: 163566485 markings, 506245729 edges, 120180 markings/sec, 1160 secs
lola: 164150617 markings, 508360047 edges, 116826 markings/sec, 1165 secs
lola: 164707791 markings, 510430446 edges, 111435 markings/sec, 1170 secs
lola: 165313751 markings, 512574358 edges, 121192 markings/sec, 1175 secs
lola: 165840483 markings, 514460800 edges, 105346 markings/sec, 1180 secs
lola: 166376358 markings, 516411960 edges, 107175 markings/sec, 1185 secs
lola: 166949621 markings, 518525932 edges, 114653 markings/sec, 1190 secs
lola: 167573905 markings, 520739578 edges, 124857 markings/sec, 1195 secs
lola: 168162204 markings, 522805355 edges, 117660 markings/sec, 1200 secs
lola: 168721885 markings, 524862006 edges, 111936 markings/sec, 1205 secs
lola: 169262442 markings, 526887030 edges, 108111 markings/sec, 1210 secs
lola: 169850717 markings, 529025014 edges, 117655 markings/sec, 1215 secs
lola: 170539697 markings, 531259542 edges, 137796 markings/sec, 1220 secs
lola: 171275463 markings, 533499234 edges, 147153 markings/sec, 1225 secs
lola: 171971110 markings, 535716949 edges, 139129 markings/sec, 1230 secs
lola: 172647870 markings, 537947813 edges, 135352 markings/sec, 1235 secs
lola: 173323671 markings, 540171584 edges, 135160 markings/sec, 1240 secs
lola: 173988856 markings, 542351518 edges, 133037 markings/sec, 1245 secs
lola: 174653835 markings, 544536634 edges, 132996 markings/sec, 1250 secs
lola: 175253399 markings, 546505334 edges, 119913 markings/sec, 1255 secs
lola: 175870676 markings, 548518180 edges, 123455 markings/sec, 1260 secs
lola: 176500541 markings, 550600405 edges, 125973 markings/sec, 1265 secs
lola: 177147948 markings, 552761352 edges, 129481 markings/sec, 1270 secs
lola: 177807800 markings, 554852118 edges, 131970 markings/sec, 1275 secs
lola: 178411558 markings, 556870586 edges, 120752 markings/sec, 1280 secs
lola: 179015425 markings, 558873164 edges, 120773 markings/sec, 1285 secs
lola: 179712193 markings, 561125895 edges, 139354 markings/sec, 1290 secs
lola: 180376731 markings, 563249623 edges, 132908 markings/sec, 1295 secs
lola: 181007356 markings, 565348694 edges, 126125 markings/sec, 1300 secs
lola: 181617155 markings, 567437178 edges, 121960 markings/sec, 1305 secs
lola: 182218002 markings, 569419581 edges, 120169 markings/sec, 1310 secs
lola: 182919004 markings, 571527314 edges, 140200 markings/sec, 1315 secs
lola: 183629514 markings, 573747469 edges, 142102 markings/sec, 1320 secs
lola: 184249703 markings, 575745334 edges, 124038 markings/sec, 1325 secs
lola: 184873473 markings, 577774752 edges, 124754 markings/sec, 1330 secs
lola: 185488732 markings, 579810620 edges, 123052 markings/sec, 1335 secs
lola: 186150088 markings, 581976795 edges, 132271 markings/sec, 1340 secs
lola: 186810797 markings, 584149191 edges, 132142 markings/sec, 1345 secs
lola: 187479866 markings, 586340475 edges, 133814 markings/sec, 1350 secs
lola: 188142698 markings, 588512776 edges, 132566 markings/sec, 1355 secs
lola: 188782687 markings, 590644269 edges, 127998 markings/sec, 1360 secs
lola: 189451249 markings, 592833916 edges, 133712 markings/sec, 1365 secs
lola: 190124098 markings, 594996527 edges, 134570 markings/sec, 1370 secs
lola: 190783857 markings, 597176405 edges, 131952 markings/sec, 1375 secs
lola: 191449962 markings, 599383081 edges, 133221 markings/sec, 1380 secs
lola: 192136619 markings, 601578543 edges, 137331 markings/sec, 1385 secs
lola: 192783470 markings, 603697823 edges, 129370 markings/sec, 1390 secs
lola: 193400217 markings, 605778043 edges, 123349 markings/sec, 1395 secs
lola: 194046744 markings, 607933522 edges, 129305 markings/sec, 1400 secs
lola: 194805173 markings, 610188234 edges, 151686 markings/sec, 1405 secs
lola: 195638649 markings, 612460821 edges, 166695 markings/sec, 1410 secs
lola: 196421001 markings, 614721063 edges, 156470 markings/sec, 1415 secs
lola: 197193347 markings, 616987959 edges, 154469 markings/sec, 1420 secs
lola: 197951839 markings, 619248456 edges, 151698 markings/sec, 1425 secs
lola: 198716310 markings, 621468150 edges, 152894 markings/sec, 1430 secs
lola: 199456644 markings, 623696876 edges, 148067 markings/sec, 1435 secs
lola: 200218793 markings, 625908712 edges, 152430 markings/sec, 1440 secs
lola: 200943798 markings, 628083494 edges, 145001 markings/sec, 1445 secs
lola: 201702058 markings, 630295050 edges, 151652 markings/sec, 1450 secs
lola: 202456417 markings, 632502142 edges, 150872 markings/sec, 1455 secs
lola: 203195037 markings, 634705155 edges, 147724 markings/sec, 1460 secs
lola: 203971393 markings, 636977521 edges, 155271 markings/sec, 1465 secs
lola: 204728189 markings, 639151055 edges, 151359 markings/sec, 1470 secs
lola: 205433463 markings, 641276193 edges, 141055 markings/sec, 1475 secs
lola: 206151185 markings, 643446173 edges, 143544 markings/sec, 1480 secs
lola: 206894912 markings, 645681142 edges, 148745 markings/sec, 1485 secs
lola: 207619041 markings, 647901198 edges, 144826 markings/sec, 1490 secs
lola: 208314758 markings, 650088455 edges, 139143 markings/sec, 1495 secs
lola: 208992744 markings, 652303602 edges, 135597 markings/sec, 1500 secs
lola: 209658009 markings, 654502668 edges, 133053 markings/sec, 1505 secs
lola: 210317315 markings, 656686954 edges, 131861 markings/sec, 1510 secs
lola: 210982180 markings, 658843277 edges, 132973 markings/sec, 1515 secs
lola: 211636385 markings, 661013969 edges, 130841 markings/sec, 1520 secs
lola: 212301736 markings, 663171608 edges, 133070 markings/sec, 1525 secs
lola: 212944623 markings, 665296102 edges, 128577 markings/sec, 1530 secs
lola: 213584771 markings, 667434630 edges, 128030 markings/sec, 1535 secs
lola: 214265601 markings, 669592738 edges, 136166 markings/sec, 1540 secs
lola: 214910816 markings, 671743652 edges, 129043 markings/sec, 1545 secs
lola: 215555198 markings, 673891130 edges, 128876 markings/sec, 1550 secs
lola: 216251201 markings, 676114530 edges, 139201 markings/sec, 1555 secs
lola: 216887791 markings, 678171380 edges, 127318 markings/sec, 1560 secs
lola: 217496587 markings, 680198284 edges, 121759 markings/sec, 1565 secs
lola: 218057146 markings, 682119158 edges, 112112 markings/sec, 1570 secs
lola: 218720717 markings, 684282531 edges, 132714 markings/sec, 1575 secs
lola: 219438831 markings, 686460426 edges, 143623 markings/sec, 1580 secs
lola: 220128663 markings, 688622193 edges, 137966 markings/sec, 1585 secs
lola: 220806119 markings, 690797335 edges, 135491 markings/sec, 1590 secs
lola: 221464220 markings, 692961178 edges, 131620 markings/sec, 1595 secs
lola: 222119035 markings, 695123492 edges, 130963 markings/sec, 1600 secs
lola: 222775808 markings, 697244356 edges, 131355 markings/sec, 1605 secs
lola: 223416909 markings, 699384120 edges, 128220 markings/sec, 1610 secs
lola: 224076261 markings, 701516059 edges, 131870 markings/sec, 1615 secs
lola: 224719525 markings, 703643400 edges, 128653 markings/sec, 1620 secs
lola: 225335260 markings, 705709769 edges, 123147 markings/sec, 1625 secs
lola: 225997931 markings, 707849247 edges, 132534 markings/sec, 1630 secs
lola: 226651667 markings, 709966455 edges, 130747 markings/sec, 1635 secs
lola: 227291494 markings, 712083693 edges, 127965 markings/sec, 1640 secs
lola: 227943880 markings, 714239140 edges, 130477 markings/sec, 1645 secs
lola: 228612224 markings, 716367630 edges, 133669 markings/sec, 1650 secs
lola: 229238408 markings, 718428277 edges, 125237 markings/sec, 1655 secs
lola: 229835844 markings, 720444311 edges, 119487 markings/sec, 1660 secs
lola: 230463292 markings, 722534967 edges, 125490 markings/sec, 1665 secs
lola: 231115342 markings, 724702927 edges, 130410 markings/sec, 1670 secs
lola: 231737335 markings, 726829214 edges, 124399 markings/sec, 1675 secs
lola: 232342157 markings, 728927598 edges, 120964 markings/sec, 1680 secs
lola: 232944981 markings, 731056609 edges, 120565 markings/sec, 1685 secs
lola: 233530724 markings, 733171693 edges, 117149 markings/sec, 1690 secs
lola: 234108304 markings, 735279158 edges, 115516 markings/sec, 1695 secs
lola: 234682767 markings, 737351923 edges, 114893 markings/sec, 1700 secs
lola: 235263451 markings, 739438650 edges, 116137 markings/sec, 1705 secs
lola: 235831895 markings, 741529554 edges, 113689 markings/sec, 1710 secs
lola: 236418156 markings, 743606146 edges, 117252 markings/sec, 1715 secs
lola: 236986877 markings, 745665325 edges, 113744 markings/sec, 1720 secs
lola: 237531729 markings, 747679583 edges, 108970 markings/sec, 1725 secs
lola: 238118962 markings, 749773841 edges, 117447 markings/sec, 1730 secs
lola: 238696456 markings, 751830866 edges, 115499 markings/sec, 1735 secs
lola: 239263287 markings, 753896940 edges, 113366 markings/sec, 1740 secs
lola: 239819307 markings, 755949131 edges, 111204 markings/sec, 1745 secs
lola: 240427173 markings, 758110099 edges, 121573 markings/sec, 1750 secs
lola: 241005251 markings, 760131453 edges, 115616 markings/sec, 1755 secs
lola: 241545579 markings, 762116721 edges, 108066 markings/sec, 1760 secs
lola: 242072163 markings, 764079620 edges, 105317 markings/sec, 1765 secs
lola: 242636643 markings, 766140442 edges, 112896 markings/sec, 1770 secs
lola: 243283061 markings, 768299580 edges, 129284 markings/sec, 1775 secs
lola: 243987172 markings, 770464317 edges, 140822 markings/sec, 1780 secs
lola: 244671385 markings, 772599597 edges, 136843 markings/sec, 1785 secs
lola: 245336215 markings, 774766858 edges, 132966 markings/sec, 1790 secs
lola: 245987498 markings, 776921943 edges, 130257 markings/sec, 1795 secs
lola: 246638986 markings, 779078594 edges, 130298 markings/sec, 1800 secs
lola: 247292658 markings, 781187481 edges, 130734 markings/sec, 1805 secs
lola: 247926802 markings, 783314732 edges, 126829 markings/sec, 1810 secs
lola: 248585874 markings, 785434847 edges, 131814 markings/sec, 1815 secs
lola: 249225633 markings, 787539829 edges, 127952 markings/sec, 1820 secs
lola: 249834963 markings, 789609319 edges, 121866 markings/sec, 1825 secs
lola: 250508993 markings, 791726629 edges, 134806 markings/sec, 1830 secs
lola: 251146828 markings, 793848960 edges, 127567 markings/sec, 1835 secs
lola: 251781032 markings, 795950223 edges, 126841 markings/sec, 1840 secs
lola: 252446890 markings, 798124492 edges, 133172 markings/sec, 1845 secs
lola: 253109032 markings, 800221458 edges, 132428 markings/sec, 1850 secs
lola: 253720958 markings, 802264058 edges, 122385 markings/sec, 1855 secs
lola: 254310154 markings, 804272163 edges, 117839 markings/sec, 1860 secs
lola: 254953218 markings, 806394572 edges, 128613 markings/sec, 1865 secs
lola: 255595572 markings, 808547586 edges, 128471 markings/sec, 1870 secs
lola: 256216697 markings, 810659183 edges, 124225 markings/sec, 1875 secs
lola: 256819018 markings, 812745841 edges, 120464 markings/sec, 1880 secs
lola: 257410821 markings, 814868505 edges, 118361 markings/sec, 1885 secs
lola: 257988246 markings, 816971198 edges, 115485 markings/sec, 1890 secs
lola: 258563109 markings, 819064536 edges, 114973 markings/sec, 1895 secs
lola: 259141427 markings, 821126366 edges, 115664 markings/sec, 1900 secs
lola: 259708285 markings, 823201318 edges, 113372 markings/sec, 1905 secs
lola: 260282540 markings, 825277833 edges, 114851 markings/sec, 1910 secs
lola: 260861943 markings, 827356363 edges, 115881 markings/sec, 1915 secs
lola: 261428536 markings, 829406076 edges, 113319 markings/sec, 1920 secs
lola: 261969286 markings, 831424431 edges, 108150 markings/sec, 1925 secs
lola: 262562404 markings, 833503994 edges, 118624 markings/sec, 1930 secs
lola: 263140424 markings, 835589029 edges, 115604 markings/sec, 1935 secs
lola: 263707157 markings, 837646228 edges, 113347 markings/sec, 1940 secs
lola: 264281299 markings, 839738328 edges, 114828 markings/sec, 1945 secs
lola: 264884121 markings, 841881598 edges, 120564 markings/sec, 1950 secs
lola: 265448154 markings, 843882541 edges, 112807 markings/sec, 1955 secs
lola: 265992616 markings, 845879016 edges, 108892 markings/sec, 1960 secs
lola: 266512646 markings, 847844880 edges, 104006 markings/sec, 1965 secs
lola: 267093099 markings, 849939624 edges, 116091 markings/sec, 1970 secs
lola: 267778854 markings, 852120585 edges, 137151 markings/sec, 1975 secs
lola: 268051085 markings, 852952606 edges, 54446 markings/sec, 1980 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))
lola: processed formula length: 165
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 374300 markings, 2347943 edges, 74860 markings/sec, 0 secs
lola: 715691 markings, 4694697 edges, 68278 markings/sec, 5 secs
lola: 1028995 markings, 7013622 edges, 62661 markings/sec, 10 secs
lola: 1341197 markings, 9276756 edges, 62440 markings/sec, 15 secs
lola: 1626573 markings, 11415109 edges, 57075 markings/sec, 20 secs
lola: 1900137 markings, 13509854 edges, 54713 markings/sec, 25 secs
lola: 2159617 markings, 15573184 edges, 51896 markings/sec, 30 secs
lola: 2409966 markings, 17614040 edges, 50070 markings/sec, 35 secs
lola: 2676909 markings, 19854835 edges, 53389 markings/sec, 40 secs
lola: 2939734 markings, 22055687 edges, 52565 markings/sec, 45 secs
lola: 3215064 markings, 24194516 edges, 55066 markings/sec, 50 secs
lola: 3491731 markings, 26308552 edges, 55333 markings/sec, 55 secs
lola: 3754302 markings, 28414974 edges, 52514 markings/sec, 60 secs
lola: 4009527 markings, 30560565 edges, 51045 markings/sec, 65 secs
lola: 4272764 markings, 32738158 edges, 52647 markings/sec, 70 secs
lola: 4512089 markings, 34808197 edges, 47865 markings/sec, 75 secs
lola: 4738766 markings, 36475386 edges, 45335 markings/sec, 80 secs
lola: 4975201 markings, 38283778 edges, 47287 markings/sec, 85 secs
lola: 5196619 markings, 40057015 edges, 44284 markings/sec, 90 secs
lola: 5415326 markings, 41862082 edges, 43741 markings/sec, 95 secs
lola: 5648448 markings, 43800320 edges, 46624 markings/sec, 100 secs
lola: 5871248 markings, 45673115 edges, 44560 markings/sec, 105 secs
lola: 6125626 markings, 47604461 edges, 50876 markings/sec, 110 secs
lola: 6444692 markings, 49732337 edges, 63813 markings/sec, 115 secs
lola: 6748611 markings, 51842380 edges, 60784 markings/sec, 120 secs
lola: 7040655 markings, 54014110 edges, 58409 markings/sec, 125 secs
lola: 7327267 markings, 56076737 edges, 57322 markings/sec, 130 secs
lola: 7581180 markings, 57987891 edges, 50783 markings/sec, 135 secs
lola: 7839087 markings, 59956746 edges, 51581 markings/sec, 140 secs
lola: 8076083 markings, 61799239 edges, 47399 markings/sec, 145 secs
lola: 8301962 markings, 63644190 edges, 45176 markings/sec, 150 secs
lola: 8533947 markings, 65570860 edges, 46397 markings/sec, 155 secs
lola: 8777557 markings, 67580258 edges, 48722 markings/sec, 160 secs
lola: 8993294 markings, 69436080 edges, 43147 markings/sec, 165 secs
lola: 9204048 markings, 71207289 edges, 42151 markings/sec, 170 secs
lola: 9408628 markings, 72971067 edges, 40916 markings/sec, 175 secs
lola: 9602545 markings, 74693263 edges, 38783 markings/sec, 180 secs
lola: 9789444 markings, 76389452 edges, 37380 markings/sec, 185 secs
lola: 9983636 markings, 78207308 edges, 38838 markings/sec, 190 secs
lola: 10181233 markings, 80057731 edges, 39519 markings/sec, 195 secs
lola: 10377131 markings, 81877432 edges, 39180 markings/sec, 200 secs
lola: 10575930 markings, 83654489 edges, 39760 markings/sec, 205 secs
lola: 10902394 markings, 85837196 edges, 65293 markings/sec, 210 secs
lola: 11153274 markings, 87723477 edges, 50176 markings/sec, 215 secs
lola: 11419641 markings, 89739053 edges, 53273 markings/sec, 220 secs
lola: 11664935 markings, 91613145 edges, 49059 markings/sec, 225 secs
lola: 11903344 markings, 93596666 edges, 47682 markings/sec, 230 secs
lola: 12125737 markings, 95441047 edges, 44479 markings/sec, 235 secs
lola: 12350307 markings, 97279959 edges, 44914 markings/sec, 240 secs
lola: 12591962 markings, 99143000 edges, 48331 markings/sec, 245 secs
lola: 12807721 markings, 100997355 edges, 43152 markings/sec, 250 secs
lola: 13018464 markings, 102765217 edges, 42149 markings/sec, 255 secs
lola: 13240117 markings, 104518153 edges, 44331 markings/sec, 260 secs
lola: 13472686 markings, 106328971 edges, 46514 markings/sec, 265 secs
lola: 13681945 markings, 108120784 edges, 41852 markings/sec, 270 secs
lola: 13888673 markings, 109880830 edges, 41346 markings/sec, 275 secs
lola: 14179996 markings, 111843216 edges, 58265 markings/sec, 280 secs
lola: 14448890 markings, 113806328 edges, 53779 markings/sec, 285 secs
lola: 14700512 markings, 115667617 edges, 50324 markings/sec, 290 secs
lola: 14936373 markings, 117500569 edges, 47172 markings/sec, 295 secs
lola: 15184763 markings, 119467673 edges, 49678 markings/sec, 300 secs
lola: 15416787 markings, 121411013 edges, 46405 markings/sec, 305 secs
lola: 15633476 markings, 123283385 edges, 43338 markings/sec, 310 secs
lola: 15849298 markings, 125160178 edges, 43164 markings/sec, 315 secs
lola: 16046062 markings, 126934557 edges, 39353 markings/sec, 320 secs
lola: 16232995 markings, 128706682 edges, 37387 markings/sec, 325 secs
lola: 16427534 markings, 130574631 edges, 38908 markings/sec, 330 secs
lola: 16729617 markings, 132832931 edges, 60417 markings/sec, 335 secs
lola: 17015839 markings, 135071728 edges, 57244 markings/sec, 340 secs
lola: 17271001 markings, 137175620 edges, 51032 markings/sec, 345 secs
lola: 17519755 markings, 139326992 edges, 49751 markings/sec, 350 secs
lola: 17749717 markings, 141405006 edges, 45992 markings/sec, 355 secs
lola: 17992874 markings, 143439312 edges, 48631 markings/sec, 360 secs
lola: 18234421 markings, 145519868 edges, 48309 markings/sec, 365 secs
lola: 18464820 markings, 147543067 edges, 46080 markings/sec, 370 secs
lola: 18698454 markings, 149549919 edges, 46727 markings/sec, 375 secs
lola: 18929829 markings, 151573194 edges, 46275 markings/sec, 380 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: memory consumption: 1598600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1598600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.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="ShieldPPPs-PT-005B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ShieldPPPs-PT-005B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r211-tajo-159033477500467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-005B.tgz
mv ShieldPPPs-PT-005B execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;