About the Execution of ITS-LoLa for FlexibleBarrier-PT-14a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15793.260 | 3600000.00 | 3621636.00 | 41039.50 | ?TFFTTFF??FFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815700339.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is FlexibleBarrier-PT-14a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815700339
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 3 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 169K 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 FlexibleBarrier-PT-14a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591370063369
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 15:14:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 15:14:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 15:14:25] [INFO ] Load time of PNML (sax parser for PT used): 154 ms
[2020-06-05 15:14:25] [INFO ] Transformed 171 places.
[2020-06-05 15:14:25] [INFO ] Transformed 578 transitions.
[2020-06-05 15:14:25] [INFO ] Found NUPN structural information;
[2020-06-05 15:14:25] [INFO ] Parsed PT model containing 171 places and 578 transitions in 218 ms.
Ensure Unique test removed 170 transitions
Reduce redundant transitions removed 170 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 35 ms.
Finished random walk after 3326 steps, including 0 resets, run visited all 21 properties in 54 ms. (steps per millisecond=61 )
[2020-06-05 15:14:26] [INFO ] Initial state reduction rules for CTL removed 8 formulas.
[2020-06-05 15:14:26] [INFO ] Flatten gal took : 93 ms
[2020-06-05 15:14:26] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-05 15:14:26] [INFO ] Flatten gal took : 43 ms
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 15:14:26] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 4 ms.
[2020-06-05 15:14:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ FlexibleBarrier-PT-14a @ 3570 seconds
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-14a-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ FlexibleBarrier-PT-14a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 15:14:27 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 2,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((p150 <= 0)) OR ((1 <= p84)) OR (((1 <= p54)) AND ((p109 <= 0))))",
"processed_size": 67,
"rewrites": 19
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((((1 <= p130)) AND ((p150 <= 0)))))",
"processed_size": 41,
"rewrites": 18
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p52)) AND ((p145 <= 0)))))",
"processed_size": 40,
"rewrites": 17
},
"result":
{
"edges": 9,
"markings": 10,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(((1 <= p49)) AND ((p76 <= 0)))",
"processed_size": 31,
"rewrites": 16
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (G (((p15 <= 0))))",
"processed_size": 20,
"rewrites": 18
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 1,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p2)) AND ((p159 <= 0)) AND ((1 <= p20)) AND ((p58 <= 0)))))",
"processed_size": 73,
"rewrites": 17
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 5,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p98)) AND ((p40 <= 0)) AND ((1 <= p32)) AND ((p135 <= 0)) AND (((1 <= p165)) OR ((p45 <= 0)) OR ((1 <= p19))))))",
"processed_size": 128,
"rewrites": 17
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 15,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1187
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1187
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(((p57 <= 0)) OR ((1 <= p157)))",
"processed_size": 32,
"rewrites": 16
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 15944624,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(**)) AND (** OR E(G(*)))) : (E(F(**)) OR (A(G(**)) AND (A(X(**)) OR (** OR (** OR **))))) : E(F(**)) : E(F(*)) : E(F(A(G(**)))) : A(G(E(F(**)))) : ((E(X(**)) OR **) AND A(G(*)))"
},
"net":
{
"arcs": 1703,
"conflict_clusters": 60,
"places": 171,
"places_significant": 155,
"singleton_clusters": 0,
"transitions": 408
},
"result":
{
"interim_value": "unknown yes yes yes unknown unknown no ",
"preliminary_value": "unknown yes yes yes unknown unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 579/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 171
lola: finding significant places
lola: 171 places, 408 transitions, 155 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p157 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p150 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p109 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p135 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p159 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p151 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: (A (G ((((p139 <= 0)) OR ((1 <= p22)) OR ((1 <= p10))))) AND ((((p57 <= 0)) OR ((1 <= p157))) OR NOT(A (F (((1 <= p155))))))) : (E (F ((((1 <= p52)) AND ((p145 <= 0))))) OR (A (G ((((1 <= p130)) AND ((p150 <= 0))))) AND (((A (X (((1 <= p136)))) OR ((p150 <= 0))) OR ((1 <= p84))) OR (((1 <= p54)) AND ((p109 <= 0)))))) : E (F ((((1 <= p98)) AND ((p40 <= 0)) AND ((1 <= p32)) AND ((p135 <= 0)) AND (((1 <= p165)) OR ((p45 <= 0)) OR ((1 <= p19)))))) : NOT(A (G ((((p2 <= 0)) OR ((1 <= p159)) OR ((p20 <= 0)) OR ((1 <= p58)))))) : E (F (A (G ((((p137 <= 0)) OR ((1 <= p95))))))) : A (G (E (F ((((p144 <= 0)) OR ((1 <= p52))))))) : ((E (X ((((p165 <= 0)) OR ((1 <= p151)) OR ((p108 <= 0)) OR ((1 <= p126))))) OR (((1 <= p49)) AND ((p76 <= 0)))) AND (A ((((1 <= p48)) U (1 <= 0))) OR NOT(E (F (((1 <= p15)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((((1 <= p52)) AND ((p145 <= 0))))) OR (A (G ((((1 <= p130)) AND ((p150 <= 0))))) AND (A (X (((1 <= p136)))) OR (((p150 <= 0)) OR (((1 <= p84)) OR (((1 <= p54)) AND ((p109 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p150 <= 0)) OR (((1 <= p84)) OR (((1 <= p54)) AND ((p109 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: processed formula: (((p150 <= 0)) OR ((1 <= p84)) OR (((1 <= p54)) AND ((p109 <= 0))))
lola: processed formula length: 67
lola: 19 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 4 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 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= p130)) AND ((p150 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((1 <= p130)) AND ((p150 <= 0)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p130 <= 0)) OR ((1 <= p150)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p52)) AND ((p145 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p52)) AND ((p145 <= 0)))))
lola: processed formula length: 40
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p52)) AND ((p145 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (X ((((p165 <= 0)) OR ((1 <= p151)) OR ((p108 <= 0)) OR ((1 <= p126))))) OR (((1 <= p49)) AND ((p76 <= 0)))) AND A (G (((p15 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p49)) AND ((p76 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((1 <= p49)) AND ((p76 <= 0)))
lola: processed formula length: 31
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 2 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 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p15 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p15 <= 0))))
lola: processed formula length: 20
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p15))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p2)) AND ((p159 <= 0)) AND ((1 <= p20)) AND ((p58 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p2)) AND ((p159 <= 0)) AND ((1 <= p20)) AND ((p58 <= 0)))))
lola: processed formula length: 73
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p2)) AND ((p159 <= 0)) AND ((1 <= p20)) AND ((p58 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 3 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p98)) AND ((p40 <= 0)) AND ((1 <= p32)) AND ((p135 <= 0)) AND (((1 <= p165)) OR ((p45 <= 0)) OR ((1 <= p19))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p98)) AND ((p40 <= 0)) AND ((1 <= p32)) AND ((p135 <= 0)) AND (((1 <= p165)) OR ((p45 <= 0)) OR ((1 <= p19))))))
lola: processed formula length: 128
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p98)) AND ((p40 <= 0)) AND ((1 <= p32)) AND ((p135 <= 0)) AND (((1 <= p165)) OR ((p45 <= 0)) OR ((1 <= p19))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 15 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((((p144 <= 0)) OR ((1 <= p52)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (((p144 <= 0)) OR ((1 <= p52)))
lola: processed formula length: 32
lola: 19 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p144)) AND ((p52 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p144 <= 0)) OR ((1 <= p52)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-1.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-1.sara.
sara: try reading problem file CTLCardinality-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 758565 markings, 2031940 edges, 151713 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1414664 markings, 3970755 edges, 131220 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2191600 markings, 6086034 edges, 155387 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2820245 markings, 7994626 edges, 125729 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3489277 markings, 9953825 edges, 133806 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4100877 markings, 11827322 edges, 122320 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4671769 markings, 13626623 edges, 114178 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 5251642 markings, 15449628 edges, 115975 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 5798777 markings, 17198912 edges, 109427 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 6351105 markings, 18966403 edges, 110466 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 6886079 markings, 20701163 edges, 106995 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 7411866 markings, 22419300 edges, 105157 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 8043082 markings, 24379894 edges, 126243 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 8602256 markings, 26229920 edges, 111835 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 9170808 markings, 28082192 edges, 113710 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 9718860 markings, 29898479 edges, 109610 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 10263822 markings, 31707175 edges, 108992 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 10801794 markings, 33516648 edges, 107594 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 11335191 markings, 35324672 edges, 106679 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 11903820 markings, 37193930 edges, 113726 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 12688698 markings, 39386107 edges, 156976 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 13432828 markings, 41505366 edges, 148826 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 14047022 markings, 43369760 edges, 122839 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 14632227 markings, 45193333 edges, 117041 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 15206583 markings, 46996125 edges, 114871 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 15783976 markings, 48843485 edges, 115479 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 16381149 markings, 50743452 edges, 119435 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 16958486 markings, 52618273 edges, 115467 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 17530743 markings, 54477880 edges, 114451 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 18092543 markings, 56315492 edges, 112360 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 18646015 markings, 58135742 edges, 110694 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 19406040 markings, 60268755 edges, 152005 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 20148705 markings, 62379231 edges, 148533 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 20719263 markings, 64223222 edges, 114112 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 21258460 markings, 66013653 edges, 107839 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 21836955 markings, 67868232 edges, 115699 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 22356643 markings, 69620603 edges, 103938 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 22869718 markings, 71347856 edges, 102615 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 23373072 markings, 73004467 edges, 100671 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 23867500 markings, 74647975 edges, 98886 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 24349210 markings, 76258250 edges, 96342 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 24823787 markings, 77853955 edges, 94915 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 25318518 markings, 79501852 edges, 98946 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 25824057 markings, 81169185 edges, 101108 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 26282134 markings, 82737086 edges, 91615 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 26749570 markings, 84319220 edges, 93487 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 27223152 markings, 85916596 edges, 94716 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 27727272 markings, 87623312 edges, 100824 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 28277516 markings, 89413229 edges, 110049 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 28761341 markings, 91080846 edges, 96765 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 29236491 markings, 92724070 edges, 95030 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 29712336 markings, 94375918 edges, 95169 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 30199198 markings, 96055502 edges, 97372 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 30674896 markings, 97703989 edges, 95140 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 31183790 markings, 99412346 edges, 101779 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 31651320 markings, 101039085 edges, 93506 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 32208175 markings, 102838144 edges, 111371 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 32701314 markings, 104516691 edges, 98628 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 33189074 markings, 106191568 edges, 97552 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 33668340 markings, 107843417 edges, 95853 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 34139708 markings, 109476711 edges, 94274 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 34613119 markings, 111124806 edges, 94682 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 35089974 markings, 112774949 edges, 95371 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 35558815 markings, 114406679 edges, 93768 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 36047034 markings, 116079435 edges, 97644 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 36563039 markings, 117800330 edges, 103201 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 37008638 markings, 119382433 edges, 89120 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 37472428 markings, 121005587 edges, 92758 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 37981086 markings, 122720153 edges, 101732 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 38397831 markings, 124197795 edges, 83349 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 38824687 markings, 125701175 edges, 85371 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 39296981 markings, 127287790 edges, 94459 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 39745799 markings, 128832672 edges, 89764 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 40218739 markings, 130428246 edges, 94588 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 40662737 markings, 131967247 edges, 88800 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 41101972 markings, 133492960 edges, 87847 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 41529720 markings, 135002991 edges, 85550 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 41993271 markings, 136583470 edges, 92710 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 42414606 markings, 138076989 edges, 84267 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 42839589 markings, 139562189 edges, 84997 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 43275571 markings, 141087377 edges, 87196 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 43700997 markings, 142584821 edges, 85085 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 44111825 markings, 144048475 edges, 82166 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 44526366 markings, 145522470 edges, 82908 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 44963692 markings, 147046195 edges, 87465 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 45411893 markings, 148598931 edges, 89640 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 45856550 markings, 150167501 edges, 88931 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 46320971 markings, 151756792 edges, 92884 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 46767125 markings, 153318673 edges, 89231 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 47199017 markings, 154870970 edges, 86378 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 47630500 markings, 156423967 edges, 86297 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 48083884 markings, 158012779 edges, 90677 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 48536269 markings, 159599272 edges, 90477 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 48973207 markings, 161156994 edges, 87388 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 49432421 markings, 162760140 edges, 91843 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 49919015 markings, 164421725 edges, 97319 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 50351998 markings, 165966065 edges, 86597 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 50810181 markings, 167560349 edges, 91637 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 51298879 markings, 169235412 edges, 97740 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 51798169 markings, 170922496 edges, 99858 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 52241114 markings, 172482334 edges, 88589 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 52678606 markings, 174036891 edges, 87498 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 53103970 markings, 175571711 edges, 85073 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 53540170 markings, 177123807 edges, 87240 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 53996552 markings, 178713592 edges, 91276 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 54452703 markings, 180299532 edges, 91230 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 54895211 markings, 181862403 edges, 88502 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 55329988 markings, 183412962 edges, 86955 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 55720897 markings, 184804846 edges, 78182 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 56210748 markings, 186419591 edges, 97970 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 56633496 markings, 187907844 edges, 84550 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 57043199 markings, 189366643 edges, 81941 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 57450320 markings, 190822147 edges, 81424 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 57873490 markings, 192305707 edges, 84634 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 58297633 markings, 193796884 edges, 84829 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 58700354 markings, 195238034 edges, 80544 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 59096229 markings, 196675243 edges, 79175 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 59510188 markings, 198150803 edges, 82792 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 59930265 markings, 199637091 edges, 84015 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 60341066 markings, 201107907 edges, 82160 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 60766678 markings, 202600003 edges, 85122 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 61167900 markings, 204049917 edges, 80244 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 61567315 markings, 205487746 edges, 79883 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 61977355 markings, 206950914 edges, 82008 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 62403874 markings, 208455135 edges, 85304 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 62823560 markings, 209955523 edges, 83937 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 63231731 markings, 211437482 edges, 81634 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 63646899 markings, 212924911 edges, 83034 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 64086645 markings, 214466440 edges, 87949 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 64492486 markings, 215944206 edges, 81168 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 64906530 markings, 217434322 edges, 82809 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 65326517 markings, 218937191 edges, 83997 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 65731927 markings, 220414817 edges, 81082 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 66142348 markings, 221898404 edges, 82084 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 66572453 markings, 223420839 edges, 86021 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 66978801 markings, 224892308 edges, 81270 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 67379757 markings, 226357878 edges, 80191 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 67779833 markings, 227814902 edges, 80015 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 68182169 markings, 229274488 edges, 80467 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 68606837 markings, 230788005 edges, 84934 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 69019169 markings, 232272812 edges, 82466 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 69423046 markings, 233739320 edges, 80775 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 69838725 markings, 235230011 edges, 83136 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 70251292 markings, 236713939 edges, 82513 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 70643362 markings, 238157710 edges, 78414 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 71044831 markings, 239618427 edges, 80294 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 71465962 markings, 241124843 edges, 84226 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 71883233 markings, 242630728 edges, 83454 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 72286510 markings, 244103330 edges, 80655 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 72689697 markings, 245571931 edges, 80637 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 73048323 markings, 246905764 edges, 71725 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 73446702 markings, 248337715 edges, 79676 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 73828783 markings, 249736093 edges, 76416 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 74210688 markings, 251140347 edges, 76381 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 74600392 markings, 252552377 edges, 77941 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 74987774 markings, 253957148 edges, 77476 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 75378007 markings, 255373856 edges, 78047 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 75756374 markings, 256766857 edges, 75673 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 76147288 markings, 258182176 edges, 78183 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 76530156 markings, 259577202 edges, 76574 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 76918419 markings, 260987830 edges, 77653 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 77316117 markings, 262415137 edges, 79540 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 77692836 markings, 263805482 edges, 75344 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 78088603 markings, 265225788 edges, 79153 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 78478932 markings, 266643000 edges, 78066 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 78862238 markings, 268047790 edges, 76661 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 79241501 markings, 269441668 edges, 75853 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 79617857 markings, 270831049 edges, 75271 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 79997483 markings, 272229244 edges, 75925 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 80374919 markings, 273620931 edges, 75487 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 80755900 markings, 275019278 edges, 76196 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 81181959 markings, 276495680 edges, 85212 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 81566111 markings, 277899353 edges, 76830 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 81951601 markings, 279312820 edges, 77098 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 82343299 markings, 280749050 edges, 78340 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 82745596 markings, 282217960 edges, 80459 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 83143027 markings, 283677285 edges, 79486 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 83585965 markings, 285234212 edges, 88588 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 84106235 markings, 286967972 edges, 104054 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 84577185 markings, 288591938 edges, 94190 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 84973861 markings, 290055778 edges, 79335 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 85372530 markings, 291518862 edges, 79734 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 85723070 markings, 292823563 edges, 70108 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 86308916 markings, 294577363 edges, 117169 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 86981385 markings, 296571192 edges, 134494 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 87684067 markings, 298574947 edges, 140536 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 88309097 markings, 300468681 edges, 125006 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 88893021 markings, 302309682 edges, 116785 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 89487782 markings, 304156028 edges, 118952 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 90052740 markings, 305952998 edges, 112992 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 90607638 markings, 307736082 edges, 110980 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 91157143 markings, 309509370 edges, 109901 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 91697804 markings, 311262829 edges, 108132 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 92204066 markings, 312937920 edges, 101252 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 92667117 markings, 314456381 edges, 92610 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 93117268 markings, 315950839 edges, 90030 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 93583058 markings, 317502587 edges, 93158 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 94073732 markings, 319144610 edges, 98135 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 94558439 markings, 320776061 edges, 96941 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 95243031 markings, 322710719 edges, 136918 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 95904364 markings, 324616063 edges, 132267 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 96428602 markings, 326265882 edges, 104848 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 96866859 markings, 327750622 edges, 87651 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 97335036 markings, 329290652 edges, 93635 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 97764161 markings, 330751331 edges, 85825 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 98216210 markings, 332261021 edges, 90410 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 98707842 markings, 333793193 edges, 98326 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 99225840 markings, 335457958 edges, 103600 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 99685270 markings, 337026755 edges, 91886 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 100138952 markings, 338586656 edges, 90736 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 100630878 markings, 340201496 edges, 98385 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 101119786 markings, 341820491 edges, 97782 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 101587769 markings, 343405823 edges, 93597 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 102049135 markings, 344954336 edges, 92273 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 102442383 markings, 346284428 edges, 78650 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 102870416 markings, 347752779 edges, 85607 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 103282431 markings, 349168013 edges, 82403 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 103670531 markings, 350503848 edges, 77620 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 104065188 markings, 351869074 edges, 78931 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 104523485 markings, 353413960 edges, 91659 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 105085688 markings, 355326640 edges, 112441 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 105508523 markings, 356774613 edges, 84567 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 105956096 markings, 358297449 edges, 89515 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 106423884 markings, 359869376 edges, 93558 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 106859594 markings, 361361251 edges, 87142 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 107299460 markings, 362833309 edges, 87973 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 107763707 markings, 364402226 edges, 92849 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 108202721 markings, 365916915 edges, 87803 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 108649870 markings, 367418387 edges, 89430 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 109082150 markings, 368900853 edges, 86456 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 109530527 markings, 370442422 edges, 89675 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 109977806 markings, 371973851 edges, 89456 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 110451547 markings, 373605732 edges, 94748 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 110899048 markings, 375138257 edges, 89500 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 111322395 markings, 376626758 edges, 84669 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 111784849 markings, 378182070 edges, 92491 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 112203564 markings, 379661415 edges, 83743 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes yes unknown unknown no
lola: memory consumption: 15893024 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((((p137 <= 0)) OR ((1 <= p95)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p137)) AND ((p95 <= 0)))
lola: processed formula length: 32
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p137 <= 0)) OR ((1 <= p95)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((1 <= p137)) AND ((p95 <= 0)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-1.sara
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-1.sara.
sara: try reading problem file CTLCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 692842 markings, 943473 edges, 138568 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1562786 markings, 2144311 edges, 173989 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2414667 markings, 3327871 edges, 170376 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3240845 markings, 4478778 edges, 165236 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4038629 markings, 5595639 edges, 159557 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4828468 markings, 6700972 edges, 157968 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 5658919 markings, 7869723 edges, 166090 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6482868 markings, 9029636 edges, 164790 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7305052 markings, 10187753 edges, 164437 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8123427 markings, 11342461 edges, 163675 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 8937590 markings, 12492048 edges, 162833 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 9754467 markings, 13643689 edges, 163375 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 10562161 markings, 14789500 edges, 161539 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 11272375 markings, 15793085 edges, 142043 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12054431 markings, 16899328 edges, 156411 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 12835977 markings, 18010446 edges, 156309 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 13633425 markings, 19141876 edges, 159490 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 14342856 markings, 20149817 edges, 141886 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 15117457 markings, 21251027 edges, 154920 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 15893491 markings, 22353561 edges, 155207 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 16665231 markings, 23455986 edges, 154348 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 17436780 markings, 24555048 edges, 154310 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 18205945 markings, 25650835 edges, 153833 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 18975790 markings, 26749930 edges, 153969 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 19744439 markings, 27842419 edges, 153730 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 20510475 markings, 28934035 edges, 153207 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 21273848 markings, 30025464 edges, 152675 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 22036263 markings, 31118380 edges, 152483 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 22803789 markings, 32216651 edges, 153505 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 23565819 markings, 33310030 edges, 152406 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 24330541 markings, 34406522 edges, 152944 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 25090521 markings, 35493186 edges, 151996 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 25846752 markings, 36577024 edges, 151246 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 26601348 markings, 37661447 edges, 150919 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 27358844 markings, 38746603 edges, 151499 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 28113944 markings, 39832722 edges, 151020 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 28880068 markings, 40932751 edges, 153225 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 29644529 markings, 42034495 edges, 152892 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 30402585 markings, 43125552 edges, 151611 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 31160175 markings, 44215002 edges, 151518 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 31907837 markings, 45298368 edges, 149532 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 32671658 markings, 46398748 edges, 152764 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 33428989 markings, 47488232 edges, 151466 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 34180433 markings, 48573136 edges, 150289 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 34932800 markings, 49661207 edges, 150473 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 35690823 markings, 50755240 edges, 151605 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 36441970 markings, 51841259 edges, 150229 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 37203370 markings, 52941029 edges, 152280 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 37960405 markings, 54032687 edges, 151407 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 38712939 markings, 55123080 edges, 150507 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 39461670 markings, 56205298 edges, 149746 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 40210262 markings, 57288804 edges, 149718 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 40956633 markings, 58369210 edges, 149274 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 41702995 markings, 59450645 edges, 149272 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 42451214 markings, 60534408 edges, 149644 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 43193398 markings, 61609999 edges, 148437 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 43936434 markings, 62684329 edges, 148607 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 44680664 markings, 63763407 edges, 148846 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 45420559 markings, 64835683 edges, 147979 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 46158014 markings, 65906069 edges, 147491 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 46899912 markings, 66983848 edges, 148380 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 47637343 markings, 68052965 edges, 147486 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 48375408 markings, 69123488 edges, 147613 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 49115828 markings, 70198432 edges, 148084 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 49852918 markings, 71269277 edges, 147418 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 50596134 markings, 72347840 edges, 148643 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 51331762 markings, 73418670 edges, 147126 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 52017461 markings, 74415077 edges, 137140 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 52749780 markings, 75480814 edges, 146464 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 53478409 markings, 76544560 edges, 145726 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 54209340 markings, 77606064 edges, 146186 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 54937337 markings, 78664666 edges, 145599 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 55665919 markings, 79725178 edges, 145716 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 56395916 markings, 80787709 edges, 145999 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 57121839 markings, 81844154 edges, 145185 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 57849507 markings, 82903227 edges, 145534 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 58575943 markings, 83960879 edges, 145287 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 59297771 markings, 85012885 edges, 144366 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 60022475 markings, 86071386 edges, 144941 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 60747792 markings, 87129608 edges, 145063 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 61464830 markings, 88178103 edges, 143408 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 62192226 markings, 89236976 edges, 145479 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 62913934 markings, 90295530 edges, 144342 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 63635437 markings, 91352303 edges, 144301 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 64357080 markings, 92405497 edges, 144329 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 65075754 markings, 93452568 edges, 143735 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 65797350 markings, 94505847 edges, 144319 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 66513539 markings, 95556715 edges, 143238 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 67234653 markings, 96612358 edges, 144223 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 67962350 markings, 97673589 edges, 145539 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 68694523 markings, 98740926 edges, 146435 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 69432905 markings, 99819461 edges, 147676 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 70164264 markings, 100890690 edges, 146272 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 70897010 markings, 101964587 edges, 146549 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 71632579 markings, 103040967 edges, 147114 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 72362083 markings, 104108968 edges, 145901 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 73084830 markings, 105166738 edges, 144549 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 73809612 markings, 106226657 edges, 144956 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 74531048 markings, 107282340 edges, 144287 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 75250935 markings, 108337899 edges, 143977 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 75974259 markings, 109400529 edges, 144665 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 76699044 markings, 110461659 edges, 144957 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 77418827 markings, 111518921 edges, 143957 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 78141400 markings, 112575830 edges, 144515 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 78862786 markings, 113629964 edges, 144277 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 79582272 markings, 114685862 edges, 143897 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 80305708 markings, 115746760 edges, 144687 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 81029396 markings, 116807779 edges, 144738 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 81747727 markings, 117860722 edges, 143666 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 82472498 markings, 118923134 edges, 144954 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 83195040 markings, 119988280 edges, 144508 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 83915580 markings, 121050560 edges, 144108 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 84636989 markings, 122110225 edges, 144282 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 85358545 markings, 123171038 edges, 144311 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 86079376 markings, 124231314 edges, 144166 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 86798698 markings, 125292346 edges, 143864 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 87518053 markings, 126351829 edges, 143871 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 88236629 markings, 127410537 edges, 143715 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 88956032 markings, 128471006 edges, 143881 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 89670619 markings, 129521287 edges, 142917 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 90388319 markings, 130576097 edges, 143540 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 91106189 markings, 131633502 edges, 143574 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 91824010 markings, 132689489 edges, 143564 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 92543214 markings, 133748991 edges, 143841 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 93264348 markings, 134811694 edges, 144227 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 93979552 markings, 135862203 edges, 143041 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 94697890 markings, 136917272 edges, 143668 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 95416508 markings, 137975142 edges, 143724 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 96132568 markings, 139029433 edges, 143212 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 96845121 markings, 140082185 edges, 142511 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 97560203 markings, 141134518 edges, 143016 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 98273939 markings, 142187000 edges, 142747 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 98988510 markings, 143242951 edges, 142914 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 99701753 markings, 144294980 edges, 142649 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 100416337 markings, 145350073 edges, 142917 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 101130112 markings, 146405359 edges, 142755 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 101844154 markings, 147458028 edges, 142808 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 102562142 markings, 148516678 edges, 143598 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 103269470 markings, 149557523 edges, 141466 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 103965963 markings, 150586887 edges, 139299 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 104659482 markings, 151613616 edges, 138704 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 105353427 markings, 152638778 edges, 138789 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 106050581 markings, 153667330 edges, 139431 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 106746956 markings, 154693787 edges, 139275 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 107440881 markings, 155719825 edges, 138785 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 108134076 markings, 156746340 edges, 138639 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 108826436 markings, 157768238 edges, 138472 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 109520729 markings, 158794719 edges, 138859 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 110219190 markings, 159827632 edges, 139692 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 110919809 markings, 160860652 edges, 140124 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 111620530 markings, 161897218 edges, 140144 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 112319232 markings, 162930445 edges, 139740 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 113020097 markings, 163970056 edges, 140173 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 113719807 markings, 165004581 edges, 139942 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 114416562 markings, 166038144 edges, 139351 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 115103451 markings, 167056550 edges, 137378 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 115797667 markings, 168085119 edges, 138843 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 116467722 markings, 169075883 edges, 134011 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 117178093 markings, 170132368 edges, 142074 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 117885941 markings, 171181534 edges, 141570 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 118596098 markings, 172231089 edges, 142031 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 119308495 markings, 173284018 edges, 142479 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 120017213 markings, 174331967 edges, 141744 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 120728166 markings, 175384611 edges, 142191 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 121441325 markings, 176442114 edges, 142632 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 122156970 markings, 177501695 edges, 143129 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 122871906 markings, 178562257 edges, 142987 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 123583569 markings, 179619419 edges, 142333 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 124297128 markings, 180678573 edges, 142712 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 125010792 markings, 181738846 edges, 142733 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 125719367 markings, 182791850 edges, 141715 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 126432317 markings, 183850094 edges, 142590 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 127136601 markings, 184896546 edges, 140857 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 127845002 markings, 185946210 edges, 141680 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 128554334 markings, 187000337 edges, 141866 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 129262939 markings, 188050189 edges, 141721 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 129973555 markings, 189105934 edges, 142123 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 130684161 markings, 190158425 edges, 142121 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 131392322 markings, 191206995 edges, 141632 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 132100608 markings, 192261391 edges, 141657 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 132807890 markings, 193312074 edges, 141456 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 133518303 markings, 194366325 edges, 142083 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 134221229 markings, 195415683 edges, 140585 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 134927425 markings, 196463574 edges, 141239 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 135633660 markings, 197514226 edges, 141247 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 136281829 markings, 198477835 edges, 129634 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 136968785 markings, 199499258 edges, 137391 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 137661589 markings, 200530114 edges, 138561 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 138352065 markings, 201557460 edges, 138095 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 139042058 markings, 202585572 edges, 137999 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 139733324 markings, 203611345 edges, 138253 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 140420184 markings, 204633669 edges, 137372 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 141102900 markings, 205651207 edges, 136543 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 141790831 markings, 206675612 edges, 137586 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 142479878 markings, 207702513 edges, 137809 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 143170510 markings, 208728861 edges, 138126 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 143858348 markings, 209752679 edges, 137568 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 144552158 markings, 210783928 edges, 138762 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 145242376 markings, 211811481 edges, 138044 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 145936268 markings, 212842411 edges, 138778 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 146624913 markings, 213868334 edges, 137729 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 147316330 markings, 214899827 edges, 138283 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 148009467 markings, 215932263 edges, 138627 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 148698745 markings, 216960319 edges, 137856 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 149386051 markings, 217983729 edges, 137461 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 150071942 markings, 219007827 edges, 137178 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 150760805 markings, 220032870 edges, 137773 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 151450336 markings, 221060294 edges, 137906 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 152140943 markings, 222089671 edges, 138121 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 152829442 markings, 223114967 edges, 137700 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 153518553 markings, 224141821 edges, 137822 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 154198980 markings, 225156932 edges, 136085 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 154876913 markings, 226169248 edges, 135587 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 155503422 markings, 227101831 edges, 125302 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 156184352 markings, 228114770 edges, 136186 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 156867289 markings, 229131816 edges, 136587 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 157548333 markings, 230149594 edges, 136209 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 158227366 markings, 231160749 edges, 135807 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 158912149 markings, 232182657 edges, 136957 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 159599132 markings, 233207142 edges, 137397 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 160284321 markings, 234228238 edges, 137038 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 161020930 markings, 235326909 edges, 147322 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 161706414 markings, 236353412 edges, 137097 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 162334833 markings, 237292029 edges, 125684 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 163010527 markings, 238300589 edges, 135139 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 163685388 markings, 239305576 edges, 134972 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 164360993 markings, 240313643 edges, 135121 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 165039547 markings, 241326391 edges, 135711 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 165715790 markings, 242336887 edges, 135249 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 166396092 markings, 243351894 edges, 136060 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 167074851 markings, 244365998 edges, 135752 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 167752903 markings, 245379107 edges, 135610 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 168433629 markings, 246398317 edges, 136145 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 169112939 markings, 247414621 edges, 135862 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 169788391 markings, 248427129 edges, 135090 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 170467620 markings, 249444819 edges, 135846 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 171153034 markings, 250467973 edges, 137083 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes yes unknown unknown no
lola: memory consumption: 15986664 KB
lola: time consumption: 2382 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 1187 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((((p139 <= 0)) OR ((1 <= p22)) OR ((1 <= p10))))) AND ((((p57 <= 0)) OR ((1 <= p157))) OR E (G (((p155 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 1187 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p57 <= 0)) OR ((1 <= p157)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p57 <= 0)) OR ((1 <= p157)))
lola: processed formula length: 32
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((((p144 <= 0)) OR ((1 <= p52)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (((p144 <= 0)) OR ((1 <= p52)))
lola: processed formula length: 32
lola: 19 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p144)) AND ((p52 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p144 <= 0)) OR ((1 <= p52)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-7-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-1.sara.
sara: try reading problem file CTLCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
sara: lola: place or transition ordering is non-deterministic
state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 817503 markings, 2199773 edges, 163501 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1536822 markings, 4281133 edges, 143864 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2306203 markings, 6426766 edges, 153876 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2990403 markings, 8468754 edges, 136840 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3663660 markings, 10478516 edges, 134651 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4283995 markings, 12404043 edges, 124067 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4898133 markings, 14334464 edges, 122828 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 5496066 markings, 16226780 edges, 119587 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 6077613 markings, 18094464 edges, 116309 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 6657929 markings, 19955324 edges, 116063 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 7223084 markings, 21796997 edges, 113031 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 7845517 markings, 23736321 edges, 124487 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 8394764 markings, 25539723 edges, 109849 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 8930567 markings, 27322402 edges, 107161 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 9488114 markings, 29123388 edges, 111509 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 10009992 markings, 30864310 edges, 104376 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 10527359 markings, 32590803 edges, 103473 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 11037701 markings, 34312887 edges, 102068 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 11537189 markings, 36016205 edges, 99898 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 12199600 markings, 37969117 edges, 132482 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 12911210 markings, 40017630 edges, 142322 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 13596880 markings, 42000328 edges, 137134 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 14220786 markings, 43904995 edges, 124781 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 14815630 markings, 45760936 edges, 118969 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 15393937 markings, 47607719 edges, 115661 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 15969599 markings, 49425831 edges, 115132 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 16526258 markings, 51220235 edges, 111332 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 17076162 markings, 52997424 edges, 109981 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 17624688 markings, 54781818 edges, 109705 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 18158132 markings, 56531961 edges, 106689 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 18686149 markings, 58269946 edges, 105603 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 19459030 markings, 60428472 edges, 154576 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 20196983 markings, 62528303 edges, 147591 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 20741066 markings, 64295339 edges, 108817 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 21255952 markings, 66004751 edges, 102977 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 21825081 markings, 67828482 edges, 113826 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 22309691 markings, 69463948 edges, 96922 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 22799609 markings, 71110485 edges, 97984 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 23309962 markings, 72789801 edges, 102071 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 23818165 markings, 74480945 edges, 101641 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 24311474 markings, 76130757 edges, 98662 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 24783134 markings, 77724312 edges, 94332 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 25284407 markings, 79396735 edges, 100255 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 25810558 markings, 81121932 edges, 105230 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 26268180 markings, 82689935 edges, 91524 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 26747635 markings, 84312488 edges, 95891 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 27231412 markings, 85944411 edges, 96755 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 27720360 markings, 87599163 edges, 97790 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 28259013 markings, 89351222 edges, 107731 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 28725385 markings, 90960874 edges, 93274 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 29181142 markings, 92534234 edges, 91151 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 29629862 markings, 94092691 edges, 89744 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 30089027 markings, 95673675 edges, 91833 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 30548003 markings, 97257710 edges, 91795 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 31018901 markings, 98846080 edges, 94180 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 31469317 markings, 100410811 edges, 90083 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 31954677 markings, 102028131 edges, 97072 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 32463959 markings, 103692511 edges, 101856 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 32916763 markings, 105257142 edges, 90561 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 33363334 markings, 106803559 edges, 89314 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 33826126 markings, 108384753 edges, 92558 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 34264413 markings, 109915923 edges, 87657 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 34712980 markings, 111478304 edges, 89713 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 35160570 markings, 113024268 edges, 89518 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 35624097 markings, 114606578 edges, 92705 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 36070538 markings, 116158284 edges, 89288 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 36556995 markings, 117779365 edges, 97291 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 36979481 markings, 119278268 edges, 84497 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 37421304 markings, 120825286 edges, 88365 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 37897829 markings, 122434887 edges, 95305 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 38329577 markings, 123956963 edges, 86350 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 38760598 markings, 125475387 edges, 86204 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 39216567 markings, 127040480 edges, 91194 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 39688172 markings, 128631941 edges, 94321 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 40158458 markings, 130225252 edges, 94057 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 40611627 markings, 131783808 edges, 90634 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 41052089 markings, 133314939 edges, 88092 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 41477634 markings, 134822518 edges, 85109 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 41944586 markings, 136409850 edges, 93390 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 42367856 markings, 137914521 edges, 84654 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 42800214 markings, 139419684 edges, 86472 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 43232365 markings, 140940396 edges, 86430 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 43667134 markings, 142462928 edges, 86954 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 44080110 markings, 143938129 edges, 82595 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 44499851 markings, 145429326 edges, 83948 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 44936452 markings, 146957918 edges, 87320 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 45390278 markings, 148524311 edges, 90765 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 45823213 markings, 150047393 edges, 86587 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 46275742 markings, 151594126 edges, 90506 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 46711818 markings, 153121259 edges, 87215 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 47124430 markings, 154602636 edges, 82522 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 47543401 markings, 156109037 edges, 83794 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 47976233 markings, 157628260 edges, 86566 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 48410909 markings, 159151973 edges, 86935 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 48834401 markings, 160660060 edges, 84698 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 49256150 markings, 162161194 edges, 84350 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 49725769 markings, 163755446 edges, 93924 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 50155854 markings, 165270624 edges, 86017 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 50571203 markings, 166747468 edges, 83070 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 51027129 markings, 168301296 edges, 91185 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 51489686 markings, 169876841 edges, 92511 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 51955346 markings, 171452468 edges, 93132 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 52366368 markings, 172931380 edges, 82204 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 52779803 markings, 174407409 edges, 82687 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 53195279 markings, 175891288 edges, 83095 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 53605811 markings, 177363863 edges, 82106 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 54053249 markings, 178903607 edges, 89488 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 54479435 markings, 180398214 edges, 85237 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 54904482 markings, 181892859 edges, 85009 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 55319226 markings, 183374194 edges, 82949 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 55734162 markings, 184850558 edges, 82987 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 56225988 markings, 186473969 edges, 98365 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 56647653 markings, 187954931 edges, 84333 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 57072200 markings, 189472218 edges, 84909 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 57495645 markings, 190986346 edges, 84689 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 57939068 markings, 192541585 edges, 88685 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 58379601 markings, 194096932 edges, 88107 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 58800980 markings, 195605329 edges, 84276 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 59221891 markings, 197128994 edges, 84182 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 59654538 markings, 198669702 edges, 86529 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 60088409 markings, 200215972 edges, 86774 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 60531141 markings, 201776001 edges, 88546 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 60966501 markings, 203320356 edges, 87072 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 61374916 markings, 204805176 edges, 81683 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 61809553 markings, 206341162 edges, 86927 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 62231725 markings, 207848571 edges, 84434 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 62656424 markings, 209366984 edges, 84940 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 63077861 markings, 210878531 edges, 84287 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 63495833 markings, 212384350 edges, 83594 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 63951218 markings, 213968725 edges, 91077 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 64359775 markings, 215455274 edges, 81711 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 64763261 markings, 216930357 edges, 80697 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 65174386 markings, 218392481 edges, 82225 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 65569765 markings, 219822723 edges, 79076 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 65970270 markings, 221274577 edges, 80101 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 66382118 markings, 222740670 edges, 82370 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 66785411 markings, 224189144 edges, 80659 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 67177473 markings, 225618717 edges, 78412 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 67570108 markings, 227046028 edges, 78527 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 67962987 markings, 228466612 edges, 78576 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 68359011 markings, 229900893 edges, 79205 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 68768471 markings, 231368286 edges, 81892 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 69164703 markings, 232802541 edges, 79246 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 69563156 markings, 234237910 edges, 79691 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 69972109 markings, 235697862 edges, 81791 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 70363426 markings, 237125199 edges, 78263 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 70746203 markings, 238530092 edges, 76555 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 71145040 markings, 239967590 edges, 79767 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 71547752 markings, 241411801 edges, 80542 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 71935827 markings, 242825527 edges, 77615 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 72324210 markings, 244236056 edges, 77677 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 72707602 markings, 245638057 edges, 76678 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 73077782 markings, 247015620 edges, 74036 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 73475762 markings, 248440026 edges, 79596 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 73853202 markings, 249827492 edges, 75488 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 74236344 markings, 251233183 edges, 76628 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 74626002 markings, 252644686 edges, 77932 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 75009282 markings, 254037735 edges, 76656 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 75399667 markings, 255455284 edges, 78077 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 75784728 markings, 256867419 edges, 77012 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 76174978 markings, 258283187 edges, 78050 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 76560128 markings, 259687102 edges, 77030 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 76952971 markings, 261110367 edges, 78569 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 77349293 markings, 262538837 edges, 79264 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 77732231 markings, 263944602 edges, 76588 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 78128687 markings, 265370337 edges, 79291 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 78518495 markings, 266792811 edges, 77962 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 78907040 markings, 268211547 edges, 77709 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 79287993 markings, 269618169 edges, 76191 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 79666319 markings, 271014980 edges, 75665 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 80050701 markings, 272429020 edges, 76876 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 80433000 markings, 273835308 edges, 76460 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 80818754 markings, 275247245 edges, 77151 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 81254521 markings, 276752610 edges, 87153 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 81632988 markings, 278151140 edges, 75693 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 82027833 markings, 279585053 edges, 78969 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 82402910 markings, 280972928 edges, 75015 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 82792289 markings, 282388230 edges, 77876 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 83168790 markings, 283774767 edges, 75300 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 83589891 markings, 285247311 edges, 84220 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 84072800 markings, 286854918 edges, 96582 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 84521958 markings, 288384599 edges, 89832 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 84892224 markings, 289761391 edges, 74053 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 85271470 markings, 291155408 edges, 75849 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 85648491 markings, 292541209 edges, 75404 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 86144109 markings, 294121046 edges, 99124 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 86828589 markings, 296102452 edges, 136896 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 87509914 markings, 298064941 edges, 136265 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 88142094 markings, 299944304 edges, 126436 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 88715439 markings, 301746453 edges, 114669 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 89289357 markings, 303549577 edges, 114784 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 89856382 markings, 305322840 edges, 113405 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 90400996 markings, 307067523 edges, 108923 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 90938117 markings, 308798860 edges, 107424 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 91460280 markings, 310501186 edges, 104433 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 91980936 markings, 312203298 edges, 104131 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 92490800 markings, 313880043 edges, 101973 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 92943876 markings, 315370356 edges, 90615 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 93414611 markings, 316944014 edges, 94147 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 93884465 markings, 318520173 edges, 93971 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 94351624 markings, 320081594 edges, 93432 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 94867982 markings, 321645037 edges, 103272 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 95565791 markings, 323613823 edges, 139562 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 96111641 markings, 325224962 edges, 109170 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 96587801 markings, 326804930 edges, 95232 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 97063251 markings, 328386826 edges, 95090 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 97524415 markings, 329938641 edges, 92233 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 97993821 markings, 331503023 edges, 93881 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 98459794 markings, 333053053 edges, 93195 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 98970544 markings, 334691069 edges, 102150 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 99485218 markings, 336339425 edges, 102935 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 99926607 markings, 337857047 edges, 88278 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 100367128 markings, 339372028 edges, 88104 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 100830160 markings, 340883867 edges, 92606 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 101334591 markings, 342530640 edges, 100886 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 101770454 markings, 344038616 edges, 87173 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 102272671 markings, 345692552 edges, 100443 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 102711124 markings, 347199709 edges, 87691 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 103142057 markings, 348687702 edges, 86187 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 103580699 markings, 350197402 edges, 87728 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 104019675 markings, 351711189 edges, 87795 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 104484097 markings, 353279130 edges, 92884 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 104928577 markings, 354812007 edges, 88896 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 105397424 markings, 356385117 edges, 93769 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 105856163 markings, 357946624 edges, 91748 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 106305176 markings, 359478250 edges, 89803 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 106752368 markings, 361003213 edges, 89438 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 107224874 markings, 362576667 edges, 94501 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 107658338 markings, 364048002 edges, 86693 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 108085302 markings, 365529910 edges, 85393 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 108543611 markings, 367077260 edges, 91662 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 109015718 markings, 368665250 edges, 94421 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 109461702 markings, 370196540 edges, 89197 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 109887186 markings, 371685802 edges, 85097 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 110342654 markings, 373227903 edges, 91094 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 110793692 markings, 374769448 edges, 90208 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 111213843 markings, 376243509 edges, 84030 markings/sec, 1180 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes yes yes unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes yes unknown unknown no
lola:
preliminary result: unknown yes yes yes unknown unknown no
lola: memory consumption: 15944624 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes yes yes unknown unknown no
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-14a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is FlexibleBarrier-PT-14a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815700339"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14a.tgz
mv FlexibleBarrier-PT-14a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;