About the Execution of ITS-LoLa for ShieldPPPs-PT-030B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.960 | 3600000.00 | 4833421.00 | 745.80 | FFFTFFFF??TFFT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r211-tajo-159033477600515.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ShieldPPPs-PT-030B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r211-tajo-159033477600515
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 3.2K May 14 01:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 528K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-030B-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591311663647
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 23:01:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 23:01:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 23:01:05] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2020-06-04 23:01:05] [INFO ] Transformed 2043 places.
[2020-06-04 23:01:05] [INFO ] Transformed 1893 transitions.
[2020-06-04 23:01:05] [INFO ] Found NUPN structural information;
[2020-06-04 23:01:05] [INFO ] Parsed PT model containing 2043 places and 1893 transitions in 200 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 44 ms.
Finished random walk after 59331 steps, including 12 resets, run visited all 16 properties in 450 ms. (steps per millisecond=131 )
[2020-06-04 23:01:06] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-04 23:01:06] [INFO ] Flatten gal took : 141 ms
[2020-06-04 23:01:06] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-04 23:01:06] [INFO ] Flatten gal took : 70 ms
FORMULA ShieldPPPs-PT-030B-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-030B-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-030B-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 23:01:06] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-04 23:01:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 21 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ ShieldPPPs-PT-030B @ 3570 seconds
FORMULA ShieldPPPs-PT-030B-CTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ ShieldPPPs-PT-030B
{
"exit":
{
"memory": 4699104,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 5,
"adisj": 2,
"aneg": 0,
"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 (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897))))))",
"processed_size": 84,
"rewrites": 25
},
"result":
{
"preliminary_value": "no yes no no no unknown unknown yes no no yes unknown yes "
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 9
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
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: 3936/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 65376
lola: finding significant places
lola: 2043 places, 1893 transitions, 1712 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: (p1325 <= 1)
lola: LP says that atomic proposition is always true: (p1543 <= 1)
lola: LP says that atomic proposition is always true: (p245 <= 1)
lola: LP says that atomic proposition is always true: (p1048 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p1308 <= 1)
lola: LP says that atomic proposition is always true: (p1897 <= 1)
lola: LP says that atomic proposition is always true: (p1645 <= 1)
lola: LP says that atomic proposition is always true: (p310 <= 1)
lola: LP says that atomic proposition is always true: (p414 <= 1)
lola: LP says that atomic proposition is always true: (p1620 <= 1)
lola: LP says that atomic proposition is always true: (p466 <= 1)
lola: LP says that atomic proposition is always true: (p1365 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p867 <= 1)
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p2039 <= 1)
lola: LP says that atomic proposition is always true: (p338 <= 1)
lola: LP says that atomic proposition is always true: (p1047 <= 1)
lola: LP says that atomic proposition is always true: (p1051 <= 1)
lola: A (G (E (X ((((p763 <= 0)) OR ((1 <= p1325))))))) : (A (X (E (G ((1 <= 0))))) OR E (F ((((1 <= p799)) AND ((p1543 <= 0)))))) : A (G (A (X ((((p623 <= 0)) OR ((1 <= p245))))))) : NOT(E (G (E (F ((((p80 <= 0)) OR ((1 <= p1048)))))))) : A (X (A (((((p1144 <= 0)) OR ((1 <= p588))) U (1 <= 0))))) : (E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897)))))) OR (A (X (((1 <= p1645)))) AND ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620))))) : E (G ((((p912 <= 0)) OR ((1 <= p466))))) : (E (G ((0 <= 0))) OR NOT(E (F ((((p1900 <= 0)) OR ((1 <= p1365))))))) : A (G (E (G ((((p1583 <= 0)) OR ((1 <= p474))))))) : A (G ((((p513 <= 0)) OR ((1 <= p867))))) : E (G ((((p1253 <= 0)) OR ((1 <= p91))))) : E ((((((p1231 <= 0)) OR ((1 <= p2039))) AND (((p1630 <= 0)) OR ((1 <= p338)))) U A (X ((1 <= 0))))) : E (F (A (X (((1 <= p1047) AND (1 <= p1051))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
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:124
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 24 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 24 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((((p763 <= 0)) OR ((1 <= p1325)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((((p763 <= 0)) OR ((1 <= p1325)))))
lola: processed formula length: 42
lola: 26 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 3476 markings, 3475 edges
lola: ========================================
lola: subprocess 3 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897)))))) OR (A (X (((1 <= p1645)))) AND ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))
lola: processed formula length: 87
lola: 24 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897))))))
lola: processed formula length: 84
lola: 25 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((1 <= p467)) AND ((p1308 <= 0))) OR (((1 <= p1907)) AND ((p1897 <= 0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
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-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: 280960 markings, 383851 edges, 56192 markings/sec, 0 secs || sara is running 0 secs
lola: 578240 markings, 784753 edges, 59456 markings/sec, 5 secs || sara is running 5 secs
lola: 845570 markings, 1186492 edges, 53466 markings/sec, 10 secs || sara is running 10 secs
lola: 1160931 markings, 1585500 edges, 63072 markings/sec, 15 secs || sara is running 15 secs
lola: 1415322 markings, 1985546 edges, 50878 markings/sec, 20 secs || sara is running 20 secs
lola: 1724949 markings, 2385615 edges, 61925 markings/sec, 25 secs || sara is running 25 secs
lola: 2015538 markings, 2784722 edges, 58118 markings/sec, 30 secs || sara is running 30 secs
lola: 2276167 markings, 3141148 edges, 52126 markings/sec, 35 secs || sara is running 35 secs
lola: 2541345 markings, 3506140 edges, 53036 markings/sec, 40 secs || sara is running 40 secs
lola: 2830659 markings, 3904021 edges, 57863 markings/sec, 45 secs || sara is running 45 secs
lola: 3096953 markings, 4244122 edges, 53259 markings/sec, 50 secs || sara is running 50 secs
lola: 3432923 markings, 4643233 edges, 67194 markings/sec, 55 secs || sara is running 55 secs
lola: 3764553 markings, 5041415 edges, 66326 markings/sec, 60 secs || sara is running 60 secs
lola: 4103760 markings, 5442481 edges, 67841 markings/sec, 65 secs || sara is running 65 secs
lola: 4404380 markings, 5844181 edges, 60124 markings/sec, 70 secs || sara is running 70 secs
lola: 4672311 markings, 6245003 edges, 53586 markings/sec, 75 secs || sara is running 75 secs
lola: 4967367 markings, 6648584 edges, 59011 markings/sec, 80 secs || sara is running 80 secs
lola: 5263469 markings, 7052056 edges, 59220 markings/sec, 85 secs || sara is running 85 secs
lola: 5571465 markings, 7458153 edges, 61599 markings/sec, 90 secs || sara is running 90 secs
lola: 5863264 markings, 7859442 edges, 58360 markings/sec, 95 secs || sara is running 95 secs
lola: 6131628 markings, 8260234 edges, 53673 markings/sec, 100 secs || sara is running 100 secs
lola: 6415800 markings, 8660250 edges, 56834 markings/sec, 105 secs || sara is running 105 secs
lola: 6703800 markings, 9062976 edges, 57600 markings/sec, 110 secs || sara is running 110 secs
lola: 6987422 markings, 9463028 edges, 56724 markings/sec, 115 secs || sara is running 115 secs
lola: 7314525 markings, 9860896 edges, 65421 markings/sec, 120 secs || sara is running 120 secs
lola: 7641807 markings, 10256217 edges, 65456 markings/sec, 125 secs || sara is running 125 secs
lola: 7961010 markings, 10655139 edges, 63841 markings/sec, 130 secs || sara is running 130 secs
lola: 8229802 markings, 11053675 edges, 53758 markings/sec, 135 secs || sara is running 135 secs
lola: 8507403 markings, 11454346 edges, 55520 markings/sec, 140 secs || sara is running 140 secs
lola: 8802037 markings, 11857093 edges, 58927 markings/sec, 145 secs || sara is running 145 secs
lola: 9085836 markings, 12256866 edges, 56760 markings/sec, 150 secs || sara is running 150 secs
lola: 9354990 markings, 12656976 edges, 53831 markings/sec, 155 secs || sara is running 155 secs
lola: 9648162 markings, 13056517 edges, 58634 markings/sec, 160 secs || sara is running 160 secs
lola: 9975942 markings, 13453797 edges, 65556 markings/sec, 165 secs || sara is running 165 secs
lola: 10302578 markings, 13851512 edges, 65327 markings/sec, 170 secs || sara is running 170 secs
lola: 10612796 markings, 14252552 edges, 62044 markings/sec, 175 secs || sara is running 175 secs
lola: 10909644 markings, 14653436 edges, 59370 markings/sec, 180 secs || sara is running 180 secs
lola: 11215821 markings, 15055564 edges, 61235 markings/sec, 185 secs || sara is running 185 secs
lola: 11528103 markings, 15462271 edges, 62456 markings/sec, 190 secs || sara is running 190 secs
lola: 11853677 markings, 15863365 edges, 65115 markings/sec, 195 secs || sara is running 195 secs
lola: 12190144 markings, 16263977 edges, 67293 markings/sec, 200 secs || sara is running 200 secs
lola: 12493962 markings, 16666830 edges, 60764 markings/sec, 205 secs || sara is running 205 secs
lola: 12810936 markings, 17071096 edges, 63395 markings/sec, 210 secs || sara is running 210 secs
lola: 13113050 markings, 17472894 edges, 60423 markings/sec, 215 secs || sara is running 215 secs
lola: 13407165 markings, 17856357 edges, 58823 markings/sec, 220 secs || sara is running 220 secs
lola: 13701687 markings, 18224868 edges, 58904 markings/sec, 225 secs || sara is running 225 secs
lola: 14004220 markings, 18608355 edges, 60507 markings/sec, 230 secs || sara is running 230 secs
lola: 14306583 markings, 19010304 edges, 60473 markings/sec, 235 secs || sara is running 235 secs
lola: 14606090 markings, 19410829 edges, 59901 markings/sec, 240 secs || sara is running 240 secs
lola: 14927038 markings, 19807994 edges, 64190 markings/sec, 245 secs || sara is running 245 secs
lola: 15223208 markings, 20206684 edges, 59234 markings/sec, 250 secs || sara is running 250 secs
lola: 15517926 markings, 20605477 edges, 58944 markings/sec, 255 secs || sara is running 255 secs
lola: 15796494 markings, 20955473 edges, 55714 markings/sec, 260 secs || sara is running 260 secs
lola: 16076641 markings, 21311502 edges, 56029 markings/sec, 265 secs || sara is running 265 secs
lola: 16382407 markings, 21705468 edges, 61153 markings/sec, 270 secs || sara is running 270 secs
lola: 16694475 markings, 22105341 edges, 62414 markings/sec, 275 secs || sara is running 275 secs
lola: 17000676 markings, 22502696 edges, 61240 markings/sec, 280 secs || sara is running 280 secs
lola: 17287012 markings, 22899469 edges, 57267 markings/sec, 285 secs || sara is running 285 secs
lola: 17579844 markings, 23271912 edges, 58566 markings/sec, 290 secs || sara is running 290 secs
lola: 17879429 markings, 23666793 edges, 59917 markings/sec, 295 secs || sara is running 295 secs
lola: 18188749 markings, 24063634 edges, 61864 markings/sec, 300 secs || sara is running 300 secs
lola: 18467740 markings, 24461474 edges, 55798 markings/sec, 305 secs || sara is running 305 secs
lola: 18744963 markings, 24859950 edges, 55445 markings/sec, 310 secs || sara is running 310 secs
lola: 19004968 markings, 25256895 edges, 52001 markings/sec, 315 secs || sara is running 315 secs
lola: 19295325 markings, 25655851 edges, 58071 markings/sec, 320 secs || sara is running 320 secs
lola: 19610855 markings, 26054531 edges, 63106 markings/sec, 325 secs || sara is running 325 secs
lola: 19918464 markings, 26452926 edges, 61522 markings/sec, 330 secs || sara is running 330 secs
lola: 20222986 markings, 26848935 edges, 60904 markings/sec, 335 secs || sara is running 335 secs
lola: 20523108 markings, 27243054 edges, 60024 markings/sec, 340 secs || sara is running 340 secs
lola: 20819516 markings, 27635870 edges, 59282 markings/sec, 345 secs || sara is running 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown unknown
lola: lola: memory consumption: 1384468 KBmemory consumption: 1384468 KB
lola: lola: time consumption: 376 secondstime consumption: 376 seconds
lola: lola: print data as JSON (--json)
print data as JSON (--json)
lola: lola: writing JSON to CTLCardinality.json
lola: writing JSON to CTLCardinality.json
closed JSON file CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((((p623 <= 0)) OR ((1 <= p245)))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p623)) AND ((p245 <= 0)))
lola: processed formula length: 33
lola: 27 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
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 <= p623)) AND ((p245 <= 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: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 27 markings, 26 edges
lola: ========================================
lola: subprocess 5 will run for 399 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p1047) AND (1 <= p1051))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p1047) AND (1 <= p1051))))
lola: processed formula length: 39
lola: 26 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 3476 markings, 3475 edges
lola: ========================================
lola: subprocess 6 will run for 456 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p513 <= 0)) OR ((1 <= p867)))))
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 ((((p513 <= 0)) OR ((1 <= p867)))))
lola: processed formula length: 41
lola: 26 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: (((1 <= p513)) AND ((p867 <= 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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 32 markings, 31 edges
lola: ========================================
lola: subprocess 7 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1583 <= 0)) OR ((1 <= p474)))))
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 ((((p1583 <= 0)) OR ((1 <= p474)))))
lola: processed formula length: 42
lola: 26 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: (((1 <= p1583)) AND ((p474 <= 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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 229 markings, 228 edges
lola: ========================================
lola: subprocess 8 will run for 638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p1253 <= 0)) OR ((1 <= p91)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p1253 <= 0)) OR ((1 <= p91)))))
lola: processed formula length: 41
lola: 25 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p1253)) AND ((p91 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 8223 markings, 8222 edges
lola: ========================================
lola: subprocess 9 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p912 <= 0)) OR ((1 <= p466)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p912 <= 0)) OR ((1 <= p466)))))
lola: processed formula length: 41
lola: 25 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p912)) AND ((p466 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: 317296 markings, 386940 edges, 63459 markings/sec, 0 secs || sara is running 0 secs
lola: 646841 markings, 795314 edges, 65909 markings/sec, 5 secs || sara is running 5 secs
lola: 975839 markings, 1204921 edges, 65800 markings/sec, 10 secs || sara is running 10 secs
lola: 1297941 markings, 1614552 edges, 64420 markings/sec, 15 secs || sara is running 15 secs
lola: 1595106 markings, 1998964 edges, 59433 markings/sec, 20 secs || sara is running 20 secs
lola: 1894372 markings, 2375062 edges, 59853 markings/sec, 25 secs || sara is running 25 secs
lola: 2221939 markings, 2775417 edges, 65513 markings/sec, 30 secs || sara is running 30 secs
lola: 2546524 markings, 3174320 edges, 64917 markings/sec, 35 secs || sara is running 35 secs
lola: 2873661 markings, 3575513 edges, 65427 markings/sec, 40 secs || sara is running 40 secs
lola: 3189104 markings, 3969047 edges, 63089 markings/sec, 45 secs || sara is running 45 secs
lola: 3519120 markings, 4361480 edges, 66003 markings/sec, 50 secs || sara is running 50 secs
lola: 3852018 markings, 4752809 edges, 66580 markings/sec, 55 secs || sara is running 55 secs
lola: 4173220 markings, 5129956 edges, 64240 markings/sec, 60 secs || sara is running 60 secs
lola: 4484475 markings, 5496265 edges, 62251 markings/sec, 65 secs || sara is running 65 secs
lola: 4815152 markings, 5872549 edges, 66135 markings/sec, 70 secs || sara is running 70 secs
lola: 5149320 markings, 6270300 edges, 66834 markings/sec, 75 secs || sara is running 75 secs
lola: 5440362 markings, 6649354 edges, 58208 markings/sec, 80 secs || sara is running 80 secs
lola: 5768077 markings, 7047138 edges, 65543 markings/sec, 85 secs || sara is running 85 secs
lola: 6105474 markings, 7450095 edges, 67479 markings/sec, 90 secs || sara is running 90 secs
lola: 6440964 markings, 7852454 edges, 67098 markings/sec, 95 secs || sara is running 95 secs
lola: 6731005 markings, 8227385 edges, 58008 markings/sec, 100 secs || sara is running 100 secs
lola: 7030100 markings, 8607832 edges, 59819 markings/sec, 105 secs || sara is running 105 secs
lola: 7327693 markings, 8977270 edges, 59519 markings/sec, 110 secs || sara is running 110 secs
lola: 7628961 markings, 9353439 edges, 60254 markings/sec, 115 secs || sara is running 115 secs
lola: 7961361 markings, 9754075 edges, 66480 markings/sec, 120 secs || sara is running 120 secs
lola: 8278591 markings, 10142699 edges, 63446 markings/sec, 125 secs || sara is running 125 secs
lola: 8591138 markings, 10526560 edges, 62509 markings/sec, 130 secs || sara is running 130 secs
lola: 8913634 markings, 10924062 edges, 64499 markings/sec, 135 secs || sara is running 135 secs
lola: 9238126 markings, 11327014 edges, 64898 markings/sec, 140 secs || sara is running 140 secs
lola: 9557800 markings, 11728877 edges, 63935 markings/sec, 145 secs || sara is running 145 secs
lola: 9869525 markings, 12115360 edges, 62345 markings/sec, 150 secs || sara is running 150 secs
lola: 10188362 markings, 12501995 edges, 63767 markings/sec, 155 secs || sara is running 155 secs
lola: 10514075 markings, 12885071 edges, 65143 markings/sec, 160 secs || sara is running 160 secs
lola: 10850459 markings, 13282454 edges, 67277 markings/sec, 165 secs || sara is running 165 secs
lola: 11203138 markings, 13685066 edges, 70536 markings/sec, 170 secs || sara is running 170 secs
lola: 11552033 markings, 14089931 edges, 69779 markings/sec, 175 secs || sara is running 175 secs
lola: 11880242 markings, 14489849 edges, 65642 markings/sec, 180 secs || sara is running 180 secs
lola: 12190174 markings, 14883787 edges, 61986 markings/sec, 185 secs || sara is running 185 secs
lola: 12521731 markings, 15282792 edges, 66311 markings/sec, 190 secs || sara is running 190 secs
lola: 12859232 markings, 15685163 edges, 67500 markings/sec, 195 secs || sara is running 195 secs
lola: 13167186 markings, 16076391 edges, 61591 markings/sec, 200 secs || sara is running 200 secs
lola: 13479247 markings, 16469788 edges, 62412 markings/sec, 205 secs || sara is running 205 secs
lola: 13803088 markings, 16873765 edges, 64768 markings/sec, 210 secs || sara is running 210 secs
lola: 14140198 markings, 17279530 edges, 67422 markings/sec, 215 secs || sara is running 215 secs
lola: 14479944 markings, 17684563 edges, 67949 markings/sec, 220 secs || sara is running 220 secs
lola: 14792315 markings, 18067928 edges, 62474 markings/sec, 225 secs || sara is running 225 secs
lola: 15101282 markings, 18449726 edges, 61793 markings/sec, 230 secs || sara is running 230 secs
lola: 15409113 markings, 18840711 edges, 61566 markings/sec, 235 secs || sara is running 235 secs
lola: 15717381 markings, 19239954 edges, 61654 markings/sec, 240 secs || sara is running 240 secs
lola: 16025596 markings, 19638362 edges, 61643 markings/sec, 245 secs || sara is running 245 secs
lola: 16347791 markings, 20038801 edges, 64439 markings/sec, 250 secs || sara is running 250 secs
lola: 16659858 markings, 20438794 edges, 62413 markings/sec, 255 secs || sara is running 255 secs
lola: 16974042 markings, 20839324 edges, 62837 markings/sec, 260 secs || sara is running 260 secs
lola: 17308838 markings, 21242769 edges, 66959 markings/sec, 265 secs || sara is running 265 secs
lola: 17639857 markings, 21644732 edges, 66204 markings/sec, 270 secs || sara is running 270 secs
lola: 17961836 markings, 22046682 edges, 64396 markings/sec, 275 secs || sara is running 275 secs
lola: 18289253 markings, 22449554 edges, 65483 markings/sec, 280 secs || sara is running 280 secs
lola: 18621952 markings, 22853310 edges, 66540 markings/sec, 285 secs || sara is running 285 secs
lola: 18942333 markings, 23255867 edges, 64076 markings/sec, 290 secs || sara is running 290 secs
lola: 19262621 markings, 23659319 edges, 64058 markings/sec, 295 secs || sara is running 295 secs
lola: 19599508 markings, 24061078 edges, 67377 markings/sec, 300 secs || sara is running 300 secs
lola: 19924907 markings, 24460414 edges, 65080 markings/sec, 305 secs || sara is running 305 secs
lola: 20245966 markings, 24860911 edges, 64212 markings/sec, 310 secs || sara is running 310 secs
lola: 20574219 markings, 25263664 edges, 65651 markings/sec, 315 secs || sara is running 315 secs
lola: 20891171 markings, 25664952 edges, 63390 markings/sec, 320 secs || sara is running 320 secs
lola: 21212852 markings, 26066639 edges, 64336 markings/sec, 325 secs || sara is running 325 secs
lola: 21553335 markings, 26469680 edges, 68097 markings/sec, 330 secs || sara is running 330 secs
lola: 21892201 markings, 26876530 edges, 67773 markings/sec, 335 secs || sara is running 335 secs
lola: 22240886 markings, 27279765 edges, 69737 markings/sec, 340 secs || sara is running 340 secs
lola: 22569851 markings, 27681062 edges, 65793 markings/sec, 345 secs || sara is running 345 secs
lola: 22909805 markings, 28084642 edges, 67991 markings/sec, 350 secs || sara is running 350 secs
lola: 23248271 markings, 28489406 edges, 67693 markings/sec, 355 secs || sara is running 355 secs
lola: 23575528 markings, 28891967 edges, 65451 markings/sec, 360 secs || sara is running 360 secs
lola: 23903993 markings, 29294581 edges, 65693 markings/sec, 365 secs || sara is running 365 secs
lola: 24224830 markings, 29697882 edges, 64167 markings/sec, 370 secs || sara is running 370 secs
lola: 24564512 markings, 30099004 edges, 67936 markings/sec, 375 secs || sara is running 375 secs
lola: 24888613 markings, 30499043 edges, 64820 markings/sec, 380 secs || sara is running 380 secs
lola: 25212728 markings, 30899119 edges, 64823 markings/sec, 385 secs || sara is running 385 secs
lola: 25534627 markings, 31299851 edges, 64380 markings/sec, 390 secs || sara is running 390 secs
lola: 25858912 markings, 31701842 edges, 64857 markings/sec, 395 secs || sara is running 395 secs
lola: 26181053 markings, 32101153 edges, 64428 markings/sec, 400 secs || sara is running 400 secs
lola: 26502329 markings, 32501932 edges, 64255 markings/sec, 405 secs || sara is running 405 secs
lola: 26829081 markings, 32904230 edges, 65350 markings/sec, 410 secs || sara is running 410 secs
lola: 27153466 markings, 33301039 edges, 64877 markings/sec, 415 secs || sara is running 415 secs
lola: 27475843 markings, 33697979 edges, 64475 markings/sec, 420 secs || sara is running 420 secs
lola: 27801096 markings, 34097117 edges, 65051 markings/sec, 425 secs || sara is running 425 secs
lola: 28124893 markings, 34495238 edges, 64759 markings/sec, 430 secs || sara is running 430 secs
lola: 28436903 markings, 34895530 edges, 62402 markings/sec, 435 secs || sara is running 435 secs
lola: 28756361 markings, 35295759 edges, 63892 markings/sec, 440 secs || sara is running 440 secs
lola: 29077302 markings, 35694417 edges, 64188 markings/sec, 445 secs || sara is running 445 secs
lola: 29399270 markings, 36096509 edges, 64394 markings/sec, 450 secs || sara is running 450 secs
lola: 29733311 markings, 36499770 edges, 66808 markings/sec, 455 secs || sara is running 455 secs
lola: 30068905 markings, 36902311 edges, 67119 markings/sec, 460 secs || sara is running 460 secs
lola: 30405021 markings, 37303704 edges, 67223 markings/sec, 465 secs || sara is running 465 secs
lola: 30735416 markings, 37705079 edges, 66079 markings/sec, 470 secs || sara is running 470 secs
lola: 31065734 markings, 38108081 edges, 66064 markings/sec, 475 secs || sara is running 475 secs
lola: 31396844 markings, 38513258 edges, 66222 markings/sec, 480 secs || sara is running 480 secs
lola: 31726007 markings, 38914902 edges, 65833 markings/sec, 485 secs || sara is running 485 secs
lola: 32031875 markings, 39289953 edges, 61174 markings/sec, 490 secs || sara is running 490 secs
lola: 32343187 markings, 39675798 edges, 62262 markings/sec, 495 secs || sara is running 495 secs
lola: 32665407 markings, 40077968 edges, 64444 markings/sec, 500 secs || sara is running 500 secs
lola: 32996112 markings, 40479847 edges, 66141 markings/sec, 505 secs || sara is running 505 secs
lola: 33320763 markings, 40879057 edges, 64930 markings/sec, 510 secs || sara is running 510 secs
lola: 33644738 markings, 41279605 edges, 64795 markings/sec, 515 secs || sara is running 515 secs
lola: 33974059 markings, 41678959 edges, 65864 markings/sec, 520 secs || sara is running 520 secs
lola: 34293805 markings, 42076757 edges, 63949 markings/sec, 525 secs || sara is running 525 secs
lola: 34611869 markings, 42473226 edges, 63613 markings/sec, 530 secs || sara is running 530 secs
lola: 34902755 markings, 42837570 edges, 58177 markings/sec, 535 secs || sara is running 535 secs
lola: 35201730 markings, 43217377 edges, 59795 markings/sec, 540 secs || sara is running 540 secs
lola: 35523459 markings, 43613196 edges, 64346 markings/sec, 545 secs || sara is running 545 secs
lola: 35842651 markings, 44018234 edges, 63838 markings/sec, 550 secs || sara is running 550 secs
lola: 36154218 markings, 44422346 edges, 62313 markings/sec, 555 secs || sara is running 555 secs
lola: 36471625 markings, 44826487 edges, 63481 markings/sec, 560 secs || sara is running 560 secs
lola: 36765489 markings, 45199216 edges, 58773 markings/sec, 565 secs || sara is running 565 secs
lola: 37076058 markings, 45580760 edges, 62114 markings/sec, 570 secs || sara is running 570 secs
lola: 37404952 markings, 45984275 edges, 65779 markings/sec, 575 secs || sara is running 575 secs
lola: 37723116 markings, 46385398 edges, 63633 markings/sec, 580 secs || sara is running 580 secs
lola: 38005274 markings, 46753930 edges, 56432 markings/sec, 585 secs || sara is running 585 secs
lola: 38303577 markings, 47136498 edges, 59661 markings/sec, 590 secs || sara is running 590 secs
lola: 38633852 markings, 47541614 edges, 66055 markings/sec, 595 secs || sara is running 595 secs
lola: 38923708 markings, 47902714 edges, 57971 markings/sec, 600 secs || sara is running 600 secs
lola: 39225935 markings, 48289046 edges, 60445 markings/sec, 605 secs || sara is running 605 secs
lola: 39538970 markings, 48687681 edges, 62607 markings/sec, 610 secs || sara is running 610 secs
lola: 39830209 markings, 49053608 edges, 58248 markings/sec, 615 secs || sara is running 615 secs
lola: 40133748 markings, 49427968 edges, 60708 markings/sec, 620 secs || sara is running 620 secs
lola: 40454404 markings, 49829448 edges, 64131 markings/sec, 625 secs || sara is running 625 secs
lola: 40753880 markings, 50226359 edges, 59895 markings/sec, 630 secs || sara is running 630 secs
lola: 41032144 markings, 50611925 edges, 55653 markings/sec, 635 secs || sara is running 635 secs
lola: 41300628 markings, 50978924 edges, 53697 markings/sec, 640 secs || sara is running 640 secs
lola: 41603087 markings, 51380423 edges, 60492 markings/sec, 645 secs || sara is running 645 secs
lola: 41914547 markings, 51782481 edges, 62292 markings/sec, 650 secs || sara is running 650 secs
lola: 42211632 markings, 52181207 edges, 59417 markings/sec, 655 secs || sara is running 655 secs
lola: 42530289 markings, 52583602 edges, 63731 markings/sec, 660 secs || sara is running 660 secs
lola: 42849662 markings, 52983534 edges, 63875 markings/sec, 665 secs || sara is running 665 secs
lola: 43165402 markings, 53382927 edges, 63148 markings/sec, 670 secs || sara is running 670 secs
lola: 43465984 markings, 53783187 edges, 60116 markings/sec, 675 secs || sara is running 675 secs
lola: 43792190 markings, 54186734 edges, 65241 markings/sec, 680 secs || sara is running 680 secs
lola: 44114101 markings, 54587589 edges, 64382 markings/sec, 685 secs || sara is running 685 secs
lola: 44436808 markings, 54987845 edges, 64541 markings/sec, 690 secs || sara is running 690 secs
lola: 44760580 markings, 55391355 edges, 64754 markings/sec, 695 secs || sara is running 695 secs
lola: 45084287 markings, 55793969 edges, 64741 markings/sec, 700 secs || sara is running 700 secs
lola: 45411350 markings, 56193288 edges, 65413 markings/sec, 705 secs || sara is running 705 secs
lola: 45734094 markings, 56590653 edges, 64549 markings/sec, 710 secs || sara is running 710 secs
lola: 46057559 markings, 56989936 edges, 64693 markings/sec, 715 secs || sara is running 715 secs
lola: 46385764 markings, 57389011 edges, 65641 markings/sec, 720 secs || sara is running 720 secs
lola: 46709729 markings, 57789367 edges, 64793 markings/sec, 725 secs || sara is running 725 secs
lola: 47028695 markings, 58190857 edges, 63793 markings/sec, 730 secs || sara is running 730 secs
lola: 47332049 markings, 58592381 edges, 60671 markings/sec, 735 secs || sara is running 735 secs
lola: 47659211 markings, 58993575 edges, 65432 markings/sec, 740 secs || sara is running 740 secs
lola: 47987359 markings, 59396777 edges, 65630 markings/sec, 745 secs || sara is running 745 secs
lola: 48320124 markings, 59803161 edges, 66553 markings/sec, 750 secs || sara is running 750 secs
lola: 48648022 markings, 60205136 edges, 65580 markings/sec, 755 secs || sara is running 755 secs
lola: 48948578 markings, 60573913 edges, 60111 markings/sec, 760 secs || sara is running 760 secs
lola: 49278581 markings, 60968048 edges, 66001 markings/sec, 765 secs || sara is running 765 secs
lola: 49600924 markings, 61367387 edges, 64469 markings/sec, 770 secs || sara is running 770 secs
lola: 49924495 markings, 61769122 edges, 64714 markings/sec, 775 secs || sara is running 775 secs
lola: 50254633 markings, 62172539 edges, 66028 markings/sec, 780 secs || sara is running 780 secs
lola: 50571757 markings, 62574417 edges, 63425 markings/sec, 785 secs || sara is running 785 secs
lola: 50884796 markings, 62975457 edges, 62608 markings/sec, 790 secs || sara is running 790 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown unknown yes no no yes unknown yes
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (DEADLOCK OR E (F ((((1 <= p799)) AND ((p1543 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 24 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 1198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p799)) AND ((p1543 <= 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 <= p799)) AND ((p1543 <= 0)))))
lola: processed formula length: 42
lola: 25 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 <= p799)) AND ((p1543 <= 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: 594 markings, 593 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 1198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((((p1231 <= 0)) OR ((1 <= p2039))) AND (((p1630 <= 0)) OR ((1 <= p338)))) U DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((((((p1231 <= 0)) OR ((1 <= p2039))) AND (((p1630 <= 0)) OR ((1 <= p338)))) U DEADLOCK))
lola: processed formula length: 93
lola: 27 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 /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
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: DEADLOCK
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 49748 markings, 291344 edges, 9950 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 97996 markings, 608448 edges, 9650 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 143298 markings, 947057 edges, 9060 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 192561 markings, 1291619 edges, 9853 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 241352 markings, 1636882 edges, 9758 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 287647 markings, 1982562 edges, 9259 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 342010 markings, 2326829 edges, 10873 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 388420 markings, 2671302 edges, 9282 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 428481 markings, 2988807 edges, 8012 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 466497 markings, 3307451 edges, 7603 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 509051 markings, 3645981 edges, 8511 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 551572 markings, 3991627 edges, 8504 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 592875 markings, 4337390 edges, 8261 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 637685 markings, 4683482 edges, 8962 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 687735 markings, 5027708 edges, 10010 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 733584 markings, 5372746 edges, 9170 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 774821 markings, 5718842 edges, 8247 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 813356 markings, 6024966 edges, 7707 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 850503 markings, 6337940 edges, 7429 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 890588 markings, 6660105 edges, 8017 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 931940 markings, 7006590 edges, 8270 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 982276 markings, 7351924 edges, 10067 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 1028758 markings, 7697191 edges, 9296 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 1072336 markings, 8042244 edges, 8716 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 1109879 markings, 8353486 edges, 7509 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 1150413 markings, 8680773 edges, 8107 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 1192552 markings, 9023115 edges, 8428 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 1230322 markings, 9339524 edges, 7554 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 1271480 markings, 9662429 edges, 8232 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 1319114 markings, 9988613 edges, 9527 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 1364295 markings, 10322356 edges, 9036 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 1403152 markings, 10645463 edges, 7771 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 1443450 markings, 10969055 edges, 8060 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 1484886 markings, 11315188 edges, 8287 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1528094 markings, 11661108 edges, 8642 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1568814 markings, 12007697 edges, 8144 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1616638 markings, 12353094 edges, 9565 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1658025 markings, 12698576 edges, 8277 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1698287 markings, 13044579 edges, 8052 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1732924 markings, 13371539 edges, 6927 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1769842 markings, 13701180 edges, 7384 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1806646 markings, 14047914 edges, 7361 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1845385 markings, 14394348 edges, 7748 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1882183 markings, 14741282 edges, 7360 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1923956 markings, 15088273 edges, 8355 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1966793 markings, 15433639 edges, 8567 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 2007524 markings, 15779817 edges, 8146 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 2042804 markings, 16108931 edges, 7056 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 2078880 markings, 16434428 edges, 7215 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 2115117 markings, 16772521 edges, 7247 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 2151792 markings, 17103688 edges, 7335 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 2188854 markings, 17450754 edges, 7412 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 2227594 markings, 17798311 edges, 7748 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 2272178 markings, 18144170 edges, 8917 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 2313130 markings, 18490397 edges, 8190 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 2351815 markings, 18836668 edges, 7737 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 2389230 markings, 19183911 edges, 7483 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 2427474 markings, 19530898 edges, 7649 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 2465264 markings, 19878153 edges, 7558 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 2503166 markings, 20225511 edges, 7580 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 2541171 markings, 20571962 edges, 7601 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 2587308 markings, 20904567 edges, 9227 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 2630731 markings, 21231153 edges, 8685 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 2674323 markings, 21576490 edges, 8718 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 2716925 markings, 21922541 edges, 8520 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 2758144 markings, 22268651 edges, 8244 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 2801908 markings, 22614837 edges, 8753 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 2841091 markings, 22944516 edges, 7837 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 2885602 markings, 23274110 edges, 8902 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 2927899 markings, 23618453 edges, 8459 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 2968534 markings, 23964234 edges, 8127 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 3005281 markings, 24310186 edges, 7349 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 3044139 markings, 24656138 edges, 7772 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 3081004 markings, 25002960 edges, 7373 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 3119760 markings, 25349746 edges, 7751 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 3155441 markings, 25686139 edges, 7136 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 3193010 markings, 26015648 edges, 7514 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 3235977 markings, 26352510 edges, 8593 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 3276197 markings, 26689120 edges, 8044 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 3311899 markings, 27012947 edges, 7140 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 3347733 markings, 27346465 edges, 7167 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 3385994 markings, 27692713 edges, 7652 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 3423686 markings, 28039697 edges, 7538 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 3461620 markings, 28386512 edges, 7587 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 3499735 markings, 28734151 edges, 7623 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 3544087 markings, 29080922 edges, 8870 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 3585277 markings, 29427771 edges, 8238 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 3624359 markings, 29774716 edges, 7816 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 3661222 markings, 30122715 edges, 7373 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 3699910 markings, 30470336 edges, 7738 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 3737144 markings, 30818571 edges, 7447 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 3775927 markings, 31166133 edges, 7757 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 3813561 markings, 31514870 edges, 7527 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 3860542 markings, 31861615 edges, 9396 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 3907115 markings, 32207600 edges, 9315 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 3950822 markings, 32553929 edges, 8741 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 3993366 markings, 32900541 edges, 8509 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 4035055 markings, 33247274 edges, 8338 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 4078502 markings, 33593274 edges, 8689 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 4116152 markings, 33910328 edges, 7530 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 4161549 markings, 34250147 edges, 9079 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 4204539 markings, 34595853 edges, 8598 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 4245354 markings, 34942058 edges, 8163 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 4282416 markings, 35288968 edges, 7412 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 4320923 markings, 35635788 edges, 7701 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 4357886 markings, 35982899 edges, 7393 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 4396865 markings, 36330114 edges, 7796 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 4433735 markings, 36677711 edges, 7374 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 4473490 markings, 37025527 edges, 7951 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 4517696 markings, 37371392 edges, 8841 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 4558995 markings, 37718243 edges, 8260 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 4596900 markings, 38065465 edges, 7581 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 4635022 markings, 38413028 edges, 7624 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 4672386 markings, 38760674 edges, 7473 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 4710792 markings, 39108663 edges, 7681 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 4747918 markings, 39456614 edges, 7425 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 4787062 markings, 39805247 edges, 7829 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 4831528 markings, 40152358 edges, 8893 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 4872918 markings, 40499885 edges, 8278 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 4911541 markings, 40847843 edges, 7725 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 4949170 markings, 41195978 edges, 7526 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 4987395 markings, 41544247 edges, 7645 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 5025545 markings, 41892720 edges, 7630 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 5063264 markings, 42241221 edges, 7544 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 5101668 markings, 42590437 edges, 7681 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 5149908 markings, 42936648 edges, 9648 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 5196485 markings, 43281913 edges, 9315 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 5238948 markings, 43627912 edges, 8493 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 5281935 markings, 43974195 edges, 8597 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 5323277 markings, 44320744 edges, 8268 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 5366454 markings, 44666930 edges, 8635 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 5407359 markings, 45013950 edges, 8181 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 5455169 markings, 45359686 edges, 9562 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 5496612 markings, 45705238 edges, 8289 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 5536766 markings, 46051721 edges, 8031 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 5573630 markings, 46398717 edges, 7373 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 5612318 markings, 46745455 edges, 7738 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 5649095 markings, 47092777 edges, 7355 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 5685875 markings, 47422053 edges, 7356 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 5721739 markings, 47759813 edges, 7173 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 5762878 markings, 48096298 edges, 8228 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 5805468 markings, 48441613 edges, 8518 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 5846132 markings, 48787653 edges, 8133 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 5883004 markings, 49134452 edges, 7374 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 5921897 markings, 49481332 edges, 7779 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 5958819 markings, 49828690 edges, 7384 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 5995550 markings, 50156688 edges, 7346 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 6030442 markings, 50486433 edges, 6978 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 6068643 markings, 50823599 edges, 7640 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 6112641 markings, 51169536 edges, 8800 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 6154132 markings, 51516020 edges, 8298 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 6192405 markings, 51863066 edges, 7655 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 6230236 markings, 52210671 edges, 7566 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 6268167 markings, 52558093 edges, 7586 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 6306297 markings, 52905729 edges, 7626 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 6343657 markings, 53253341 edges, 7472 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 6382094 markings, 53601669 edges, 7687 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 6426824 markings, 53947496 edges, 8946 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 6467490 markings, 54293591 edges, 8133 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 6506309 markings, 54639874 edges, 7764 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 6543422 markings, 54986792 edges, 7423 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 6582027 markings, 55333712 edges, 7721 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 6619564 markings, 55681178 edges, 7507 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 6657749 markings, 56028309 edges, 7637 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 6695690 markings, 56375946 edges, 7588 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 6737449 markings, 56722652 edges, 8352 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 6774248 markings, 57069466 edges, 7360 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 6810690 markings, 57416535 edges, 7288 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 6843757 markings, 57763704 edges, 6613 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 6878719 markings, 58111252 edges, 6992 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 6912332 markings, 58458991 edges, 6723 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 6947054 markings, 58806782 edges, 6944 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 6979400 markings, 59137790 edges, 6469 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 7012153 markings, 59474231 edges, 6551 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 7051032 markings, 59817544 edges, 7776 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 7088087 markings, 60164202 edges, 7411 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 7124898 markings, 60511540 edges, 7362 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 7158571 markings, 60858983 edges, 6735 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 7193223 markings, 61206735 edges, 6930 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 7227195 markings, 61554766 edges, 6794 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 7261303 markings, 61903107 edges, 6822 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 7295604 markings, 62251120 edges, 6860 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 7329358 markings, 62599935 edges, 6751 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 7368746 markings, 62948017 edges, 7878 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 7406052 markings, 63295176 edges, 7461 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 7442887 markings, 63642612 edges, 7367 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 7476749 markings, 63990190 edges, 6772 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 7509827 markings, 64326640 edges, 6616 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 7542333 markings, 64656904 edges, 6501 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 7574087 markings, 64989605 edges, 6351 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 7609002 markings, 65337581 edges, 6983 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 7642615 markings, 65686184 edges, 6723 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 7681666 markings, 66034585 edges, 7810 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 7724289 markings, 66380360 edges, 8525 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 7765004 markings, 66726878 edges, 8143 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 7799256 markings, 67047000 edges, 6850 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 7835778 markings, 67376562 edges, 7304 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 7872841 markings, 67723629 edges, 7413 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 7911516 markings, 68070968 edges, 7735 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 7945824 markings, 68393857 edges, 6862 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 7982454 markings, 68722452 edges, 7326 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 8023680 markings, 69065816 edges, 8245 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 8060436 markings, 69412337 edges, 7351 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 8094994 markings, 69747485 edges, 6912 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 8126345 markings, 70075523 edges, 6270 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 8160584 markings, 70415211 edges, 6848 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 8193739 markings, 70762509 edges, 6631 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 8228540 markings, 71108938 edges, 6960 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 8260796 markings, 71439575 edges, 6451 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 8292665 markings, 71764776 edges, 6374 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 8332010 markings, 72112505 edges, 7869 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 8368908 markings, 72459362 edges, 7380 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 8405677 markings, 72806595 edges, 7354 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 8439247 markings, 73154355 edges, 6714 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 8474038 markings, 73502172 edges, 6958 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 8507951 markings, 73849802 edges, 6783 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 8542271 markings, 74197899 edges, 6864 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 8576387 markings, 74545868 edges, 6823 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 8610283 markings, 74894444 edges, 6779 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 8649653 markings, 75242324 edges, 7874 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 8686774 markings, 75589530 edges, 7424 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 8723608 markings, 75937238 edges, 7367 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 8757363 markings, 76285363 edges, 6751 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 8792102 markings, 76633950 edges, 6948 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 8826123 markings, 76982505 edges, 6804 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 8860290 markings, 77331364 edges, 6833 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 8894634 markings, 77679958 edges, 6869 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 8928434 markings, 78029145 edges, 6760 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 8969400 markings, 78377239 edges, 8193 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 9010833 markings, 78723857 edges, 8287 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 9051544 markings, 79070918 edges, 8142 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 9088385 markings, 79418253 edges, 7368 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 9127228 markings, 79765416 edges, 7769 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 9164129 markings, 80113069 edges, 7380 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 9202835 markings, 80460500 edges, 7741 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 9239698 markings, 80808773 edges, 7373 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 9281624 markings, 81156893 edges, 8385 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 9319672 markings, 81503528 edges, 7610 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 9356580 markings, 81851179 edges, 7382 markings/sec, 1190 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown no unknown unknown yes no no yes unknown yes
lola: memory consumption: 757416 KB
lola: time consumption: 2372 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 12 will run for 1198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((((1 <= p80)) AND ((p1048 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (((p80 <= 0)) OR ((1 <= p1048)))
lola: processed formula length: 33
lola: 28 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p80)) AND ((p1048 <= 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: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p80 <= 0)) OR ((1 <= p1048)))
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-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-0.sara.
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-1.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 3476 markings, 3475 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897)))))) OR (A (X (((1 <= p1645)))) AND ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p310 <= 0) OR ((p1353 <= 0)) OR ((1 <= p414)) OR ((p925 <= 0)) OR ((1 <= p1620)))
lola: processed formula length: 87
lola: 24 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 5 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: ========================================
lola: ...considering subproblem: E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((((p467 <= 0)) OR ((1 <= p1308))) AND (((p1907 <= 0)) OR ((1 <= p1897))))))
lola: processed formula length: 84
lola: 25 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((1 <= p467)) AND ((p1308 <= 0))) OR (((1 <= p1907)) AND ((p1897 <= 0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: 276109 markings, 378095 edges, 55222 markings/sec, 0 secs || sara is running 0 secs
lola: 573782 markings, 778041 edges, 59535 markings/sec, 5 secs || sara is running 5 secs
lola: 840921 markings, 1179081 edges, 53428 markings/sec, 10 secs || sara is running 10 secs
lola: 1155438 markings, 1577603 edges, 62903 markings/sec, 15 secs || sara is running 15 secs
lola: 1410366 markings, 1976733 edges, 50986 markings/sec, 20 secs || sara is running 20 secs
lola: 1717805 markings, 2375539 edges, 61488 markings/sec, 25 secs || sara is running 25 secs
lola: 2009841 markings, 2777106 edges, 58407 markings/sec, 30 secs || sara is running 30 secs
lola: 2304629 markings, 3181453 edges, 58958 markings/sec, 35 secs || sara is running 35 secs
lola: 2599358 markings, 3585906 edges, 58946 markings/sec, 40 secs || sara is running 40 secs
lola: 2890294 markings, 3986319 edges, 58187 markings/sec, 45 secs || sara is running 45 secs
lola: 3216507 markings, 4384979 edges, 65243 markings/sec, 50 secs || sara is running 50 secs
lola: 3550109 markings, 4782887 edges, 66720 markings/sec, 55 secs || sara is running 55 secs
lola: 3881780 markings, 5180188 edges, 66334 markings/sec, 60 secs || sara is running 60 secs
lola: 4212437 markings, 5579662 edges, 66131 markings/sec, 65 secs || sara is running 65 secs
lola: 4497272 markings, 5979935 edges, 56967 markings/sec, 70 secs || sara is running 70 secs
lola: 4771233 markings, 6381026 edges, 54792 markings/sec, 75 secs || sara is running 75 secs
lola: 5062431 markings, 6780932 edges, 58240 markings/sec, 80 secs || sara is running 80 secs
lola: 5361286 markings, 7182588 edges, 59771 markings/sec, 85 secs || sara is running 85 secs
lola: 5664753 markings, 7584545 edges, 60693 markings/sec, 90 secs || sara is running 90 secs
lola: 5947928 markings, 7983259 edges, 56635 markings/sec, 95 secs || sara is running 95 secs
lola: 6219161 markings, 8382097 edges, 54247 markings/sec, 100 secs || sara is running 100 secs
lola: 6503631 markings, 8781051 edges, 56894 markings/sec, 105 secs || sara is running 105 secs
lola: 6787639 markings, 9181649 edges, 56802 markings/sec, 110 secs || sara is running 110 secs
lola: 7077114 markings, 9578300 edges, 57895 markings/sec, 115 secs || sara is running 115 secs
lola: 7408914 markings, 9974273 edges, 66360 markings/sec, 120 secs || sara is running 120 secs
lola: 7735475 markings, 10369378 edges, 65312 markings/sec, 125 secs || sara is running 125 secs
lola: 8039463 markings, 10767605 edges, 60798 markings/sec, 130 secs || sara is running 130 secs
lola: 8302260 markings, 11165366 edges, 52559 markings/sec, 135 secs || sara is running 135 secs
lola: 8588091 markings, 11563479 edges, 57166 markings/sec, 140 secs || sara is running 140 secs
lola: 8878337 markings, 11961298 edges, 58049 markings/sec, 145 secs || sara is running 145 secs
lola: 9122078 markings, 12309125 edges, 48748 markings/sec, 150 secs || sara is running 150 secs
lola: 9371431 markings, 12680625 edges, 49871 markings/sec, 155 secs || sara is running 155 secs
lola: 9666166 markings, 13078473 edges, 58947 markings/sec, 160 secs || sara is running 160 secs
lola: 9992082 markings, 13473303 edges, 65183 markings/sec, 165 secs || sara is running 165 secs
lola: 10317350 markings, 13869302 edges, 65054 markings/sec, 170 secs || sara is running 170 secs
lola: 10624383 markings, 14268044 edges, 61407 markings/sec, 175 secs || sara is running 175 secs
lola: 10916578 markings, 14663029 edges, 58439 markings/sec, 180 secs || sara is running 180 secs
lola: 11219423 markings, 15060322 edges, 60569 markings/sec, 185 secs || sara is running 185 secs
lola: 11510203 markings, 15438772 edges, 58156 markings/sec, 190 secs || sara is running 190 secs
lola: 11808159 markings, 15809133 edges, 59591 markings/sec, 195 secs || sara is running 195 secs
lola: 12146090 markings, 16207679 edges, 67586 markings/sec, 200 secs || sara is running 200 secs
lola: 12450792 markings, 16609481 edges, 60940 markings/sec, 205 secs || sara is running 205 secs
lola: 12761553 markings, 17012490 edges, 62152 markings/sec, 210 secs || sara is running 210 secs
lola: 13065826 markings, 17414156 edges, 60855 markings/sec, 215 secs || sara is running 215 secs
lola: 13375576 markings, 17815724 edges, 61950 markings/sec, 220 secs || sara is running 220 secs
lola: 13692897 markings, 18214398 edges, 63464 markings/sec, 225 secs || sara is running 225 secs
lola: 14007527 markings, 18613586 edges, 62926 markings/sec, 230 secs || sara is running 230 secs
lola: 14311373 markings, 19015985 edges, 60769 markings/sec, 235 secs || sara is running 235 secs
lola: 14610257 markings, 19416218 edges, 59777 markings/sec, 240 secs || sara is running 240 secs
lola: 14929219 markings, 19810617 edges, 63792 markings/sec, 245 secs || sara is running 245 secs
lola: 15224875 markings, 20209002 edges, 59131 markings/sec, 250 secs || sara is running 250 secs
lola: 15518739 markings, 20606506 edges, 58773 markings/sec, 255 secs || sara is running 255 secs
lola: 15834084 markings, 21003890 edges, 63069 markings/sec, 260 secs || sara is running 260 secs
lola: 16147808 markings, 21400081 edges, 62745 markings/sec, 265 secs || sara is running 265 secs
lola: 16450837 markings, 21794549 edges, 60606 markings/sec, 270 secs || sara is running 270 secs
lola: 16763271 markings, 22191759 edges, 62487 markings/sec, 275 secs || sara is running 275 secs
lola: 17065821 markings, 22587884 edges, 60510 markings/sec, 280 secs || sara is running 280 secs
lola: 17353045 markings, 22983643 edges, 57445 markings/sec, 285 secs || sara is running 285 secs
lola: 17664470 markings, 23379645 edges, 62285 markings/sec, 290 secs || sara is running 290 secs
lola: 17963269 markings, 23775416 edges, 59760 markings/sec, 295 secs || sara is running 295 secs
lola: 18267452 markings, 24170734 edges, 60837 markings/sec, 300 secs || sara is running 300 secs
lola: 18545313 markings, 24568539 edges, 55572 markings/sec, 305 secs || sara is running 305 secs
lola: 18816186 markings, 24966537 edges, 54175 markings/sec, 310 secs || sara is running 310 secs
lola: 19088243 markings, 25363231 edges, 54411 markings/sec, 315 secs || sara is running 315 secs
lola: 19383384 markings, 25761782 edges, 59028 markings/sec, 320 secs || sara is running 320 secs
lola: 19692156 markings, 26159062 edges, 61754 markings/sec, 325 secs || sara is running 325 secs
lola: 20000783 markings, 26558813 edges, 61725 markings/sec, 330 secs || sara is running 330 secs
lola: 20303446 markings, 26957024 edges, 60533 markings/sec, 335 secs || sara is running 335 secs
lola: 20606635 markings, 27353511 edges, 60638 markings/sec, 340 secs || sara is running 340 secs
lola: 20901386 markings, 27749346 edges, 58950 markings/sec, 345 secs || sara is running 345 secs
lola: 21192668 markings, 28145970 edges, 58256 markings/sec, 350 secs || sara is running 350 secs
lola: 21495392 markings, 28543715 edges, 60545 markings/sec, 355 secs || sara is running 355 secs
lola: 21780409 markings, 28937197 edges, 57003 markings/sec, 360 secs || sara is running 360 secs
lola: 22097946 markings, 29337193 edges, 63507 markings/sec, 365 secs || sara is running 365 secs
lola: 22371040 markings, 29736223 edges, 54619 markings/sec, 370 secs || sara is running 370 secs
lola: 22645011 markings, 30129797 edges, 54794 markings/sec, 375 secs || sara is running 375 secs
lola: 22976667 markings, 30526425 edges, 66331 markings/sec, 380 secs || sara is running 380 secs
lola: 23293807 markings, 30922836 edges, 63428 markings/sec, 385 secs || sara is running 385 secs
lola: 23548622 markings, 31320421 edges, 50963 markings/sec, 390 secs || sara is running 390 secs
lola: 23833383 markings, 31721146 edges, 56952 markings/sec, 395 secs || sara is running 395 secs
lola: 24087027 markings, 32115937 edges, 50729 markings/sec, 400 secs || sara is running 400 secs
lola: 24379415 markings, 32516022 edges, 58478 markings/sec, 405 secs || sara is running 405 secs
lola: 24711435 markings, 32912155 edges, 66404 markings/sec, 410 secs || sara is running 410 secs
lola: 24997711 markings, 33310348 edges, 57255 markings/sec, 415 secs || sara is running 415 secs
lola: 25275335 markings, 33706014 edges, 55525 markings/sec, 420 secs || sara is running 420 secs
lola: 25594887 markings, 34103118 edges, 63910 markings/sec, 425 secs || sara is running 425 secs
lola: 25930060 markings, 34499668 edges, 67035 markings/sec, 430 secs || sara is running 430 secs
lola: 26248515 markings, 34896769 edges, 63691 markings/sec, 435 secs || sara is running 435 secs
lola: 26551130 markings, 35295352 edges, 60523 markings/sec, 440 secs || sara is running 440 secs
lola: 26867708 markings, 35693149 edges, 63316 markings/sec, 445 secs || sara is running 445 secs
lola: 27151590 markings, 36093667 edges, 56776 markings/sec, 450 secs || sara is running 450 secs
lola: 27455830 markings, 36490214 edges, 60848 markings/sec, 455 secs || sara is running 455 secs
lola: 27754483 markings, 36888699 edges, 59731 markings/sec, 460 secs || sara is running 460 secs
lola: 28066699 markings, 37285901 edges, 62443 markings/sec, 465 secs || sara is running 465 secs
lola: 28353088 markings, 37679653 edges, 57278 markings/sec, 470 secs || sara is running 470 secs
lola: 28638721 markings, 38072642 edges, 57127 markings/sec, 475 secs || sara is running 475 secs
lola: 28935824 markings, 38470454 edges, 59421 markings/sec, 480 secs || sara is running 480 secs
lola: 29196997 markings, 38865679 edges, 52235 markings/sec, 485 secs || sara is running 485 secs
lola: 29475616 markings, 39258765 edges, 55724 markings/sec, 490 secs || sara is running 490 secs
lola: 29791218 markings, 39658397 edges, 63120 markings/sec, 495 secs || sara is running 495 secs
lola: 30097211 markings, 40055929 edges, 61199 markings/sec, 500 secs || sara is running 500 secs
lola: 30391140 markings, 40449721 edges, 58786 markings/sec, 505 secs || sara is running 505 secs
lola: 30677244 markings, 40847713 edges, 57221 markings/sec, 510 secs || sara is running 510 secs
lola: 30966626 markings, 41246348 edges, 57876 markings/sec, 515 secs || sara is running 515 secs
lola: 31249288 markings, 41640957 edges, 56532 markings/sec, 520 secs || sara is running 520 secs
lola: 31521455 markings, 42037813 edges, 54433 markings/sec, 525 secs || sara is running 525 secs
lola: 31857260 markings, 42438172 edges, 67161 markings/sec, 530 secs || sara is running 530 secs
lola: 32136282 markings, 42837287 edges, 55804 markings/sec, 535 secs || sara is running 535 secs
lola: 32421679 markings, 43240221 edges, 57079 markings/sec, 540 secs || sara is running 540 secs
lola: 32715618 markings, 43638200 edges, 58788 markings/sec, 545 secs || sara is running 545 secs
lola: 33040391 markings, 44030704 edges, 64955 markings/sec, 550 secs || sara is running 550 secs
lola: 33372692 markings, 44429158 edges, 66460 markings/sec, 555 secs || sara is running 555 secs
lola: 33651830 markings, 44826551 edges, 55828 markings/sec, 560 secs || sara is running 560 secs
lola: 33920691 markings, 45224760 edges, 53772 markings/sec, 565 secs || sara is running 565 secs
lola: 34213697 markings, 45626732 edges, 58601 markings/sec, 570 secs || sara is running 570 secs
lola: 34491841 markings, 46026025 edges, 55629 markings/sec, 575 secs || sara is running 575 secs
lola: 34758244 markings, 46424449 edges, 53281 markings/sec, 580 secs || sara is running 580 secs
lola: 35032693 markings, 46824930 edges, 54890 markings/sec, 585 secs || sara is running 585 secs
lola: 35321151 markings, 47220424 edges, 57692 markings/sec, 590 secs || sara is running 590 secs
lola: 35647437 markings, 47615218 edges, 65257 markings/sec, 595 secs || sara is running 595 secs
lola: 35954935 markings, 48012013 edges, 61500 markings/sec, 600 secs || sara is running 600 secs
lola: 36212827 markings, 48408867 edges, 51578 markings/sec, 605 secs || sara is running 605 secs
lola: 36495013 markings, 48805314 edges, 56437 markings/sec, 610 secs || sara is running 610 secs
lola: 36759986 markings, 49201184 edges, 52995 markings/sec, 615 secs || sara is running 615 secs
lola: 37030681 markings, 49593590 edges, 54139 markings/sec, 620 secs || sara is running 620 secs
lola: 37375951 markings, 49993902 edges, 69054 markings/sec, 625 secs || sara is running 625 secs
lola: 37719123 markings, 50393122 edges, 68634 markings/sec, 630 secs || sara is running 630 secs
lola: 38062883 markings, 50794663 edges, 68752 markings/sec, 635 secs || sara is running 635 secs
lola: 38405988 markings, 51195626 edges, 68621 markings/sec, 640 secs || sara is running 640 secs
lola: 38707121 markings, 51595650 edges, 60227 markings/sec, 645 secs || sara is running 645 secs
lola: 39017624 markings, 51993783 edges, 62101 markings/sec, 650 secs || sara is running 650 secs
lola: 39311580 markings, 52393658 edges, 58791 markings/sec, 655 secs || sara is running 655 secs
lola: 39634510 markings, 52788945 edges, 64586 markings/sec, 660 secs || sara is running 660 secs
lola: 39925768 markings, 53190764 edges, 58252 markings/sec, 665 secs || sara is running 665 secs
lola: 40213594 markings, 53591909 edges, 57565 markings/sec, 670 secs || sara is running 670 secs
lola: 40523055 markings, 53989203 edges, 61892 markings/sec, 675 secs || sara is running 675 secs
lola: 40815288 markings, 54388561 edges, 58447 markings/sec, 680 secs || sara is running 680 secs
lola: 41108210 markings, 54786924 edges, 58584 markings/sec, 685 secs || sara is running 685 secs
lola: 41453049 markings, 55188311 edges, 68968 markings/sec, 690 secs || sara is running 690 secs
lola: 41761540 markings, 55586865 edges, 61698 markings/sec, 695 secs || sara is running 695 secs
lola: 42056721 markings, 55981754 edges, 59036 markings/sec, 700 secs || sara is running 700 secs
lola: 42366472 markings, 56376157 edges, 61950 markings/sec, 705 secs || sara is running 705 secs
lola: 42671077 markings, 56771708 edges, 60921 markings/sec, 710 secs || sara is running 710 secs
lola: 42967304 markings, 57167932 edges, 59245 markings/sec, 715 secs || sara is running 715 secs
lola: 43261122 markings, 57560484 edges, 58764 markings/sec, 720 secs || sara is running 720 secs
lola: 43567936 markings, 57957546 edges, 61363 markings/sec, 725 secs || sara is running 725 secs
lola: 43854480 markings, 58352142 edges, 57309 markings/sec, 730 secs || sara is running 730 secs
lola: 44118377 markings, 58745707 edges, 52779 markings/sec, 735 secs || sara is running 735 secs
lola: 44393727 markings, 59143711 edges, 55070 markings/sec, 740 secs || sara is running 740 secs
lola: 44724893 markings, 59538422 edges, 66233 markings/sec, 745 secs || sara is running 745 secs
lola: 45032745 markings, 59935662 edges, 61570 markings/sec, 750 secs || sara is running 750 secs
lola: 45338044 markings, 60334000 edges, 61060 markings/sec, 755 secs || sara is running 755 secs
lola: 45642740 markings, 60727841 edges, 60939 markings/sec, 760 secs || sara is running 760 secs
lola: 45938212 markings, 61123014 edges, 59094 markings/sec, 765 secs || sara is running 765 secs
lola: 46243109 markings, 61522997 edges, 60979 markings/sec, 770 secs || sara is running 770 secs
lola: 46568358 markings, 61931767 edges, 65050 markings/sec, 775 secs || sara is running 775 secs
lola: 46898682 markings, 62333628 edges, 66065 markings/sec, 780 secs || sara is running 780 secs
lola: 47232476 markings, 62740493 edges, 66759 markings/sec, 785 secs || sara is running 785 secs
lola: 47562911 markings, 63147239 edges, 66087 markings/sec, 790 secs || sara is running 790 secs
lola: 47897983 markings, 63551184 edges, 67014 markings/sec, 795 secs || sara is running 795 secs
lola: 48221256 markings, 63957042 edges, 64655 markings/sec, 800 secs || sara is running 800 secs
lola: 48534879 markings, 64358842 edges, 62725 markings/sec, 805 secs || sara is running 805 secs
lola: 48843657 markings, 64759650 edges, 61756 markings/sec, 810 secs || sara is running 810 secs
lola: 49167258 markings, 65165658 edges, 64720 markings/sec, 815 secs || sara is running 815 secs
lola: 49491879 markings, 65570746 edges, 64924 markings/sec, 820 secs || sara is running 820 secs
lola: 49803025 markings, 65975336 edges, 62229 markings/sec, 825 secs || sara is running 825 secs
lola: 50131257 markings, 66377971 edges, 65646 markings/sec, 830 secs || sara is running 830 secs
lola: 50453330 markings, 66781720 edges, 64415 markings/sec, 835 secs || sara is running 835 secs
lola: 50767314 markings, 67185168 edges, 62797 markings/sec, 840 secs || sara is running 840 secs
lola: 51088962 markings, 67593814 edges, 64330 markings/sec, 845 secs || sara is running 845 secs
lola: 51416042 markings, 67993892 edges, 65416 markings/sec, 850 secs || sara is running 850 secs
lola: 51735653 markings, 68390337 edges, 63922 markings/sec, 855 secs || sara is running 855 secs
lola: 52062443 markings, 68789070 edges, 65358 markings/sec, 860 secs || sara is running 860 secs
lola: 52380790 markings, 69193235 edges, 63669 markings/sec, 865 secs || sara is running 865 secs
lola: 52699226 markings, 69596653 edges, 63687 markings/sec, 870 secs || sara is running 870 secs
lola: 53019647 markings, 69999350 edges, 64084 markings/sec, 875 secs || sara is running 875 secs
lola: 53342297 markings, 70409102 edges, 64530 markings/sec, 880 secs || sara is running 880 secs
lola: 53659599 markings, 70811646 edges, 63460 markings/sec, 885 secs || sara is running 885 secs
lola: 53992000 markings, 71207256 edges, 66480 markings/sec, 890 secs || sara is running 890 secs
lola: 54320928 markings, 71607129 edges, 65786 markings/sec, 895 secs || sara is running 895 secs
lola: 54651139 markings, 72008772 edges, 66042 markings/sec, 900 secs || sara is running 900 secs
lola: 54979907 markings, 72413071 edges, 65754 markings/sec, 905 secs || sara is running 905 secs
lola: 55297782 markings, 72817598 edges, 63575 markings/sec, 910 secs || sara is running 910 secs
lola: 55608496 markings, 73219498 edges, 62143 markings/sec, 915 secs || sara is running 915 secs
lola: 55912459 markings, 73619418 edges, 60793 markings/sec, 920 secs || sara is running 920 secs
lola: 56224787 markings, 74019239 edges, 62466 markings/sec, 925 secs || sara is running 925 secs
lola: 56528097 markings, 74422027 edges, 60662 markings/sec, 930 secs || sara is running 930 secs
lola: 56817577 markings, 74818690 edges, 57896 markings/sec, 935 secs || sara is running 935 secs
lola: 57136968 markings, 75223486 edges, 63878 markings/sec, 940 secs || sara is running 940 secs
lola: 57453891 markings, 75627040 edges, 63385 markings/sec, 945 secs || sara is running 945 secs
lola: 57768881 markings, 76032471 edges, 62998 markings/sec, 950 secs || sara is running 950 secs
lola: 58083142 markings, 76435608 edges, 62852 markings/sec, 955 secs || sara is running 955 secs
lola: 58397143 markings, 76839220 edges, 62800 markings/sec, 960 secs || sara is running 960 secs
lola: 58717768 markings, 77241639 edges, 64125 markings/sec, 965 secs || sara is running 965 secs
lola: 59018688 markings, 77644235 edges, 60184 markings/sec, 970 secs || sara is running 970 secs
lola: 59327983 markings, 78046746 edges, 61859 markings/sec, 975 secs || sara is running 975 secs
lola: 59620340 markings, 78446123 edges, 58471 markings/sec, 980 secs || sara is running 980 secs
lola: 59925627 markings, 78845109 edges, 61057 markings/sec, 985 secs || sara is running 985 secs
lola: 60259771 markings, 79245536 edges, 66829 markings/sec, 990 secs || sara is running 990 secs
lola: 60554133 markings, 79598583 edges, 58872 markings/sec, 995 secs || sara is running 995 secs
lola: 60888990 markings, 79997649 edges, 66971 markings/sec, 1000 secs || sara is running 1000 secs
lola: 61230737 markings, 80402718 edges, 68349 markings/sec, 1005 secs || sara is running 1005 secs
lola: 61574907 markings, 80807310 edges, 68834 markings/sec, 1010 secs || sara is running 1010 secs
lola: 61919352 markings, 81211302 edges, 68889 markings/sec, 1015 secs || sara is running 1015 secs
lola: 62260110 markings, 81615334 edges, 68152 markings/sec, 1020 secs || sara is running 1020 secs
lola: 62591307 markings, 82016097 edges, 66239 markings/sec, 1025 secs || sara is running 1025 secs
lola: 62931411 markings, 82421026 edges, 68021 markings/sec, 1030 secs || sara is running 1030 secs
lola: 63268519 markings, 82823177 edges, 67422 markings/sec, 1035 secs || sara is running 1035 secs
lola: 63601502 markings, 83223797 edges, 66597 markings/sec, 1040 secs || sara is running 1040 secs
lola: 63938729 markings, 83629530 edges, 67445 markings/sec, 1045 secs || sara is running 1045 secs
lola: 64281790 markings, 84032708 edges, 68612 markings/sec, 1050 secs || sara is running 1050 secs
lola: 64615554 markings, 84431720 edges, 66753 markings/sec, 1055 secs || sara is running 1055 secs
lola: 64952655 markings, 84835909 edges, 67420 markings/sec, 1060 secs || sara is running 1060 secs
lola: 65293415 markings, 85242724 edges, 68152 markings/sec, 1065 secs || sara is running 1065 secs
lola: 65630713 markings, 85646705 edges, 67460 markings/sec, 1070 secs || sara is running 1070 secs
lola: 65970990 markings, 86044327 edges, 68055 markings/sec, 1075 secs || sara is running 1075 secs
lola: 66309884 markings, 86444896 edges, 67779 markings/sec, 1080 secs || sara is running 1080 secs
lola: 66647534 markings, 86848257 edges, 67530 markings/sec, 1085 secs || sara is running 1085 secs
lola: 66973058 markings, 87249584 edges, 65105 markings/sec, 1090 secs || sara is running 1090 secs
lola: 67303323 markings, 87648965 edges, 66053 markings/sec, 1095 secs || sara is running 1095 secs
lola: 67628511 markings, 88048177 edges, 65038 markings/sec, 1100 secs || sara is running 1100 secs
lola: 67967023 markings, 88452103 edges, 67702 markings/sec, 1105 secs || sara is running 1105 secs
lola: 68300569 markings, 88855304 edges, 66709 markings/sec, 1110 secs || sara is running 1110 secs
lola: 68632159 markings, 89256767 edges, 66318 markings/sec, 1115 secs || sara is running 1115 secs
lola: 68962523 markings, 89657177 edges, 66073 markings/sec, 1120 secs || sara is running 1120 secs
lola: 69290519 markings, 90057619 edges, 65599 markings/sec, 1125 secs || sara is running 1125 secs
lola: 69618332 markings, 90456668 edges, 65563 markings/sec, 1130 secs || sara is running 1130 secs
lola: 69955675 markings, 90853071 edges, 67469 markings/sec, 1135 secs || sara is running 1135 secs
lola: 70283509 markings, 91255037 edges, 65567 markings/sec, 1140 secs || sara is running 1140 secs
lola: 70608016 markings, 91656640 edges, 64901 markings/sec, 1145 secs || sara is running 1145 secs
lola: 70913290 markings, 92053074 edges, 61055 markings/sec, 1150 secs || sara is running 1150 secs
lola: 71229077 markings, 92453027 edges, 63157 markings/sec, 1155 secs || sara is running 1155 secs
lola: 71539454 markings, 92853225 edges, 62075 markings/sec, 1160 secs || sara is running 1160 secs
lola: 71848769 markings, 93253010 edges, 61863 markings/sec, 1165 secs || sara is running 1165 secs
lola: 72168689 markings, 93653998 edges, 63984 markings/sec, 1170 secs || sara is running 1170 secs
lola: 72489823 markings, 94052497 edges, 64227 markings/sec, 1175 secs || sara is running 1175 secs
lola: 72791990 markings, 94447720 edges, 60433 markings/sec, 1180 secs || sara is running 1180 secs
lola: 73100903 markings, 94844876 edges, 61783 markings/sec, 1185 secs || sara is running 1185 secs
lola: 73382199 markings, 95237103 edges, 56259 markings/sec, 1190 secs || sara is running 1190 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no no unknown unknown yes no no yes unknown yes
lola:
preliminary result: no yes no no no unknown unknown yes no no yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no no unknown unknown yes no no yes unknown yes
lola: memory consumption: 4698792 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: no yes no no no unknown unknown yes no no yes unknown yes
lola: memory consumption: 4698792 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: memory consumption: 4699104 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427456 kB
MemFree: 15730704 kB
After kill :
MemTotal: 16427456 kB
MemFree: 15730948 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-030B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ShieldPPPs-PT-030B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r211-tajo-159033477600515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-030B.tgz
mv ShieldPPPs-PT-030B 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 ;