About the Execution of LoLA for BlocksWorld-PT-14
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1832.348 | 1800000.00 | 5414197.00 | 4340.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r614-tall-171774432200170.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BlocksWorld-PT-14, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432200170
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 64M
-rw-r--r-- 1 mcc users 1.2M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 5.3M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 8.1M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 38K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 823K Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.2M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 4.2M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 158K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 380K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 5.1M Jun 7 06:26 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME OneSafe
=== Now, execution of the tool begins
BK_START 1717779785311
starting LoLA
BK_EXAMINATION: OneSafe
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5390
[[35mlola[0m][I] state equation: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5379
[[35mlola[0m][I] state equation: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5368
[[35mlola[0m][I] state equation: 33
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5357
[[35mlola[0m][I] state equation: 44
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5346
[[35mlola[0m][I] state equation: 55
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5335
[[35mlola[0m][I] state equation: 66
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5324
[[35mlola[0m][I] state equation: 77
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5313
[[35mlola[0m][I] state equation: 88
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5301
[[35mlola[0m][I] state equation: 100
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5290
[[35mlola[0m][I] state equation: 111
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5279
[[35mlola[0m][I] state equation: 122
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5267
[[35mlola[0m][I] state equation: 134
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5256
[[35mlola[0m][I] state equation: 145
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5245
[[35mlola[0m][I] state equation: 156
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5233
[[35mlola[0m][I] state equation: 168
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5222
[[35mlola[0m][I] state equation: 179
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5211
[[35mlola[0m][I] state equation: 190
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5200
[[35mlola[0m][I] state equation: 201
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5188
[[35mlola[0m][I] state equation: 213
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5176
[[35mlola[0m][I] state equation: 225
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5165
[[35mlola[0m][I] state equation: 236
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5153
[[35mlola[0m][I] state equation: 248
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5142
[[35mlola[0m][I] state equation: 259
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5131
[[35mlola[0m][I] state equation: 270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5119
[[35mlola[0m][I] state equation: 282
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5108
[[35mlola[0m][I] state equation: 293
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5097
[[35mlola[0m][I] state equation: 304
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5085
[[35mlola[0m][I] state equation: 316
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5074
[[35mlola[0m][I] state equation: 327
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5063
[[35mlola[0m][I] state equation: 338
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5051
[[35mlola[0m][I] state equation: 350
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5040
[[35mlola[0m][I] state equation: 361
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5028
[[35mlola[0m][I] state equation: 373
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5017
[[35mlola[0m][I] state equation: 384
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5006
[[35mlola[0m][I] state equation: 395
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4995
[[35mlola[0m][I] state equation: 406
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4984
[[35mlola[0m][I] state equation: 417
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4973
[[35mlola[0m][I] state equation: 428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4962
[[35mlola[0m][I] state equation: 439
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4951
[[35mlola[0m][I] state equation: 450
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4940
[[35mlola[0m][I] state equation: 461
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4929
[[35mlola[0m][I] state equation: 472
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4918
[[35mlola[0m][I] state equation: 483
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4908
[[35mlola[0m][I] state equation: 493
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4897
[[35mlola[0m][I] state equation: 504
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4885
[[35mlola[0m][I] state equation: 516
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4874
[[35mlola[0m][I] state equation: 527
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4864
[[35mlola[0m][I] state equation: 537
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4853
[[35mlola[0m][I] state equation: 548
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4843
[[35mlola[0m][I] state equation: 558
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4832
[[35mlola[0m][I] state equation: 569
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4821
[[35mlola[0m][I] state equation: 580
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4810
[[35mlola[0m][I] state equation: 591
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4799
[[35mlola[0m][I] state equation: 602
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4788
[[35mlola[0m][I] state equation: 613
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4778
[[35mlola[0m][I] state equation: 623
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4766
[[35mlola[0m][I] state equation: 635
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4754
[[35mlola[0m][I] state equation: 647
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4742
[[35mlola[0m][I] state equation: 659
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4730
[[35mlola[0m][I] state equation: 671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4718
[[35mlola[0m][I] state equation: 683
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4707
[[35mlola[0m][I] state equation: 694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4696
[[35mlola[0m][I] state equation: 705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4685
[[35mlola[0m][I] state equation: 716
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4674
[[35mlola[0m][I] state equation: 727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4662
[[35mlola[0m][I] state equation: 739
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4650
[[35mlola[0m][I] state equation: 751
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4638
[[35mlola[0m][I] state equation: 763
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4626
[[35mlola[0m][I] state equation: 775
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4615
[[35mlola[0m][I] state equation: 786
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4603
[[35mlola[0m][I] state equation: 798
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4591
[[35mlola[0m][I] state equation: 810
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4579
[[35mlola[0m][I] state equation: 822
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4567
[[35mlola[0m][I] state equation: 834
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4555
[[35mlola[0m][I] state equation: 846
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4543
[[35mlola[0m][I] state equation: 858
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4532
[[35mlola[0m][I] state equation: 869
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4518
[[35mlola[0m][I] state equation: 883
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4507
[[35mlola[0m][I] state equation: 894
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4496
[[35mlola[0m][I] state equation: 905
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4483
[[35mlola[0m][I] state equation: 918
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4471
[[35mlola[0m][I] state equation: 930
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4460
[[35mlola[0m][I] state equation: 941
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4448
[[35mlola[0m][I] state equation: 953
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4436
[[35mlola[0m][I] state equation: 965
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4425
[[35mlola[0m][I] state equation: 976
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4414
[[35mlola[0m][I] state equation: 987
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4402
[[35mlola[0m][I] state equation: 999
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4391
[[35mlola[0m][I] state equation: 1010
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4380
[[35mlola[0m][I] state equation: 1021
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4370
[[35mlola[0m][I] state equation: 1031
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4357
[[35mlola[0m][I] state equation: 1044
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4346
[[35mlola[0m][I] state equation: 1055
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4335
[[35mlola[0m][I] state equation: 1066
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4323
[[35mlola[0m][I] state equation: 1078
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4312
[[35mlola[0m][I] state equation: 1089
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4302
[[35mlola[0m][I] state equation: 1099
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4291
[[35mlola[0m][I] state equation: 1110
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4280
[[35mlola[0m][I] state equation: 1121
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4269
[[35mlola[0m][I] state equation: 1132
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4259
[[35mlola[0m][I] state equation: 1142
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4248
[[35mlola[0m][I] state equation: 1153
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4237
[[35mlola[0m][I] state equation: 1164
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4226
[[35mlola[0m][I] state equation: 1175
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4215
[[35mlola[0m][I] state equation: 1186
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4203
[[35mlola[0m][I] state equation: 1198
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4191
[[35mlola[0m][I] state equation: 1210
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4179
[[35mlola[0m][I] state equation: 1222
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4168
[[35mlola[0m][I] state equation: 1233
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4156
[[35mlola[0m][I] state equation: 1245
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4145
[[35mlola[0m][I] state equation: 1256
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4134
[[35mlola[0m][I] state equation: 1267
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4123
[[35mlola[0m][I] state equation: 1278
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4112
[[35mlola[0m][I] state equation: 1289
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4101
[[35mlola[0m][I] state equation: 1300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4090
[[35mlola[0m][I] state equation: 1311
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4078
[[35mlola[0m][I] state equation: 1323
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4067
[[35mlola[0m][I] state equation: 1334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4056
[[35mlola[0m][I] state equation: 1345
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4045
[[35mlola[0m][I] state equation: 1356
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4034
[[35mlola[0m][I] state equation: 1367
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4024
[[35mlola[0m][I] state equation: 1377
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4012
[[35mlola[0m][I] state equation: 1389
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4002
[[35mlola[0m][I] state equation: 1399
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3991
[[35mlola[0m][I] state equation: 1410
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3980
[[35mlola[0m][I] state equation: 1421
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3969
[[35mlola[0m][I] state equation: 1432
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3958
[[35mlola[0m][I] state equation: 1443
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3947
[[35mlola[0m][I] state equation: 1454
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3936
[[35mlola[0m][I] state equation: 1465
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3925
[[35mlola[0m][I] state equation: 1476
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3914
[[35mlola[0m][I] state equation: 1487
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3903
[[35mlola[0m][I] state equation: 1498
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3892
[[35mlola[0m][I] state equation: 1509
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3881
[[35mlola[0m][I] state equation: 1520
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3870
[[35mlola[0m][I] state equation: 1531
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3858
[[35mlola[0m][I] state equation: 1543
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3847
[[35mlola[0m][I] state equation: 1554
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3836
[[35mlola[0m][I] state equation: 1565
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3825
[[35mlola[0m][I] state equation: 1576
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3814
[[35mlola[0m][I] state equation: 1587
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3803
[[35mlola[0m][I] state equation: 1598
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3792
[[35mlola[0m][I] state equation: 1609
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3781
[[35mlola[0m][I] state equation: 1620
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3770
[[35mlola[0m][I] state equation: 1631
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3758
[[35mlola[0m][I] state equation: 1643
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3748
[[35mlola[0m][I] state equation: 1653
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3737
[[35mlola[0m][I] state equation: 1664
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3726
[[35mlola[0m][I] state equation: 1675
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3716
[[35mlola[0m][I] state equation: 1685
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3706
[[35mlola[0m][I] state equation: 1695
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3694
[[35mlola[0m][I] state equation: 1707
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3684
[[35mlola[0m][I] state equation: 1717
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3673
[[35mlola[0m][I] state equation: 1728
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3663
[[35mlola[0m][I] state equation: 1738
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3651
[[35mlola[0m][I] state equation: 1750
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3639
[[35mlola[0m][I] state equation: 1762
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3628
[[35mlola[0m][I] state equation: 1773
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3616
[[35mlola[0m][I] state equation: 1785
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3604
[[35mlola[0m][I] state equation: 1797
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3593
[[35mlola[0m][I] state equation: 1808
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3581
[[35mlola[0m][I] state equation: 1820
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3569
[[35mlola[0m][I] state equation: 1832
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3558
[[35mlola[0m][I] state equation: 1843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3546
[[35mlola[0m][I] state equation: 1855
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3534
[[35mlola[0m][I] state equation: 1867
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3522
[[35mlola[0m][I] state equation: 1879
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3511
[[35mlola[0m][I] state equation: 1890
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3499
[[35mlola[0m][I] state equation: 1902
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3488
[[35mlola[0m][I] state equation: 1913
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3476
[[35mlola[0m][I] state equation: 1925
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3464
[[35mlola[0m][I] state equation: 1937
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3452
[[35mlola[0m][I] state equation: 1949
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3440
[[35mlola[0m][I] state equation: 1961
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3427
[[35mlola[0m][I] state equation: 1974
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3415
[[35mlola[0m][I] state equation: 1986
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3404
[[35mlola[0m][I] state equation: 1997
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3392
[[35mlola[0m][I] state equation: 2009
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3381
[[35mlola[0m][I] state equation: 2020
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3370
[[35mlola[0m][I] state equation: 2031
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3359
[[35mlola[0m][I] state equation: 2042
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3347
[[35mlola[0m][I] state equation: 2054
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3335
[[35mlola[0m][I] state equation: 2066
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3323
[[35mlola[0m][I] state equation: 2078
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3311
[[35mlola[0m][I] state equation: 2090
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3300
[[35mlola[0m][I] state equation: 2101
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3288
[[35mlola[0m][I] state equation: 2113
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3276
[[35mlola[0m][I] state equation: 2125
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3265
[[35mlola[0m][I] state equation: 2136
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3253
[[35mlola[0m][I] state equation: 2148
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3242
[[35mlola[0m][I] state equation: 2159
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3230
[[35mlola[0m][I] state equation: 2171
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3220
[[35mlola[0m][I] state equation: 2181
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3209
[[35mlola[0m][I] state equation: 2192
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3198
[[35mlola[0m][I] state equation: 2203
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3187
[[35mlola[0m][I] state equation: 2214
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3175
[[35mlola[0m][I] state equation: 2226
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3163
[[35mlola[0m][I] state equation: 2238
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3151
[[35mlola[0m][I] state equation: 2250
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3139
[[35mlola[0m][I] state equation: 2262
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3127
[[35mlola[0m][I] state equation: 2274
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3115
[[35mlola[0m][I] state equation: 2286
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3103
[[35mlola[0m][I] state equation: 2298
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3090
[[35mlola[0m][I] state equation: 2311
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3078
[[35mlola[0m][I] state equation: 2323
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3066
[[35mlola[0m][I] state equation: 2335
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3054
[[35mlola[0m][I] state equation: 2347
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3042
[[35mlola[0m][I] state equation: 2359
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3031
[[35mlola[0m][I] state equation: 2370
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3019
[[35mlola[0m][I] state equation: 2382
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3007
[[35mlola[0m][I] state equation: 2394
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2996
[[35mlola[0m][I] state equation: 2405
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2983
[[35mlola[0m][I] state equation: 2418
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2971
[[35mlola[0m][I] state equation: 2430
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2959
[[35mlola[0m][I] state equation: 2442
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2947
[[35mlola[0m][I] state equation: 2454
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2935
[[35mlola[0m][I] state equation: 2466
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2924
[[35mlola[0m][I] state equation: 2477
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2912
[[35mlola[0m][I] state equation: 2489
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2901
[[35mlola[0m][I] state equation: 2500
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2889
[[35mlola[0m][I] state equation: 2512
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2878
[[35mlola[0m][I] state equation: 2523
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2866
[[35mlola[0m][I] state equation: 2535
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2855
[[35mlola[0m][I] state equation: 2546
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2844
[[35mlola[0m][I] state equation: 2557
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2832
[[35mlola[0m][I] state equation: 2569
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2821
[[35mlola[0m][I] state equation: 2580
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2810
[[35mlola[0m][I] state equation: 2591
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2798
[[35mlola[0m][I] state equation: 2603
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2787
[[35mlola[0m][I] state equation: 2614
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2775
[[35mlola[0m][I] state equation: 2626
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2764
[[35mlola[0m][I] state equation: 2637
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2752
[[35mlola[0m][I] state equation: 2649
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2740
[[35mlola[0m][I] state equation: 2661
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2728
[[35mlola[0m][I] state equation: 2673
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2717
[[35mlola[0m][I] state equation: 2684
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2705
[[35mlola[0m][I] state equation: 2696
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2693
[[35mlola[0m][I] state equation: 2708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2681
[[35mlola[0m][I] state equation: 2720
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2669
[[35mlola[0m][I] state equation: 2732
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2658
[[35mlola[0m][I] state equation: 2743
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2646
[[35mlola[0m][I] state equation: 2755
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2634
[[35mlola[0m][I] state equation: 2767
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2623
[[35mlola[0m][I] state equation: 2778
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2611
[[35mlola[0m][I] state equation: 2790
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2599
[[35mlola[0m][I] state equation: 2802
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2588
[[35mlola[0m][I] state equation: 2813
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2576
[[35mlola[0m][I] state equation: 2825
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2565
[[35mlola[0m][I] state equation: 2836
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2553
[[35mlola[0m][I] state equation: 2848
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2541
[[35mlola[0m][I] state equation: 2860
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2529
[[35mlola[0m][I] state equation: 2872
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2517
[[35mlola[0m][I] state equation: 2884
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2506
[[35mlola[0m][I] state equation: 2895
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2494
[[35mlola[0m][I] state equation: 2907
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2483
[[35mlola[0m][I] state equation: 2918
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2471
[[35mlola[0m][I] state equation: 2930
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2460
[[35mlola[0m][I] state equation: 2941
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2448
[[35mlola[0m][I] state equation: 2953
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2437
[[35mlola[0m][I] state equation: 2964
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2425
[[35mlola[0m][I] state equation: 2976
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2413
[[35mlola[0m][I] state equation: 2988
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2402
[[35mlola[0m][I] state equation: 2999
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2390
[[35mlola[0m][I] state equation: 3011
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2378
[[35mlola[0m][I] state equation: 3023
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2366
[[35mlola[0m][I] state equation: 3035
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2353
[[35mlola[0m][I] state equation: 3048
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2341
[[35mlola[0m][I] state equation: 3060
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2329
[[35mlola[0m][I] state equation: 3072
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2317
[[35mlola[0m][I] state equation: 3084
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2305
[[35mlola[0m][I] state equation: 3096
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2294
[[35mlola[0m][I] state equation: 3107
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2281
[[35mlola[0m][I] state equation: 3120
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2269
[[35mlola[0m][I] state equation: 3132
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2257
[[35mlola[0m][I] state equation: 3144
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2244
[[35mlola[0m][I] state equation: 3157
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2232
[[35mlola[0m][I] state equation: 3169
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2220
[[35mlola[0m][I] state equation: 3181
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2207
[[35mlola[0m][I] state equation: 3194
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2195
[[35mlola[0m][I] state equation: 3206
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2182
[[35mlola[0m][I] state equation: 3219
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2170
[[35mlola[0m][I] state equation: 3231
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2158
[[35mlola[0m][I] state equation: 3243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2147
[[35mlola[0m][I] state equation: 3254
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2135
[[35mlola[0m][I] state equation: 3266
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2124
[[35mlola[0m][I] state equation: 3277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2113
[[35mlola[0m][I] state equation: 3288
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2101
[[35mlola[0m][I] state equation: 3300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2090
[[35mlola[0m][I] state equation: 3311
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2078
[[35mlola[0m][I] state equation: 3323
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2067
[[35mlola[0m][I] state equation: 3334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2055
[[35mlola[0m][I] state equation: 3346
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2044
[[35mlola[0m][I] state equation: 3357
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2033
[[35mlola[0m][I] state equation: 3368
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2022
[[35mlola[0m][I] state equation: 3379
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2010
[[35mlola[0m][I] state equation: 3391
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1999
[[35mlola[0m][I] state equation: 3402
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1988
[[35mlola[0m][I] state equation: 3413
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1976
[[35mlola[0m][I] state equation: 3425
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1965
[[35mlola[0m][I] state equation: 3436
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1953
[[35mlola[0m][I] state equation: 3448
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1943
[[35mlola[0m][I] state equation: 3458
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1931
[[35mlola[0m][I] state equation: 3470
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1920
[[35mlola[0m][I] state equation: 3481
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1907
[[35mlola[0m][I] state equation: 3494
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1896
[[35mlola[0m][I] state equation: 3505
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1887
[[35mlola[0m][I] state equation: 3514
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1877
[[35mlola[0m][I] state equation: 3524
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1865
[[35mlola[0m][I] state equation: 3536
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1854
[[35mlola[0m][I] state equation: 3547
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1844
[[35mlola[0m][I] state equation: 3557
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1833
[[35mlola[0m][I] state equation: 3568
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1821
[[35mlola[0m][I] state equation: 3580
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1811
[[35mlola[0m][I] state equation: 3590
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1800
[[35mlola[0m][I] state equation: 3601
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1789
[[35mlola[0m][I] state equation: 3612
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1778
[[35mlola[0m][I] state equation: 3623
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1767
[[35mlola[0m][I] state equation: 3634
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1756
[[35mlola[0m][I] state equation: 3645
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1745
[[35mlola[0m][I] state equation: 3656
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1734
[[35mlola[0m][I] state equation: 3667
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1723
[[35mlola[0m][I] state equation: 3678
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1712
[[35mlola[0m][I] state equation: 3689
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1701
[[35mlola[0m][I] state equation: 3700
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1690
[[35mlola[0m][I] state equation: 3711
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1679
[[35mlola[0m][I] state equation: 3722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1668
[[35mlola[0m][I] state equation: 3733
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1658
[[35mlola[0m][I] state equation: 3743
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1647
[[35mlola[0m][I] state equation: 3754
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1635
[[35mlola[0m][I] state equation: 3766
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1623
[[35mlola[0m][I] state equation: 3778
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1612
[[35mlola[0m][I] state equation: 3789
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1600
[[35mlola[0m][I] state equation: 3801
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1588
[[35mlola[0m][I] state equation: 3813
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1576
[[35mlola[0m][I] state equation: 3825
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1565
[[35mlola[0m][I] state equation: 3836
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1554
[[35mlola[0m][I] state equation: 3847
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1543
[[35mlola[0m][I] state equation: 3858
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1532
[[35mlola[0m][I] state equation: 3869
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1522
[[35mlola[0m][I] state equation: 3879
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1511
[[35mlola[0m][I] state equation: 3890
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1501
[[35mlola[0m][I] state equation: 3900
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1490
[[35mlola[0m][I] state equation: 3911
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1479
[[35mlola[0m][I] state equation: 3922
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1469
[[35mlola[0m][I] state equation: 3932
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1458
[[35mlola[0m][I] state equation: 3943
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1448
[[35mlola[0m][I] state equation: 3953
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1436
[[35mlola[0m][I] state equation: 3965
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1425
[[35mlola[0m][I] state equation: 3976
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1413
[[35mlola[0m][I] state equation: 3988
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1402
[[35mlola[0m][I] state equation: 3999
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1391
[[35mlola[0m][I] state equation: 4010
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1380
[[35mlola[0m][I] state equation: 4021
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1369
[[35mlola[0m][I] state equation: 4032
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1358
[[35mlola[0m][I] state equation: 4043
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1346
[[35mlola[0m][I] state equation: 4055
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1335
[[35mlola[0m][I] state equation: 4066
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1324
[[35mlola[0m][I] state equation: 4077
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 1312
[[35mlola[0m][I] state equation: 4089
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="BlocksWorld-PT-14"
export BK_EXAMINATION="OneSafe"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is BlocksWorld-PT-14, examination is OneSafe"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r614-tall-171774432200170"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-14.tgz
mv BlocksWorld-PT-14 execution
cd execution
if [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "UpperBounds" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] || [ "OneSafe" = "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 [ "OneSafe" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "OneSafe" != "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 "OneSafe.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property OneSafe.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "OneSafe.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 [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] ; then
echo "FORMULA_NAME OneSafe"
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 ;