About the Execution of 2019-Gold for CloudReconfiguration-PT-402
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4479.690 | 3570335.00 | 3666287.00 | 912.40 | TFTFFFTFTTFT?TTT | 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.r060-ebro-158902579500043.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 win2019
Input is CloudReconfiguration-PT-402, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579500043
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 912K Mar 24 05:37 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 CloudReconfiguration-PT-402-00
FORMULA_NAME CloudReconfiguration-PT-402-01
FORMULA_NAME CloudReconfiguration-PT-402-02
FORMULA_NAME CloudReconfiguration-PT-402-03
FORMULA_NAME CloudReconfiguration-PT-402-04
FORMULA_NAME CloudReconfiguration-PT-402-05
FORMULA_NAME CloudReconfiguration-PT-402-06
FORMULA_NAME CloudReconfiguration-PT-402-07
FORMULA_NAME CloudReconfiguration-PT-402-08
FORMULA_NAME CloudReconfiguration-PT-402-09
FORMULA_NAME CloudReconfiguration-PT-402-10
FORMULA_NAME CloudReconfiguration-PT-402-11
FORMULA_NAME CloudReconfiguration-PT-402-12
FORMULA_NAME CloudReconfiguration-PT-402-13
FORMULA_NAME CloudReconfiguration-PT-402-14
FORMULA_NAME CloudReconfiguration-PT-402-15
=== Now, execution of the tool begins
BK_START 1589860795715
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudReconfiguration-PT-402 @ 3570 seconds
FORMULA CloudReconfiguration-PT-402-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-402-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ CloudReconfiguration-PT-402
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 19 03:59:55 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 213
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 227
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 243
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 262
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 284
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 310
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 341
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 135
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 379
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 379
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p1936 <= p697)",
"processed_size": 15,
"rewrites": 137
},
"result":
{
"edges": 81,
"markings": 81,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 426
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((G ((p1040 <= p1853)) OR X ((p105 <= p256))))",
"processed_size": 48,
"rewrites": 135
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 487
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 135
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 569
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 569
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p2451 <= p1182)",
"processed_size": 16,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 711
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X ((p2898 + 1 <= p1294)))",
"processed_size": 28,
"rewrites": 135
},
"result":
{
"edges": 72,
"markings": 72,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 711
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A ((G ((p3101 <= p3074)) OR X (X (F ((p3101 <= p3074))))))",
"processed_size": 58,
"rewrites": 135
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 948
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (F (G ((p3462 + 1 <= p678))))",
"processed_size": 31,
"rewrites": 135
},
"result":
{
"edges": 83,
"markings": 82,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1422
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (((p803 <= 0) OR ((p483 + 1 <= p1349) AND (F (((p803 <= 0) AND F ((p1349 <= p483)))) OR G ((p483 + 1 <= p1349))))))",
"processed_size": 117,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2845
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 5,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F (((1 <= p1849) OR (F ((p1849 <= 0)) AND ((F ((p500 <= 0)) OR G (F ((p1849 <= 0)))) AND ((p1645 + 1 <= p2338) OR F ((p500 <= 0))))))))",
"processed_size": 138,
"rewrites": 135
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 4326720,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((G(**) OR X(**))) : (A(X(X(G(**)))) AND A(F(**))) : TRUE : FALSE : FALSE : A(F(G(*))) : A((* OR (* AND (F((* AND F(**))) OR G(*))))) : (** AND A(X(*))) : A(X(TRUE)) : TRUE : FALSE : A(X(TRUE)) : A(X(X(X(G(**))))) : TRUE : A((G(**) OR X(X(F(**))))) : A(F((** OR (F(*) AND ((F(*) OR G(F(*))) AND (* OR F(*)))))))"
},
"net":
{
"arcs": 8889,
"conflict_clusters": 3372,
"places": 3554,
"places_significant": 3549,
"singleton_clusters": 0,
"transitions": 4263
},
"result":
{
"interim_value": "yes no yes no no no yes no yes yes no yes unknown yes yes yes ",
"preliminary_value": "yes no yes no no no yes no yes yes no yes unknown yes yes yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 7817/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3554
lola: finding significant places
lola: 3554 places, 4263 transitions, 3549 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p854)
lola: LP says that atomic proposition is always false: (2 <= p339)
lola: LP says that atomic proposition is always false: (2 <= p414)
lola: LP says that atomic proposition is always false: (3 <= p3220)
lola: LP says that atomic proposition is always false: (2 <= p1058)
lola: LP says that atomic proposition is always false: (3 <= p2663)
lola: LP says that atomic proposition is always false: (3 <= p2663)
lola: LP says that atomic proposition is always false: (2 <= p768)
lola: LP says that atomic proposition is always false: (3 <= p909)
lola: LP says that atomic proposition is always false: (2 <= p1369)
lola: LP says that atomic proposition is always false: (2 <= p1369)
lola: LP says that atomic proposition is always false: (3 <= p1808)
lola: LP says that atomic proposition is always false: (2 <= p3491)
lola: LP says that atomic proposition is always false: (3 <= p1982)
lola: LP says that atomic proposition is always false: (2 <= p2138)
lola: LP says that atomic proposition is always false: (2 <= p2138)
lola: LP says that atomic proposition is always false: (3 <= p936)
lola: A ((G ((p1040 <= p1853)) OR X ((p105 <= p256)))) : A ((X (X (G (((p2854 <= p484) OR G (X ((3 <= p854))))))) AND F ((p697 + 1 <= p1936)))) : A (NOT(((2 <= p339) AND F (G (((p1638 + 1 <= p290) OR F ((p3118 <= p1733)))))))) : A ((G ((p743 <= p3256)) AND X (G (F ((2 <= p414)))))) : A (G (NOT(F (G (NOT(((G ((1 <= p1308)) AND X ((3 <= p3220))) AND ((2 <= p1058) OR F ((p991 <= p1615)))))))))) : A (X (G (F (NOT(F ((F ((p678 <= p3462)) U (p678 <= p3462)))))))) : A (NOT(((1 <= p803) AND (G (((1 <= p803) OR NOT((G ((0 <= p1249)) U (p1349 <= p483))))) U (p1349 <= p483))))) : A (((3 <= p2663) U (((p2451 <= p1182) AND NOT(X ((p1294 <= p2898)))) OR (G ((p1294 <= p2898)) U ((3 <= p2663) AND X ((2 <= p768))))))) : A ((G ((0 <= p1992)) AND G (X (F (((p496 <= p2785) OR ((p496 <= p2785) U (0 <= p1992)))))))) : A (NOT(F ((3 <= p909)))) : A ((F ((2 <= p1369)) OR ((p1065 + 1 <= p420) AND ((p2569 <= p3227) U F ((2 <= p1369)))))) : A (F (X ((NOT(F (X ((p1116 <= p1670)))) U F (NOT(((p1116 <= p1670) AND G (())))))))) : A (X ((((2 <= p3491) OR X (G (X ((p1483 <= p2401))))) OR F (X (G ((3 <= p1982))))))) : A ((G (F (X ((2 <= p2138)))) OR G (((p1919 <= p1780) OR G ((p2138 <= 1)))))) : A (((G ((p3101 <= p3074)) OR G ((3 <= p936))) OR X (X (F ((p3101 <= p3074)))))) : A (F (((1 <= p1849) OR NOT(((G ((1 <= p500)) U G ((1 <= p1849))) OR ((p2338 <= p1645) AND G ((1 <= p500))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 2 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 3 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 4 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 5 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (G ((p2854 <= p484))))) AND A (F ((p697 + 1 <= p1936))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p697 + 1 <= p1936)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p1936 <= p697)
lola: processed formula length: 15
lola: 137 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 81 markings, 81 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p1040 <= p1853)) OR X ((p105 <= p256))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p1040 <= p1853)) OR X ((p105 <= p256))))
lola: processed formula length: 48
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 487 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 568 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((p1483 <= p2401))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((p1483 <= p2401))))))
lola: processed formula length: 36
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 43252 markings, 128819 edges, 8650 markings/sec, 0 secs
lola: 81760 markings, 256394 edges, 7702 markings/sec, 5 secs
lola: 119731 markings, 384922 edges, 7594 markings/sec, 10 secs
lola: 158291 markings, 510589 edges, 7712 markings/sec, 15 secs
lola: 197397 markings, 639434 edges, 7821 markings/sec, 20 secs
lola: 229557 markings, 768883 edges, 6432 markings/sec, 25 secs
lola: 258936 markings, 899433 edges, 5876 markings/sec, 30 secs
lola: 290807 markings, 1025473 edges, 6374 markings/sec, 35 secs
lola: 319643 markings, 1155598 edges, 5767 markings/sec, 40 secs
lola: 350662 markings, 1285326 edges, 6204 markings/sec, 45 secs
lola: 380797 markings, 1414684 edges, 6027 markings/sec, 50 secs
lola: 413550 markings, 1543514 edges, 6551 markings/sec, 55 secs
lola: 453732 markings, 1672990 edges, 8036 markings/sec, 60 secs
lola: 493229 markings, 1799152 edges, 7899 markings/sec, 65 secs
lola: 530550 markings, 1927623 edges, 7464 markings/sec, 70 secs
lola: 570118 markings, 2056607 edges, 7914 markings/sec, 75 secs
lola: 607224 markings, 2185648 edges, 7421 markings/sec, 80 secs
lola: 639561 markings, 2315497 edges, 6467 markings/sec, 85 secs
lola: 668668 markings, 2444334 edges, 5821 markings/sec, 90 secs
lola: 698240 markings, 2570748 edges, 5914 markings/sec, 95 secs
lola: 728284 markings, 2701431 edges, 6009 markings/sec, 100 secs
lola: 757930 markings, 2828747 edges, 5929 markings/sec, 105 secs
lola: 787504 markings, 2955198 edges, 5915 markings/sec, 110 secs
lola: 824560 markings, 3076467 edges, 7411 markings/sec, 115 secs
lola: 863709 markings, 3199896 edges, 7830 markings/sec, 120 secs
lola: 899529 markings, 3324850 edges, 7164 markings/sec, 125 secs
lola: 936914 markings, 3450191 edges, 7477 markings/sec, 130 secs
lola: 975255 markings, 3576059 edges, 7668 markings/sec, 135 secs
lola: 1013169 markings, 3703837 edges, 7583 markings/sec, 140 secs
lola: 1045438 markings, 3832366 edges, 6454 markings/sec, 145 secs
lola: 1080035 markings, 3959658 edges, 6919 markings/sec, 150 secs
lola: 1105365 markings, 4088341 edges, 5066 markings/sec, 155 secs
lola: 1134639 markings, 4216503 edges, 5855 markings/sec, 160 secs
lola: 1169469 markings, 4345410 edges, 6966 markings/sec, 165 secs
lola: 1195456 markings, 4476399 edges, 5197 markings/sec, 170 secs
lola: 1228157 markings, 4604763 edges, 6540 markings/sec, 175 secs
lola: 1266165 markings, 4730507 edges, 7602 markings/sec, 180 secs
lola: 1304073 markings, 4853302 edges, 7582 markings/sec, 185 secs
lola: 1341410 markings, 4979148 edges, 7467 markings/sec, 190 secs
lola: 1370967 markings, 5107504 edges, 5911 markings/sec, 195 secs
lola: 1399687 markings, 5232961 edges, 5744 markings/sec, 200 secs
lola: 1428101 markings, 5357963 edges, 5683 markings/sec, 205 secs
lola: 1463582 markings, 5487914 edges, 7096 markings/sec, 210 secs
lola: 1498947 markings, 5616793 edges, 7073 markings/sec, 215 secs
lola: 1537615 markings, 5739896 edges, 7734 markings/sec, 220 secs
lola: 1575539 markings, 5867668 edges, 7585 markings/sec, 225 secs
lola: 1609595 markings, 5995054 edges, 6811 markings/sec, 230 secs
lola: 1635185 markings, 6121916 edges, 5118 markings/sec, 235 secs
lola: 1663599 markings, 6246415 edges, 5683 markings/sec, 240 secs
lola: 1695051 markings, 6377776 edges, 6290 markings/sec, 245 secs
lola: 1727010 markings, 6504097 edges, 6392 markings/sec, 250 secs
lola: 1763348 markings, 6631926 edges, 7268 markings/sec, 255 secs
lola: 1791096 markings, 6758208 edges, 5550 markings/sec, 260 secs
lola: 1831790 markings, 6881034 edges, 8139 markings/sec, 265 secs
lola: 1871082 markings, 7007654 edges, 7858 markings/sec, 270 secs
lola: 1897615 markings, 7134094 edges, 5307 markings/sec, 275 secs
lola: 1940388 markings, 7257974 edges, 8555 markings/sec, 280 secs
lola: 1970635 markings, 7384459 edges, 6049 markings/sec, 285 secs
lola: 1972049 markings, 7514620 edges, 283 markings/sec, 290 secs
lola: 2008567 markings, 7642215 edges, 7304 markings/sec, 295 secs
lola: 2049936 markings, 7770851 edges, 8274 markings/sec, 300 secs
lola: 2090188 markings, 7896858 edges, 8050 markings/sec, 305 secs
lola: 2121907 markings, 8024037 edges, 6344 markings/sec, 310 secs
lola: 2129355 markings, 8154253 edges, 1490 markings/sec, 315 secs
lola: 2163333 markings, 8283139 edges, 6796 markings/sec, 320 secs
lola: 2191497 markings, 8414365 edges, 5633 markings/sec, 325 secs
lola: 2213531 markings, 8545816 edges, 4407 markings/sec, 330 secs
lola: 2213989 markings, 8680229 edges, 92 markings/sec, 335 secs
lola: 2226937 markings, 8813475 edges, 2590 markings/sec, 340 secs
lola: 2254456 markings, 8944764 edges, 5504 markings/sec, 345 secs
lola: 2283311 markings, 9076207 edges, 5771 markings/sec, 350 secs
lola: 2320204 markings, 9205590 edges, 7379 markings/sec, 355 secs
lola: 2351434 markings, 9333874 edges, 6246 markings/sec, 360 secs
lola: 2393202 markings, 9460899 edges, 8354 markings/sec, 365 secs
lola: 2425855 markings, 9588815 edges, 6531 markings/sec, 370 secs
lola: 2451617 markings, 9719004 edges, 5152 markings/sec, 375 secs
lola: 2486401 markings, 9846718 edges, 6957 markings/sec, 380 secs
lola: 2516484 markings, 9973745 edges, 6017 markings/sec, 385 secs
lola: 2549683 markings, 10101838 edges, 6640 markings/sec, 390 secs
lola: 2590596 markings, 10225501 edges, 8183 markings/sec, 395 secs
lola: 2622217 markings, 10353474 edges, 6324 markings/sec, 400 secs
lola: 2664888 markings, 10476816 edges, 8534 markings/sec, 405 secs
lola: 2702276 markings, 10601557 edges, 7478 markings/sec, 410 secs
lola: 2745697 markings, 10724813 edges, 8684 markings/sec, 415 secs
lola: 2784981 markings, 10852018 edges, 7857 markings/sec, 420 secs
lola: 2820908 markings, 10979266 edges, 7185 markings/sec, 425 secs
lola: 2854589 markings, 11101701 edges, 6736 markings/sec, 430 secs
lola: 2904601 markings, 11224573 edges, 10002 markings/sec, 435 secs
lola: 2924712 markings, 11352010 edges, 4022 markings/sec, 440 secs
lola: 2933424 markings, 11482010 edges, 1742 markings/sec, 445 secs
lola: 2956085 markings, 11610994 edges, 4532 markings/sec, 450 secs
lola: 2956424 markings, 11743822 edges, 68 markings/sec, 455 secs
lola: 2963419 markings, 11875336 edges, 1399 markings/sec, 460 secs
lola: 2994204 markings, 12000049 edges, 6157 markings/sec, 465 secs
lola: 3033902 markings, 12126391 edges, 7940 markings/sec, 470 secs
lola: 3071338 markings, 12254020 edges, 7487 markings/sec, 475 secs
lola: 3127964 markings, 12376618 edges, 11325 markings/sec, 480 secs
lola: 3171991 markings, 12500358 edges, 8805 markings/sec, 485 secs
lola: 3206539 markings, 12622752 edges, 6910 markings/sec, 490 secs
lola: 3223222 markings, 12750141 edges, 3337 markings/sec, 495 secs
lola: 3223916 markings, 12881363 edges, 139 markings/sec, 500 secs
lola: 3224086 markings, 13011607 edges, 34 markings/sec, 505 secs
lola: 3247783 markings, 13139581 edges, 4739 markings/sec, 510 secs
lola: 3288781 markings, 13265937 edges, 8200 markings/sec, 515 secs
lola: 3325425 markings, 13392320 edges, 7329 markings/sec, 520 secs
lola: 3369764 markings, 13517708 edges, 8868 markings/sec, 525 secs
lola: 3409371 markings, 13640564 edges, 7921 markings/sec, 530 secs
lola: 3446658 markings, 13765204 edges, 7457 markings/sec, 535 secs
lola: 3484518 markings, 13888904 edges, 7572 markings/sec, 540 secs
lola: 3514268 markings, 14016105 edges, 5950 markings/sec, 545 secs
lola: 3542219 markings, 14145369 edges, 5590 markings/sec, 550 secs
lola: 3568920 markings, 14275008 edges, 5340 markings/sec, 555 secs
lola: 3575870 markings, 14406634 edges, 1390 markings/sec, 560 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no yes no no unknown unknown unknown yes yes no yes unknown yes unknown unknown
lola: memory consumption: 1001316 KB
lola: time consumption: 725 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p2451 <= p1182) AND A (X ((p2898 + 1 <= p1294))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p2451 <= p1182)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p2451 <= p1182)
lola: processed formula length: 16
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p2898 + 1 <= p1294)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p2898 + 1 <= p1294)))
lola: processed formula length: 28
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 72 markings, 72 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p3101 <= p3074)) OR X (X (F ((p3101 <= p3074))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p3101 <= p3074)) OR X (X (F ((p3101 <= p3074))))))
lola: processed formula length: 58
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 13 will run for 948 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p3462 + 1 <= p678))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p3462 + 1 <= p678))))
lola: processed formula length: 31
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 82 markings, 83 edges
lola: ========================================
lola: subprocess 14 will run for 1422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p803 <= 0) OR ((p483 + 1 <= p1349) AND (F (((p803 <= 0) AND F ((p1349 <= p483)))) OR G ((p483 + 1 <= p1349))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p803 <= 0) OR ((p483 + 1 <= p1349) AND (F (((p803 <= 0) AND F ((p1349 <= p483)))) OR G ((p483 + 1 <= p1349))))))
lola: processed formula length: 117
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p1849) OR (F ((p1849 <= 0)) AND ((F ((p500 <= 0)) OR G (F ((p1849 <= 0)))) AND ((p1645 + 1 <= p2338) OR F ((p500 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((1 <= p1849) OR (F ((p1849 <= 0)) AND ((F ((p500 <= 0)) OR G (F ((p1849 <= 0)))) AND ((p1645 + 1 <= p2338) OR F ((p500 <= 0))))))))
lola: processed formula length: 138
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((p1483 <= p2401))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((p1483 <= p2401))))))
lola: processed formula length: 36
lola: 135 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 43492 markings, 129890 edges, 8698 markings/sec, 0 secs
lola: 82041 markings, 257123 edges, 7710 markings/sec, 5 secs
lola: 119805 markings, 385216 edges, 7553 markings/sec, 10 secs
lola: 157976 markings, 510030 edges, 7634 markings/sec, 15 secs
lola: 196823 markings, 637299 edges, 7769 markings/sec, 20 secs
lola: 229508 markings, 768709 edges, 6537 markings/sec, 25 secs
lola: 258879 markings, 899201 edges, 5874 markings/sec, 30 secs
lola: 290390 markings, 1023809 edges, 6302 markings/sec, 35 secs
lola: 319367 markings, 1154370 edges, 5795 markings/sec, 40 secs
lola: 349871 markings, 1282105 edges, 6101 markings/sec, 45 secs
lola: 379021 markings, 1407318 edges, 5830 markings/sec, 50 secs
lola: 409777 markings, 1533604 edges, 6151 markings/sec, 55 secs
lola: 452484 markings, 1662391 edges, 8541 markings/sec, 60 secs
lola: 489462 markings, 1788628 edges, 7396 markings/sec, 65 secs
lola: 526059 markings, 1912797 edges, 7319 markings/sec, 70 secs
lola: 564466 markings, 2040273 edges, 7681 markings/sec, 75 secs
lola: 602884 markings, 2169983 edges, 7684 markings/sec, 80 secs
lola: 636134 markings, 2300910 edges, 6650 markings/sec, 85 secs
lola: 664959 markings, 2430530 edges, 5765 markings/sec, 90 secs
lola: 695130 markings, 2556851 edges, 6034 markings/sec, 95 secs
lola: 725414 markings, 2688588 edges, 6057 markings/sec, 100 secs
lola: 756008 markings, 2819441 edges, 6119 markings/sec, 105 secs
lola: 786259 markings, 2950150 edges, 6050 markings/sec, 110 secs
lola: 826133 markings, 3079971 edges, 7975 markings/sec, 115 secs
lola: 866066 markings, 3208514 edges, 7987 markings/sec, 120 secs
lola: 902915 markings, 3336570 edges, 7370 markings/sec, 125 secs
lola: 942401 markings, 3465217 edges, 7897 markings/sec, 130 secs
lola: 981765 markings, 3596216 edges, 7873 markings/sec, 135 secs
lola: 1019703 markings, 3727694 edges, 7588 markings/sec, 140 secs
lola: 1051189 markings, 3857754 edges, 6297 markings/sec, 145 secs
lola: 1082313 markings, 3987447 edges, 6225 markings/sec, 150 secs
lola: 1111772 markings, 4117264 edges, 5892 markings/sec, 155 secs
lola: 1141491 markings, 4247512 edges, 5944 markings/sec, 160 secs
lola: 1172474 markings, 4378958 edges, 6197 markings/sec, 165 secs
lola: 1202805 markings, 4511340 edges, 6066 markings/sec, 170 secs
lola: 1243446 markings, 4641487 edges, 8128 markings/sec, 175 secs
lola: 1279474 markings, 4770431 edges, 7206 markings/sec, 180 secs
lola: 1317736 markings, 4899739 edges, 7652 markings/sec, 185 secs
lola: 1354885 markings, 5030868 edges, 7430 markings/sec, 190 secs
lola: 1382187 markings, 5162254 edges, 5460 markings/sec, 195 secs
lola: 1412371 markings, 5288716 edges, 6037 markings/sec, 200 secs
lola: 1442842 markings, 5421221 edges, 6094 markings/sec, 205 secs
lola: 1484763 markings, 5551179 edges, 8384 markings/sec, 210 secs
lola: 1519370 markings, 5677550 edges, 6921 markings/sec, 215 secs
lola: 1557026 markings, 5805016 edges, 7531 markings/sec, 220 secs
lola: 1591468 markings, 5934575 edges, 6888 markings/sec, 225 secs
lola: 1620381 markings, 6064573 edges, 5783 markings/sec, 230 secs
lola: 1650577 markings, 6186544 edges, 6039 markings/sec, 235 secs
lola: 1679758 markings, 6317136 edges, 5836 markings/sec, 240 secs
lola: 1715684 markings, 6446213 edges, 7185 markings/sec, 245 secs
lola: 1748810 markings, 6574853 edges, 6625 markings/sec, 250 secs
lola: 1779661 markings, 6700462 edges, 6170 markings/sec, 255 secs
lola: 1816167 markings, 6826800 edges, 7301 markings/sec, 260 secs
lola: 1855510 markings, 6951946 edges, 7869 markings/sec, 265 secs
lola: 1896577 markings, 7075006 edges, 8213 markings/sec, 270 secs
lola: 1916536 markings, 7201812 edges, 3992 markings/sec, 275 secs
lola: 1960253 markings, 7325267 edges, 8743 markings/sec, 280 secs
lola: 1971129 markings, 7454133 edges, 2175 markings/sec, 285 secs
lola: 1987672 markings, 7583225 edges, 3309 markings/sec, 290 secs
lola: 2027987 markings, 7712205 edges, 8063 markings/sec, 295 secs
lola: 2071776 markings, 7838526 edges, 8758 markings/sec, 300 secs
lola: 2109531 markings, 7964710 edges, 7551 markings/sec, 305 secs
lola: 2124204 markings, 8094521 edges, 2935 markings/sec, 310 secs
lola: 2146651 markings, 8223952 edges, 4489 markings/sec, 315 secs
lola: 2178559 markings, 8352386 edges, 6382 markings/sec, 320 secs
lola: 2205736 markings, 8480764 edges, 5435 markings/sec, 325 secs
lola: 2213830 markings, 8614056 edges, 1619 markings/sec, 330 secs
lola: 2214197 markings, 8749264 edges, 73 markings/sec, 335 secs
lola: 2242276 markings, 8880363 edges, 5616 markings/sec, 340 secs
lola: 2270507 markings, 9011771 edges, 5646 markings/sec, 345 secs
lola: 2305810 markings, 9141737 edges, 7061 markings/sec, 350 secs
lola: 2338720 markings, 9271824 edges, 6582 markings/sec, 355 secs
lola: 2373602 markings, 9401160 edges, 6976 markings/sec, 360 secs
lola: 2406872 markings, 9531429 edges, 6654 markings/sec, 365 secs
lola: 2440565 markings, 9661587 edges, 6739 markings/sec, 370 secs
lola: 2473146 markings, 9791763 edges, 6516 markings/sec, 375 secs
lola: 2505294 markings, 9922145 edges, 6430 markings/sec, 380 secs
lola: 2538141 markings, 10051940 edges, 6569 markings/sec, 385 secs
lola: 2577402 markings, 10180330 edges, 7852 markings/sec, 390 secs
lola: 2613059 markings, 10308451 edges, 7131 markings/sec, 395 secs
lola: 2644907 markings, 10436993 edges, 6370 markings/sec, 400 secs
lola: 2691313 markings, 10562504 edges, 9281 markings/sec, 405 secs
lola: 2732146 markings, 10689427 edges, 8167 markings/sec, 410 secs
lola: 2774224 markings, 10816845 edges, 8416 markings/sec, 415 secs
lola: 2810667 markings, 10944342 edges, 7289 markings/sec, 420 secs
lola: 2845778 markings, 11071662 edges, 7022 markings/sec, 425 secs
lola: 2895628 markings, 11195220 edges, 9970 markings/sec, 430 secs
lola: 2924353 markings, 11321500 edges, 5745 markings/sec, 435 secs
lola: 2926538 markings, 11452933 edges, 437 markings/sec, 440 secs
lola: 2952783 markings, 11581206 edges, 5249 markings/sec, 445 secs
lola: 2956420 markings, 11713238 edges, 727 markings/sec, 450 secs
lola: 2956456 markings, 11846361 edges, 7 markings/sec, 455 secs
lola: 2986738 markings, 11973257 edges, 6056 markings/sec, 460 secs
lola: 3025587 markings, 12100434 edges, 7770 markings/sec, 465 secs
lola: 3064415 markings, 12228184 edges, 7766 markings/sec, 470 secs
lola: 3117966 markings, 12352615 edges, 10710 markings/sec, 475 secs
lola: 3164414 markings, 12475550 edges, 9290 markings/sec, 480 secs
lola: 3200847 markings, 12600913 edges, 7287 markings/sec, 485 secs
lola: 3222961 markings, 12728746 edges, 4423 markings/sec, 490 secs
lola: 3223864 markings, 12859574 edges, 181 markings/sec, 495 secs
lola: 3224066 markings, 12989870 edges, 40 markings/sec, 500 secs
lola: 3243090 markings, 13118573 edges, 3805 markings/sec, 505 secs
lola: 3280582 markings, 13243840 edges, 7498 markings/sec, 510 secs
lola: 3318774 markings, 13370723 edges, 7638 markings/sec, 515 secs
lola: 3362389 markings, 13495829 edges, 8723 markings/sec, 520 secs
lola: 3402614 markings, 13621051 edges, 8045 markings/sec, 525 secs
lola: 3441138 markings, 13745971 edges, 7705 markings/sec, 530 secs
lola: 3479027 markings, 13871653 edges, 7578 markings/sec, 535 secs
lola: 3509952 markings, 14000730 edges, 6185 markings/sec, 540 secs
lola: 3538185 markings, 14130256 edges, 5647 markings/sec, 545 secs
lola: 3565749 markings, 14259388 edges, 5513 markings/sec, 550 secs
lola: 3575753 markings, 14390628 edges, 2001 markings/sec, 555 secs
lola: 3576392 markings, 14522861 edges, 128 markings/sec, 560 secs
lola: 3576706 markings, 14655121 edges, 63 markings/sec, 565 secs
lola: 3577026 markings, 14787499 edges, 64 markings/sec, 570 secs
lola: 3577262 markings, 14920612 edges, 47 markings/sec, 575 secs
lola: 3601170 markings, 15050441 edges, 4782 markings/sec, 580 secs
lola: 3631321 markings, 15179798 edges, 6030 markings/sec, 585 secs
lola: 3659747 markings, 15308821 edges, 5685 markings/sec, 590 secs
lola: 3685848 markings, 15434063 edges, 5220 markings/sec, 595 secs
lola: 3715260 markings, 15556937 edges, 5882 markings/sec, 600 secs
lola: 3742116 markings, 15677292 edges, 5371 markings/sec, 605 secs
lola: 3770663 markings, 15801249 edges, 5709 markings/sec, 610 secs
lola: 3807008 markings, 15924913 edges, 7269 markings/sec, 615 secs
lola: 3831027 markings, 16050082 edges, 4804 markings/sec, 620 secs
lola: 3853862 markings, 16175702 edges, 4567 markings/sec, 625 secs
lola: 3882996 markings, 16295876 edges, 5827 markings/sec, 630 secs
lola: 3911295 markings, 16421183 edges, 5660 markings/sec, 635 secs
lola: 3947910 markings, 16546420 edges, 7323 markings/sec, 640 secs
lola: 3973775 markings, 16671504 edges, 5173 markings/sec, 645 secs
lola: 3996996 markings, 16792094 edges, 4644 markings/sec, 650 secs
lola: 4029363 markings, 16911354 edges, 6473 markings/sec, 655 secs
lola: 4067843 markings, 17033554 edges, 7696 markings/sec, 660 secs
lola: 4107869 markings, 17152314 edges, 8005 markings/sec, 665 secs
lola: 4141756 markings, 17275573 edges, 6777 markings/sec, 670 secs
lola: 4168009 markings, 17396192 edges, 5251 markings/sec, 675 secs
lola: 4195032 markings, 17520563 edges, 5405 markings/sec, 680 secs
lola: 4230617 markings, 17644965 edges, 7117 markings/sec, 685 secs
lola: 4258459 markings, 17768564 edges, 5568 markings/sec, 690 secs
lola: 4286133 markings, 17893606 edges, 5535 markings/sec, 695 secs
lola: 4313568 markings, 18017236 edges, 5487 markings/sec, 700 secs
lola: 4352142 markings, 18139607 edges, 7715 markings/sec, 705 secs
lola: 4397528 markings, 18260449 edges, 9077 markings/sec, 710 secs
lola: 4430039 markings, 18383582 edges, 6502 markings/sec, 715 secs
lola: 4453516 markings, 18507954 edges, 4695 markings/sec, 720 secs
lola: 4477349 markings, 18633263 edges, 4767 markings/sec, 725 secs
lola: 4502058 markings, 18759945 edges, 4942 markings/sec, 730 secs
lola: 4530914 markings, 18885977 edges, 5771 markings/sec, 735 secs
lola: 4551051 markings, 19011681 edges, 4027 markings/sec, 740 secs
lola: 4575038 markings, 19136235 edges, 4797 markings/sec, 745 secs
lola: 4598243 markings, 19258918 edges, 4641 markings/sec, 750 secs
lola: 4629519 markings, 19377161 edges, 6255 markings/sec, 755 secs
lola: 4659779 markings, 19496316 edges, 6052 markings/sec, 760 secs
lola: 4693301 markings, 19615397 edges, 6704 markings/sec, 765 secs
lola: 4733472 markings, 19733163 edges, 8034 markings/sec, 770 secs
lola: 4764664 markings, 19852562 edges, 6238 markings/sec, 775 secs
lola: 4796010 markings, 19974521 edges, 6269 markings/sec, 780 secs
lola: 4823937 markings, 20093733 edges, 5585 markings/sec, 785 secs
lola: 4854992 markings, 20216422 edges, 6211 markings/sec, 790 secs
lola: 4872907 markings, 20336403 edges, 3583 markings/sec, 795 secs
lola: 4903599 markings, 20457666 edges, 6138 markings/sec, 800 secs
lola: 4931532 markings, 20579243 edges, 5587 markings/sec, 805 secs
lola: 4967432 markings, 20700939 edges, 7180 markings/sec, 810 secs
lola: 4990884 markings, 20823730 edges, 4690 markings/sec, 815 secs
lola: 5012221 markings, 20943947 edges, 4267 markings/sec, 820 secs
lola: 5039427 markings, 21058145 edges, 5441 markings/sec, 825 secs
lola: 5066557 markings, 21178899 edges, 5426 markings/sec, 830 secs
lola: 5101195 markings, 21300517 edges, 6928 markings/sec, 835 secs
lola: 5127863 markings, 21419014 edges, 5334 markings/sec, 840 secs
lola: 5155058 markings, 21541008 edges, 5439 markings/sec, 845 secs
lola: 5178612 markings, 21662252 edges, 4711 markings/sec, 850 secs
lola: 5204581 markings, 21784262 edges, 5194 markings/sec, 855 secs
lola: 5237779 markings, 21904837 edges, 6640 markings/sec, 860 secs
lola: 5267832 markings, 22024328 edges, 6011 markings/sec, 865 secs
lola: 5295512 markings, 22144227 edges, 5536 markings/sec, 870 secs
lola: 5316059 markings, 22261690 edges, 4109 markings/sec, 875 secs
lola: 5349563 markings, 22377207 edges, 6701 markings/sec, 880 secs
lola: 5393668 markings, 22494054 edges, 8821 markings/sec, 885 secs
lola: 5426899 markings, 22612920 edges, 6646 markings/sec, 890 secs
lola: 5454699 markings, 22732665 edges, 5560 markings/sec, 895 secs
lola: 5479944 markings, 22854514 edges, 5049 markings/sec, 900 secs
lola: 5500851 markings, 22974494 edges, 4181 markings/sec, 905 secs
lola: 5527261 markings, 23094420 edges, 5282 markings/sec, 910 secs
lola: 5553548 markings, 23214908 edges, 5257 markings/sec, 915 secs
lola: 5573098 markings, 23337772 edges, 3910 markings/sec, 920 secs
lola: 5592018 markings, 23457831 edges, 3784 markings/sec, 925 secs
lola: 5615705 markings, 23581485 edges, 4737 markings/sec, 930 secs
lola: 5638657 markings, 23705726 edges, 4590 markings/sec, 935 secs
lola: 5663764 markings, 23834433 edges, 5021 markings/sec, 940 secs
lola: 5692628 markings, 23957688 edges, 5773 markings/sec, 945 secs
lola: 5712458 markings, 24083355 edges, 3966 markings/sec, 950 secs
lola: 5735833 markings, 24212170 edges, 4675 markings/sec, 955 secs
lola: 5759806 markings, 24343100 edges, 4795 markings/sec, 960 secs
lola: 5786886 markings, 24471995 edges, 5416 markings/sec, 965 secs
lola: 5822908 markings, 24600784 edges, 7204 markings/sec, 970 secs
lola: 5851742 markings, 24725669 edges, 5767 markings/sec, 975 secs
lola: 5880548 markings, 24855345 edges, 5761 markings/sec, 980 secs
lola: 5906664 markings, 24982709 edges, 5223 markings/sec, 985 secs
lola: 5933573 markings, 25112194 edges, 5382 markings/sec, 990 secs
lola: 5969686 markings, 25239165 edges, 7223 markings/sec, 995 secs
lola: 5999015 markings, 25368908 edges, 5866 markings/sec, 1000 secs
lola: 6026941 markings, 25499994 edges, 5585 markings/sec, 1005 secs
lola: 6053756 markings, 25631955 edges, 5363 markings/sec, 1010 secs
lola: 6083706 markings, 25763352 edges, 5990 markings/sec, 1015 secs
lola: 6120606 markings, 25890876 edges, 7380 markings/sec, 1020 secs
lola: 6147859 markings, 26019795 edges, 5451 markings/sec, 1025 secs
lola: 6172072 markings, 26151361 edges, 4843 markings/sec, 1030 secs
lola: 6203404 markings, 26282005 edges, 6266 markings/sec, 1035 secs
lola: 6233913 markings, 26413091 edges, 6102 markings/sec, 1040 secs
lola: 6269862 markings, 26536855 edges, 7190 markings/sec, 1045 secs
lola: 6295863 markings, 26666593 edges, 5200 markings/sec, 1050 secs
lola: 6319682 markings, 26797419 edges, 4764 markings/sec, 1055 secs
lola: 6345285 markings, 26921855 edges, 5121 markings/sec, 1060 secs
lola: 6367466 markings, 27047246 edges, 4436 markings/sec, 1065 secs
lola: 6395382 markings, 27174371 edges, 5583 markings/sec, 1070 secs
lola: 6423064 markings, 27301183 edges, 5536 markings/sec, 1075 secs
lola: 6443516 markings, 27428039 edges, 4090 markings/sec, 1080 secs
lola: 6462449 markings, 27556271 edges, 3787 markings/sec, 1085 secs
lola: 6490527 markings, 27682385 edges, 5616 markings/sec, 1090 secs
lola: 6519637 markings, 27811810 edges, 5822 markings/sec, 1095 secs
lola: 6557252 markings, 27940516 edges, 7523 markings/sec, 1100 secs
lola: 6584431 markings, 28070737 edges, 5436 markings/sec, 1105 secs
lola: 6608226 markings, 28202011 edges, 4759 markings/sec, 1110 secs
lola: 6640223 markings, 28332093 edges, 6399 markings/sec, 1115 secs
lola: 6670433 markings, 28462474 edges, 6042 markings/sec, 1120 secs
lola: 6708173 markings, 28590740 edges, 7548 markings/sec, 1125 secs
lola: 6733016 markings, 28721354 edges, 4969 markings/sec, 1130 secs
lola: 6757242 markings, 28852707 edges, 4845 markings/sec, 1135 secs
lola: 6792117 markings, 28980892 edges, 6975 markings/sec, 1140 secs
lola: 6826692 markings, 29106114 edges, 6915 markings/sec, 1145 secs
lola: 6854383 markings, 29228425 edges, 5538 markings/sec, 1150 secs
lola: 6887954 markings, 29354816 edges, 6714 markings/sec, 1155 secs
lola: 6916535 markings, 29482269 edges, 5716 markings/sec, 1160 secs
lola: 6945063 markings, 29609653 edges, 5706 markings/sec, 1165 secs
lola: 6969916 markings, 29737116 edges, 4971 markings/sec, 1170 secs
lola: 6999110 markings, 29863861 edges, 5839 markings/sec, 1175 secs
lola: 7025388 markings, 29989519 edges, 5256 markings/sec, 1180 secs
lola: 7051713 markings, 30118002 edges, 5265 markings/sec, 1185 secs
lola: 7086089 markings, 30246225 edges, 6875 markings/sec, 1190 secs
lola: 7113539 markings, 30375503 edges, 5490 markings/sec, 1195 secs
lola: 7147821 markings, 30503807 edges, 6856 markings/sec, 1200 secs
lola: 7180715 markings, 30632182 edges, 6579 markings/sec, 1205 secs
lola: 7209004 markings, 30761043 edges, 5658 markings/sec, 1210 secs
lola: 7237309 markings, 30889388 edges, 5661 markings/sec, 1215 secs
lola: 7268439 markings, 31016614 edges, 6226 markings/sec, 1220 secs
lola: 7296145 markings, 31144094 edges, 5541 markings/sec, 1225 secs
lola: 7326668 markings, 31269069 edges, 6105 markings/sec, 1230 secs
lola: 7355132 markings, 31394163 edges, 5693 markings/sec, 1235 secs
lola: 7378121 markings, 31522360 edges, 4598 markings/sec, 1240 secs
lola: 7402167 markings, 31650354 edges, 4809 markings/sec, 1245 secs
lola: 7432055 markings, 31776780 edges, 5978 markings/sec, 1250 secs
lola: 7461980 markings, 31903995 edges, 5985 markings/sec, 1255 secs
lola: 7491387 markings, 32031894 edges, 5881 markings/sec, 1260 secs
lola: 7518037 markings, 32160101 edges, 5330 markings/sec, 1265 secs
lola: 7544965 markings, 32287826 edges, 5386 markings/sec, 1270 secs
lola: 7570490 markings, 32414122 edges, 5105 markings/sec, 1275 secs
lola: 7597389 markings, 32543983 edges, 5380 markings/sec, 1280 secs
lola: 7627942 markings, 32673139 edges, 6111 markings/sec, 1285 secs
lola: 7659456 markings, 32798008 edges, 6303 markings/sec, 1290 secs
lola: 7687972 markings, 32924707 edges, 5703 markings/sec, 1295 secs
lola: 7718308 markings, 33054802 edges, 6067 markings/sec, 1300 secs
lola: 7747851 markings, 33184282 edges, 5909 markings/sec, 1305 secs
lola: 7772557 markings, 33314746 edges, 4941 markings/sec, 1310 secs
lola: 7800768 markings, 33445363 edges, 5642 markings/sec, 1315 secs
lola: 7827262 markings, 33575739 edges, 5299 markings/sec, 1320 secs
lola: 7856133 markings, 33705023 edges, 5774 markings/sec, 1325 secs
lola: 7886848 markings, 33831907 edges, 6143 markings/sec, 1330 secs
lola: 7916502 markings, 33960627 edges, 5931 markings/sec, 1335 secs
lola: 7948979 markings, 34089040 edges, 6495 markings/sec, 1340 secs
lola: 7979027 markings, 34217603 edges, 6010 markings/sec, 1345 secs
lola: 8009199 markings, 34346147 edges, 6034 markings/sec, 1350 secs
lola: 8039046 markings, 34476857 edges, 5969 markings/sec, 1355 secs
lola: 8069991 markings, 34609312 edges, 6189 markings/sec, 1360 secs
lola: 8099589 markings, 34741383 edges, 5920 markings/sec, 1365 secs
lola: 8128927 markings, 34871699 edges, 5868 markings/sec, 1370 secs
lola: 8161686 markings, 35002440 edges, 6552 markings/sec, 1375 secs
lola: 8185477 markings, 35133362 edges, 4758 markings/sec, 1380 secs
lola: 8209411 markings, 35261432 edges, 4787 markings/sec, 1385 secs
lola: 8237648 markings, 35390396 edges, 5647 markings/sec, 1390 secs
lola: 8267856 markings, 35521810 edges, 6042 markings/sec, 1395 secs
lola: 8296449 markings, 35651070 edges, 5719 markings/sec, 1400 secs
lola: 8320421 markings, 35780571 edges, 4794 markings/sec, 1405 secs
lola: 8347794 markings, 35909733 edges, 5475 markings/sec, 1410 secs
lola: 8376081 markings, 36041103 edges, 5657 markings/sec, 1415 secs
lola: 8406643 markings, 36166244 edges, 6112 markings/sec, 1420 secs
lola: 8434271 markings, 36286241 edges, 5526 markings/sec, 1425 secs
lola: 8462151 markings, 36408953 edges, 5576 markings/sec, 1430 secs
lola: 8490908 markings, 36529587 edges, 5751 markings/sec, 1435 secs
lola: 8522357 markings, 36655371 edges, 6290 markings/sec, 1440 secs
lola: 8549771 markings, 36778580 edges, 5483 markings/sec, 1445 secs
lola: 8584094 markings, 36904091 edges, 6865 markings/sec, 1450 secs
lola: 8608358 markings, 37028636 edges, 4853 markings/sec, 1455 secs
lola: 8640109 markings, 37158131 edges, 6350 markings/sec, 1460 secs
lola: 8673640 markings, 37288800 edges, 6706 markings/sec, 1465 secs
lola: 8701462 markings, 37417876 edges, 5564 markings/sec, 1470 secs
lola: 8730220 markings, 37546329 edges, 5752 markings/sec, 1475 secs
lola: 8761870 markings, 37672875 edges, 6330 markings/sec, 1480 secs
lola: 8791160 markings, 37803711 edges, 5858 markings/sec, 1485 secs
lola: 8825532 markings, 37933152 edges, 6874 markings/sec, 1490 secs
lola: 8858501 markings, 38062222 edges, 6594 markings/sec, 1495 secs
lola: 8887683 markings, 38193250 edges, 5836 markings/sec, 1500 secs
lola: 8926971 markings, 38321296 edges, 7858 markings/sec, 1505 secs
lola: 8964688 markings, 38448631 edges, 7543 markings/sec, 1510 secs
lola: 9004642 markings, 38576467 edges, 7991 markings/sec, 1515 secs
lola: 9037376 markings, 38703325 edges, 6547 markings/sec, 1520 secs
lola: 9066768 markings, 38830907 edges, 5878 markings/sec, 1525 secs
lola: 9072698 markings, 38963469 edges, 1186 markings/sec, 1530 secs
lola: 9099185 markings, 39091859 edges, 5297 markings/sec, 1535 secs
lola: 9138581 markings, 39219725 edges, 7879 markings/sec, 1540 secs
lola: 9179216 markings, 39347294 edges, 8127 markings/sec, 1545 secs
lola: 9229796 markings, 39472661 edges, 10116 markings/sec, 1550 secs
lola: 9248504 markings, 39603049 edges, 3742 markings/sec, 1555 secs
lola: 9259101 markings, 39735068 edges, 2119 markings/sec, 1560 secs
lola: 9289296 markings, 39864799 edges, 6039 markings/sec, 1565 secs
lola: 9316660 markings, 39995604 edges, 5473 markings/sec, 1570 secs
lola: 9326628 markings, 40128238 edges, 1994 markings/sec, 1575 secs
lola: 9326869 markings, 40261151 edges, 48 markings/sec, 1580 secs
lola: 9351224 markings, 40387904 edges, 4871 markings/sec, 1585 secs
lola: 9383414 markings, 40514756 edges, 6438 markings/sec, 1590 secs
lola: 9412797 markings, 40642070 edges, 5877 markings/sec, 1595 secs
lola: 9442395 markings, 40768615 edges, 5920 markings/sec, 1600 secs
lola: 9476714 markings, 40893241 edges, 6864 markings/sec, 1605 secs
lola: 9509365 markings, 41019328 edges, 6530 markings/sec, 1610 secs
lola: 9542301 markings, 41145765 edges, 6587 markings/sec, 1615 secs
lola: 9572861 markings, 41273570 edges, 6112 markings/sec, 1620 secs
lola: 9595425 markings, 41400262 edges, 4513 markings/sec, 1625 secs
lola: 9630129 markings, 41524420 edges, 6941 markings/sec, 1630 secs
lola: 9663649 markings, 41649762 edges, 6704 markings/sec, 1635 secs
lola: 9688968 markings, 41776004 edges, 5064 markings/sec, 1640 secs
lola: 9719442 markings, 41901891 edges, 6095 markings/sec, 1645 secs
lola: 9749253 markings, 42027215 edges, 5962 markings/sec, 1650 secs
lola: 9775675 markings, 42152589 edges, 5284 markings/sec, 1655 secs
lola: 9805308 markings, 42278629 edges, 5927 markings/sec, 1660 secs
lola: 9841638 markings, 42401320 edges, 7266 markings/sec, 1665 secs
lola: 9870049 markings, 42525904 edges, 5682 markings/sec, 1670 secs
lola: 9889893 markings, 42651904 edges, 3969 markings/sec, 1675 secs
lola: 9916803 markings, 42776688 edges, 5382 markings/sec, 1680 secs
lola: 9936974 markings, 42901895 edges, 4034 markings/sec, 1685 secs
lola: 9968883 markings, 43024957 edges, 6382 markings/sec, 1690 secs
lola: 9996766 markings, 43147383 edges, 5577 markings/sec, 1695 secs
lola: 10021963 markings, 43271813 edges, 5039 markings/sec, 1700 secs
lola: 10053764 markings, 43393914 edges, 6360 markings/sec, 1705 secs
lola: 10081240 markings, 43515971 edges, 5495 markings/sec, 1710 secs
lola: 10105582 markings, 43640227 edges, 4868 markings/sec, 1715 secs
lola: 10130549 markings, 43762323 edges, 4993 markings/sec, 1720 secs
lola: 10153647 markings, 43885559 edges, 4620 markings/sec, 1725 secs
lola: 10182253 markings, 44005652 edges, 5721 markings/sec, 1730 secs
lola: 10211255 markings, 44127594 edges, 5800 markings/sec, 1735 secs
lola: 10242616 markings, 44251728 edges, 6272 markings/sec, 1740 secs
lola: 10280953 markings, 44380709 edges, 7667 markings/sec, 1745 secs
lola: 10313892 markings, 44511023 edges, 6588 markings/sec, 1750 secs
lola: 10343286 markings, 44642577 edges, 5879 markings/sec, 1755 secs
lola: 10373290 markings, 44774105 edges, 6001 markings/sec, 1760 secs
lola: 10404649 markings, 44901640 edges, 6272 markings/sec, 1765 secs
lola: 10439219 markings, 45031287 edges, 6914 markings/sec, 1770 secs
lola: 10472751 markings, 45159828 edges, 6706 markings/sec, 1775 secs
lola: 10507626 markings, 45284600 edges, 6975 markings/sec, 1780 secs
lola: 10542468 markings, 45410495 edges, 6968 markings/sec, 1785 secs
lola: 10574064 markings, 45538598 edges, 6319 markings/sec, 1790 secs
lola: 10602796 markings, 45666621 edges, 5746 markings/sec, 1795 secs
lola: 10630832 markings, 45795163 edges, 5607 markings/sec, 1800 secs
lola: 10661929 markings, 45923707 edges, 6219 markings/sec, 1805 secs
lola: 10687623 markings, 46052067 edges, 5139 markings/sec, 1810 secs
lola: 10714495 markings, 46180309 edges, 5374 markings/sec, 1815 secs
lola: 10741953 markings, 46309579 edges, 5492 markings/sec, 1820 secs
lola: 10778131 markings, 46438142 edges, 7236 markings/sec, 1825 secs
lola: 10808078 markings, 46564409 edges, 5989 markings/sec, 1830 secs
lola: 10836663 markings, 46689509 edges, 5717 markings/sec, 1835 secs
lola: 10863126 markings, 46814077 edges, 5293 markings/sec, 1840 secs
lola: 10889206 markings, 46938634 edges, 5216 markings/sec, 1845 secs
lola: 10916235 markings, 47069016 edges, 5406 markings/sec, 1850 secs
lola: 10942848 markings, 47199204 edges, 5323 markings/sec, 1855 secs
lola: 10977339 markings, 47328088 edges, 6898 markings/sec, 1860 secs
lola: 11007804 markings, 47457328 edges, 6093 markings/sec, 1865 secs
lola: 11039222 markings, 47587648 edges, 6284 markings/sec, 1870 secs
lola: 11057706 markings, 47717399 edges, 3697 markings/sec, 1875 secs
lola: 11073716 markings, 47848728 edges, 3202 markings/sec, 1880 secs
lola: 11090351 markings, 47980155 edges, 3327 markings/sec, 1885 secs
lola: 11118651 markings, 48108386 edges, 5660 markings/sec, 1890 secs
lola: 11151169 markings, 48232545 edges, 6504 markings/sec, 1895 secs
lola: 11176502 markings, 48358703 edges, 5067 markings/sec, 1900 secs
lola: 11211858 markings, 48481209 edges, 7071 markings/sec, 1905 secs
lola: 11239600 markings, 48603811 edges, 5548 markings/sec, 1910 secs
lola: 11266075 markings, 48728897 edges, 5295 markings/sec, 1915 secs
lola: 11297039 markings, 48849217 edges, 6193 markings/sec, 1920 secs
lola: 11320654 markings, 48972637 edges, 4723 markings/sec, 1925 secs
lola: 11349961 markings, 49096128 edges, 5861 markings/sec, 1930 secs
lola: 11381048 markings, 49218108 edges, 6217 markings/sec, 1935 secs
lola: 11402967 markings, 49342743 edges, 4384 markings/sec, 1940 secs
lola: 11426751 markings, 49472379 edges, 4757 markings/sec, 1945 secs
lola: 11458518 markings, 49603436 edges, 6353 markings/sec, 1950 secs
lola: 11485322 markings, 49735416 edges, 5361 markings/sec, 1955 secs
lola: 11513122 markings, 49867056 edges, 5560 markings/sec, 1960 secs
lola: 11540748 markings, 49998093 edges, 5525 markings/sec, 1965 secs
lola: 11567680 markings, 50130155 edges, 5386 markings/sec, 1970 secs
lola: 11599655 markings, 50261027 edges, 6395 markings/sec, 1975 secs
lola: 11642331 markings, 50389297 edges, 8535 markings/sec, 1980 secs
lola: 11673255 markings, 50518306 edges, 6185 markings/sec, 1985 secs
lola: 11702290 markings, 50650251 edges, 5807 markings/sec, 1990 secs
lola: 11729355 markings, 50781454 edges, 5413 markings/sec, 1995 secs
lola: 11755940 markings, 50910448 edges, 5317 markings/sec, 2000 secs
lola: 11804504 markings, 51036827 edges, 9713 markings/sec, 2005 secs
lola: 11822386 markings, 51167554 edges, 3576 markings/sec, 2010 secs
lola: 11831205 markings, 51300598 edges, 1764 markings/sec, 2015 secs
lola: 11865647 markings, 51429376 edges, 6888 markings/sec, 2020 secs
lola: 11893155 markings, 51559364 edges, 5502 markings/sec, 2025 secs
lola: 11916866 markings, 51689324 edges, 4742 markings/sec, 2030 secs
lola: 11917428 markings, 51823873 edges, 112 markings/sec, 2035 secs
lola: 11925809 markings, 51957265 edges, 1676 markings/sec, 2040 secs
lola: 11954774 markings, 52085075 edges, 5793 markings/sec, 2045 secs
lola: 11982438 markings, 52212608 edges, 5533 markings/sec, 2050 secs
lola: 12013709 markings, 52338216 edges, 6254 markings/sec, 2055 secs
lola: 12042779 markings, 52464323 edges, 5814 markings/sec, 2060 secs
lola: 12071172 markings, 52589937 edges, 5679 markings/sec, 2065 secs
lola: 12100350 markings, 52713116 edges, 5836 markings/sec, 2070 secs
lola: 12128883 markings, 52840542 edges, 5707 markings/sec, 2075 secs
lola: 12157841 markings, 52967453 edges, 5792 markings/sec, 2080 secs
lola: 12188812 markings, 53094569 edges, 6194 markings/sec, 2085 secs
lola: 12216928 markings, 53220981 edges, 5623 markings/sec, 2090 secs
lola: 12247052 markings, 53340049 edges, 6025 markings/sec, 2095 secs
lola: 12275080 markings, 53466500 edges, 5606 markings/sec, 2100 secs
lola: 12305637 markings, 53593248 edges, 6111 markings/sec, 2105 secs
lola: 12334972 markings, 53718683 edges, 5867 markings/sec, 2110 secs
lola: 12362988 markings, 53845407 edges, 5603 markings/sec, 2115 secs
lola: 12395454 markings, 53972149 edges, 6493 markings/sec, 2120 secs
lola: 12423239 markings, 54098343 edges, 5557 markings/sec, 2125 secs
lola: 12452554 markings, 54220262 edges, 5863 markings/sec, 2130 secs
lola: 12481606 markings, 54347566 edges, 5810 markings/sec, 2135 secs
lola: 12510827 markings, 54474756 edges, 5844 markings/sec, 2140 secs
lola: 12541407 markings, 54599714 edges, 6116 markings/sec, 2145 secs
lola: 12570990 markings, 54727558 edges, 5917 markings/sec, 2150 secs
lola: 12602200 markings, 54854357 edges, 6242 markings/sec, 2155 secs
lola: 12630220 markings, 54978976 edges, 5604 markings/sec, 2160 secs
lola: 12658619 markings, 55101013 edges, 5680 markings/sec, 2165 secs
lola: 12687749 markings, 55227377 edges, 5826 markings/sec, 2170 secs
lola: 12717334 markings, 55353739 edges, 5917 markings/sec, 2175 secs
lola: 12747034 markings, 55478973 edges, 5940 markings/sec, 2180 secs
lola: 12775764 markings, 55608849 edges, 5746 markings/sec, 2185 secs
lola: 12809988 markings, 55740438 edges, 6845 markings/sec, 2190 secs
lola: 12844983 markings, 55869877 edges, 6999 markings/sec, 2195 secs
lola: 12874946 markings, 55998711 edges, 5993 markings/sec, 2200 secs
lola: 12904213 markings, 56127913 edges, 5853 markings/sec, 2205 secs
lola: 12933664 markings, 56256569 edges, 5890 markings/sec, 2210 secs
lola: 12964774 markings, 56385817 edges, 6222 markings/sec, 2215 secs
lola: 12994133 markings, 56516277 edges, 5872 markings/sec, 2220 secs
lola: 13024467 markings, 56647785 edges, 6067 markings/sec, 2225 secs
lola: 13057051 markings, 56777011 edges, 6517 markings/sec, 2230 secs
lola: 13092033 markings, 56906466 edges, 6996 markings/sec, 2235 secs
lola: 13115415 markings, 57037062 edges, 4676 markings/sec, 2240 secs
lola: 13147667 markings, 57166760 edges, 6450 markings/sec, 2245 secs
lola: 13175242 markings, 57294801 edges, 5515 markings/sec, 2250 secs
lola: 13204293 markings, 57418561 edges, 5810 markings/sec, 2255 secs
lola: 13236076 markings, 57544662 edges, 6357 markings/sec, 2260 secs
lola: 13264646 markings, 57675155 edges, 5714 markings/sec, 2265 secs
lola: 13290997 markings, 57804720 edges, 5270 markings/sec, 2270 secs
lola: 13323318 markings, 57931900 edges, 6464 markings/sec, 2275 secs
lola: 13358810 markings, 58062817 edges, 7098 markings/sec, 2280 secs
lola: 13389722 markings, 58192102 edges, 6182 markings/sec, 2285 secs
lola: 13420319 markings, 58321224 edges, 6119 markings/sec, 2290 secs
lola: 13449970 markings, 58450291 edges, 5930 markings/sec, 2295 secs
lola: 13479610 markings, 58579683 edges, 5928 markings/sec, 2300 secs
lola: 13510470 markings, 58709410 edges, 6172 markings/sec, 2305 secs
lola: 13540250 markings, 58840156 edges, 5956 markings/sec, 2310 secs
lola: 13573323 markings, 58970224 edges, 6615 markings/sec, 2315 secs
lola: 13605024 markings, 59100230 edges, 6340 markings/sec, 2320 secs
lola: 13636021 markings, 59229915 edges, 6199 markings/sec, 2325 secs
lola: 13664951 markings, 59360275 edges, 5786 markings/sec, 2330 secs
lola: 13690853 markings, 59490176 edges, 5180 markings/sec, 2335 secs
lola: 13720861 markings, 59615624 edges, 6002 markings/sec, 2340 secs
lola: 13751175 markings, 59740477 edges, 6063 markings/sec, 2345 secs
lola: 13782151 markings, 59870616 edges, 6195 markings/sec, 2350 secs
lola: 13807320 markings, 60001413 edges, 5034 markings/sec, 2355 secs
lola: 13837268 markings, 60127432 edges, 5990 markings/sec, 2360 secs
lola: 13883023 markings, 60254929 edges, 9151 markings/sec, 2365 secs
lola: 13917412 markings, 60384223 edges, 6878 markings/sec, 2370 secs
lola: 13960693 markings, 60513377 edges, 8656 markings/sec, 2375 secs
lola: 13999297 markings, 60643819 edges, 7721 markings/sec, 2380 secs
lola: 14036737 markings, 60774038 edges, 7488 markings/sec, 2385 secs
lola: 14077461 markings, 60900503 edges, 8145 markings/sec, 2390 secs
lola: 14119228 markings, 61028735 edges, 8353 markings/sec, 2395 secs
lola: 14148642 markings, 61159196 edges, 5883 markings/sec, 2400 secs
lola: 14178762 markings, 61289481 edges, 6024 markings/sec, 2405 secs
lola: 14209820 markings, 61419813 edges, 6212 markings/sec, 2410 secs
lola: 14241746 markings, 61550531 edges, 6385 markings/sec, 2415 secs
lola: 14274260 markings, 61682371 edges, 6503 markings/sec, 2420 secs
lola: 14303575 markings, 61814202 edges, 5863 markings/sec, 2425 secs
lola: 14332216 markings, 61944805 edges, 5728 markings/sec, 2430 secs
lola: 14362964 markings, 62072171 edges, 6150 markings/sec, 2435 secs
lola: 14395384 markings, 62202004 edges, 6484 markings/sec, 2440 secs
lola: 14429493 markings, 62331260 edges, 6822 markings/sec, 2445 secs
lola: 14468359 markings, 62458782 edges, 7773 markings/sec, 2450 secs
lola: 14509293 markings, 62586065 edges, 8187 markings/sec, 2455 secs
lola: 14551343 markings, 62713968 edges, 8410 markings/sec, 2460 secs
lola: 14588170 markings, 62842694 edges, 7365 markings/sec, 2465 secs
lola: 14625356 markings, 62969727 edges, 7437 markings/sec, 2470 secs
lola: 14666360 markings, 63095816 edges, 8201 markings/sec, 2475 secs
lola: 14699304 markings, 63223998 edges, 6589 markings/sec, 2480 secs
lola: 14732463 markings, 63352027 edges, 6632 markings/sec, 2485 secs
lola: 14758794 markings, 63481792 edges, 5266 markings/sec, 2490 secs
lola: 14789672 markings, 63611426 edges, 6176 markings/sec, 2495 secs
lola: 14823887 markings, 63740875 edges, 6843 markings/sec, 2500 secs
lola: 14850573 markings, 63871545 edges, 5337 markings/sec, 2505 secs
lola: 14880623 markings, 64001767 edges, 6010 markings/sec, 2510 secs
lola: 14911087 markings, 64128503 edges, 6093 markings/sec, 2515 secs
lola: 14943247 markings, 64256438 edges, 6432 markings/sec, 2520 secs
lola: 14973582 markings, 64386098 edges, 6067 markings/sec, 2525 secs
lola: 15013422 markings, 64514175 edges, 7968 markings/sec, 2530 secs
lola: 15052151 markings, 64644046 edges, 7746 markings/sec, 2535 secs
lola: 15083836 markings, 64773152 edges, 6337 markings/sec, 2540 secs
lola: 15113350 markings, 64904237 edges, 5903 markings/sec, 2545 secs
lola: 15155007 markings, 65033082 edges, 8331 markings/sec, 2550 secs
lola: 15190801 markings, 65162590 edges, 7159 markings/sec, 2555 secs
lola: 15226602 markings, 65292045 edges, 7160 markings/sec, 2560 secs
lola: 15256040 markings, 65421852 edges, 5888 markings/sec, 2565 secs
lola: 15289096 markings, 65552862 edges, 6611 markings/sec, 2570 secs
lola: 15329319 markings, 65678772 edges, 8045 markings/sec, 2575 secs
lola: 15367419 markings, 65805456 edges, 7620 markings/sec, 2580 secs
lola: 15405234 markings, 65930815 edges, 7563 markings/sec, 2585 secs
lola: 15442276 markings, 66056417 edges, 7408 markings/sec, 2590 secs
lola: 15479882 markings, 66180232 edges, 7521 markings/sec, 2595 secs
lola: 15512187 markings, 66306532 edges, 6461 markings/sec, 2600 secs
lola: 15544167 markings, 66429588 edges, 6396 markings/sec, 2605 secs
lola: 15571084 markings, 66557508 edges, 5383 markings/sec, 2610 secs
lola: 15600055 markings, 66684840 edges, 5794 markings/sec, 2615 secs
lola: 15633123 markings, 66811756 edges, 6614 markings/sec, 2620 secs
lola: 15659237 markings, 66939266 edges, 5223 markings/sec, 2625 secs
lola: 15693726 markings, 67067126 edges, 6898 markings/sec, 2630 secs
lola: 15733428 markings, 67191610 edges, 7940 markings/sec, 2635 secs
lola: 15769650 markings, 67315735 edges, 7244 markings/sec, 2640 secs
lola: 15806665 markings, 67441864 edges, 7403 markings/sec, 2645 secs
lola: 15844326 markings, 67567395 edges, 7532 markings/sec, 2650 secs
lola: 15882739 markings, 67695155 edges, 7683 markings/sec, 2655 secs
lola: 15913722 markings, 67821615 edges, 6197 markings/sec, 2660 secs
lola: 15945624 markings, 67947809 edges, 6380 markings/sec, 2665 secs
lola: 15972801 markings, 68074923 edges, 5435 markings/sec, 2670 secs
lola: 16001988 markings, 68202205 edges, 5837 markings/sec, 2675 secs
lola: 16036096 markings, 68328278 edges, 6822 markings/sec, 2680 secs
lola: 16061486 markings, 68456968 edges, 5078 markings/sec, 2685 secs
lola: 16097006 markings, 68583989 edges, 7104 markings/sec, 2690 secs
lola: 16137388 markings, 68708345 edges, 8076 markings/sec, 2695 secs
lola: 16172670 markings, 68833513 edges, 7056 markings/sec, 2700 secs
lola: 16211078 markings, 68958385 edges, 7682 markings/sec, 2705 secs
lola: 16248098 markings, 69082426 edges, 7404 markings/sec, 2710 secs
lola: 16285293 markings, 69208589 edges, 7439 markings/sec, 2715 secs
lola: 16313860 markings, 69333370 edges, 5713 markings/sec, 2720 secs
lola: 16342961 markings, 69458463 edges, 5820 markings/sec, 2725 secs
lola: 16372539 markings, 69581451 edges, 5916 markings/sec, 2730 secs
lola: 16401224 markings, 69706603 edges, 5737 markings/sec, 2735 secs
lola: 16433412 markings, 69830357 edges, 6438 markings/sec, 2740 secs
lola: 16459392 markings, 69955827 edges, 5196 markings/sec, 2745 secs
lola: 16498350 markings, 70082939 edges, 7792 markings/sec, 2750 secs
lola: 16533348 markings, 70210419 edges, 7000 markings/sec, 2755 secs
lola: 16569740 markings, 70334462 edges, 7278 markings/sec, 2760 secs
lola: 16595347 markings, 70463198 edges, 5121 markings/sec, 2765 secs
lola: 16632399 markings, 70590127 edges, 7410 markings/sec, 2770 secs
lola: 16667233 markings, 70714238 edges, 6967 markings/sec, 2775 secs
lola: 16704439 markings, 70840847 edges, 7441 markings/sec, 2780 secs
lola: 16730483 markings, 70969641 edges, 5209 markings/sec, 2785 secs
lola: 16764582 markings, 71097460 edges, 6820 markings/sec, 2790 secs
lola: 16798735 markings, 71224485 edges, 6831 markings/sec, 2795 secs
lola: 16826815 markings, 71351242 edges, 5616 markings/sec, 2800 secs
lola: 16882181 markings, 71472421 edges, 11073 markings/sec, 2805 secs
lola: 16917583 markings, 71597902 edges, 7080 markings/sec, 2810 secs
lola: 16945310 markings, 71725250 edges, 5545 markings/sec, 2815 secs
lola: 16971532 markings, 71852495 edges, 5244 markings/sec, 2820 secs
lola: 16999923 markings, 71978470 edges, 5678 markings/sec, 2825 secs
lola: 17054669 markings, 72098136 edges, 10949 markings/sec, 2830 secs
lola: 17068670 markings, 72224477 edges, 2800 markings/sec, 2835 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no no no yes no yes yes no yes unknown yes yes yes
lola:
preliminary result: yes no yes no no no yes no yes yes no yes unknown yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no yes no yes yes no yes unknown yes yes yes
lola: memory consumption: 4326720 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589864366050
--------------------
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="CloudReconfiguration-PT-402"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
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 win2019"
echo " Input is CloudReconfiguration-PT-402, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-ebro-158902579500043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-402.tgz
mv CloudReconfiguration-PT-402 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;