About the Execution of smart for DLCflexbar-PT-5a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.240 | 3305415.00 | 3305091.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100388.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-5a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100388
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 3.6K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.8M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-5a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589115788449
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1415 places, 10593 transitions, 41484 arcs.
AT ITER 0 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567692 HAS SOUPS 243619 WITH SCORE 251147.787
AT ITER 55 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567610 HAS SOUPS 243537 WITH SCORE 251065.787
AT ITER 58 NEW BEST:: SOT 8911989 SOS 7533538 HAS SOPS 3710923 HAS SOUS 566557 HAS SOUPS 242484 WITH SCORE 250017.538
AT ITER 83 NEW BEST:: SOT 8910497 SOS 7542691 HAS SOPS 3714644 HAS SOUS 565901 HAS SOUPS 241828 WITH SCORE 249370.691
AT ITER 98 NEW BEST:: SOT 8910497 SOS 7542691 HAS SOPS 3714644 HAS SOUS 565777 HAS SOUPS 241704 WITH SCORE 249246.691
AT ITER 100 NEW BEST:: SOT 8910307 SOS 7541591 HAS SOPS 3715224 HAS SOUS 565347 HAS SOUPS 241514 WITH SCORE 249055.59100000001
AT ITER 141 NEW BEST:: SOT 8910307 SOS 7541591 HAS SOPS 3715224 HAS SOUS 565233 HAS SOUPS 241400 WITH SCORE 248941.59100000001
AT ITER 162 NEW BEST:: SOT 8910127 SOS 7540253 HAS SOPS 3716168 HAS SOUS 564727 HAS SOUPS 241220 WITH SCORE 248760.253
AT ITER 168 NEW BEST:: SOT 8909879 SOS 7539757 HAS SOPS 3716540 HAS SOUS 564231 HAS SOUPS 240848 WITH SCORE 248387.757
AT ITER 202 NEW BEST:: SOT 8909757 SOS 7538913 HAS SOPS 3717096 HAS SOUS 563971 HAS SOUPS 240788 WITH SCORE 248326.913
AT ITER 232 NEW BEST:: SOT 8909757 SOS 7538913 HAS SOPS 3717096 HAS SOUS 563961 HAS SOUPS 240778 WITH SCORE 248316.913
AT ITER 235 NEW BEST:: SOT 8908635 SOS 7541617 HAS SOPS 3715558 HAS SOUS 563223 HAS SOUPS 239838 WITH SCORE 247379.617
AT ITER 264 NEW BEST:: SOT 8908302 SOS 7540276 HAS SOPS 3714217 HAS SOUS 562755 HAS SOUPS 239370 WITH SCORE 246910.276
AT ITER 280 NEW BEST:: SOT 8908003 SOS 7539678 HAS SOPS 3715558 HAS SOUS 562157 HAS SOUPS 239049 WITH SCORE 246588.678
AT ITER 287 NEW BEST:: SOT 8908003 SOS 7539678 HAS SOPS 3715558 HAS SOUS 562069 HAS SOUPS 238961 WITH SCORE 246500.678
AT ITER 290 NEW BEST:: SOT 8907971 SOS 7539614 HAS SOPS 3715494 HAS SOUS 562053 HAS SOUPS 238945 WITH SCORE 246484.614
AT ITER 309 NEW BEST:: SOT 8907850 SOS 7539372 HAS SOPS 3716099 HAS SOUS 561811 HAS SOUPS 238824 WITH SCORE 246363.372
AT ITER 316 NEW BEST:: SOT 8907482 SOS 7538297 HAS SOPS 3715024 HAS SOUS 561669 HAS SOUPS 238682 WITH SCORE 246220.297
AT ITER 376 NEW BEST:: SOT 8907213 SOS 7537759 HAS SOPS 3715893 HAS SOUS 561082 HAS SOUPS 238296 WITH SCORE 245833.759
AT ITER 378 NEW BEST:: SOT 8905515 SOS 7544581 HAS SOPS 3717843 HAS SOUS 559969 HAS SOUPS 237183 WITH SCORE 244727.581
AT ITER 388 NEW BEST:: SOT 8905515 SOS 7544581 HAS SOPS 3717843 HAS SOUS 559871 HAS SOUPS 237085 WITH SCORE 244629.581
AT ITER 394 NEW BEST:: SOT 8905515 SOS 7544581 HAS SOPS 3717843 HAS SOUS 559755 HAS SOUPS 236969 WITH SCORE 244513.581
AT ITER 401 NEW BEST:: SOT 8905515 SOS 7544581 HAS SOPS 3717843 HAS SOUS 559665 HAS SOUPS 236879 WITH SCORE 244423.581
AT ITER 432 NEW BEST:: SOT 8905539 SOS 7544629 HAS SOPS 3718528 HAS SOUS 559563 HAS SOUPS 236868 WITH SCORE 244412.629
AT ITER 441 NEW BEST:: SOT 8905539 SOS 7544629 HAS SOPS 3718528 HAS SOUS 559439 HAS SOUPS 236744 WITH SCORE 244288.629
AT ITER 449 NEW BEST:: SOT 8905539 SOS 7544629 HAS SOPS 3718528 HAS SOUS 559387 HAS SOUPS 236692 WITH SCORE 244236.629
AT ITER 451 NEW BEST:: SOT 8905539 SOS 7544629 HAS SOPS 3718528 HAS SOUS 559263 HAS SOUPS 236568 WITH SCORE 244112.629
AT ITER 457 NEW BEST:: SOT 8905539 SOS 7544629 HAS SOPS 3718528 HAS SOUS 559213 HAS SOUPS 236518 WITH SCORE 244062.629
AT ITER 486 NEW BEST:: SOT 8905398 SOS 7544347 HAS SOPS 3720276 HAS SOUS 558773 HAS SOUPS 236368 WITH SCORE 243912.347
AT ITER 520 NEW BEST:: SOT 8905398 SOS 7544347 HAS SOPS 3720276 HAS SOUS 558737 HAS SOUPS 236332 WITH SCORE 243876.347
AT ITER 524 NEW BEST:: SOT 8905066 SOS 7546483 HAS SOPS 3720060 HAS SOUS 558634 HAS SOUPS 236117 WITH SCORE 243663.483
AT ITER 562 NEW BEST:: SOT 8905016 SOS 7546383 HAS SOPS 3719960 HAS SOUS 558559 HAS SOUPS 236042 WITH SCORE 243588.383
AT ITER 572 NEW BEST:: SOT 8904764 SOS 7546779 HAS SOPS 3719600 HAS SOUS 558415 HAS SOUPS 235862 WITH SCORE 243408.779
AT ITER 574 NEW BEST:: SOT 8903641 SOS 7551688 HAS SOPS 3720078 HAS SOUS 557928 HAS SOUPS 235164 WITH SCORE 242715.688
AT ITER 602 NEW BEST:: SOT 8902790 SOS 7553174 HAS SOPS 3718561 HAS SOUS 557360 HAS SOUPS 234453 WITH SCORE 242006.174
AT ITER 618 NEW BEST:: SOT 8901589 SOS 7555305 HAS SOPS 3717892 HAS SOUS 556382 HAS SOUPS 233475 WITH SCORE 241030.305
AT ITER 634 NEW BEST:: SOT 8901960 SOS 7557451 HAS SOPS 3720038 HAS SOUS 556354 HAS SOUPS 233447 WITH SCORE 241004.451
AT ITER 636 NEW BEST:: SOT 8901960 SOS 7557451 HAS SOPS 3720038 HAS SOUS 556246 HAS SOUPS 233339 WITH SCORE 240896.451
AT ITER 649 NEW BEST:: SOT 8901960 SOS 7557451 HAS SOPS 3720038 HAS SOUS 556210 HAS SOUPS 233303 WITH SCORE 240860.451
AT ITER 659 NEW BEST:: SOT 8900191 SOS 7564227 HAS SOPS 3721970 HAS SOUS 554797 HAS SOUPS 231890 WITH SCORE 239454.227
AT ITER 683 NEW BEST:: SOT 8899339 SOS 7565669 HAS SOPS 3721410 HAS SOUS 554228 HAS SOUPS 231321 WITH SCORE 238886.669
AT ITER 695 NEW BEST:: SOT 8899203 SOS 7565397 HAS SOPS 3722090 HAS SOUS 553820 HAS SOUPS 231049 WITH SCORE 238614.397
AT ITER 696 NEW BEST:: SOT 8898937 SOS 7565815 HAS SOPS 3721710 HAS SOUS 553668 HAS SOUPS 230859 WITH SCORE 238424.815
AT ITER 731 NEW BEST:: SOT 8898937 SOS 7565815 HAS SOPS 3721710 HAS SOUS 553544 HAS SOUPS 230735 WITH SCORE 238300.815
AT ITER 738 NEW BEST:: SOT 8898937 SOS 7565815 HAS SOPS 3721710 HAS SOUS 553466 HAS SOUPS 230657 WITH SCORE 238222.815
AT ITER 745 NEW BEST:: SOT 8896258 SOS 7568675 HAS SOPS 3720062 HAS SOUS 551778 HAS SOUPS 228969 WITH SCORE 236537.675
AT ITER 777 NEW BEST:: SOT 8895921 SOS 7568001 HAS SOPS 3720711 HAS SOUS 551089 HAS SOUPS 228469 WITH SCORE 236037.001
AT ITER 831 NEW BEST:: SOT 8895904 SOS 7567127 HAS SOPS 3720677 HAS SOUS 550952 HAS SOUPS 228452 WITH SCORE 236019.127
AT ITER 856 NEW BEST:: SOT 8895622 SOS 7566563 HAS SOPS 3721198 HAS SOUS 550378 HAS SOUPS 228033 WITH SCORE 235599.563
AT ITER 900 NEW BEST:: SOT 8895622 SOS 7566563 HAS SOPS 3721198 HAS SOUS 550362 HAS SOUPS 228017 WITH SCORE 235583.563
AT ITER 902 NEW BEST:: SOT 8895622 SOS 7566563 HAS SOPS 3721198 HAS SOUS 550238 HAS SOUPS 227893 WITH SCORE 235459.563
AT ITER 904 NEW BEST:: SOT 8895622 SOS 7566563 HAS SOPS 3721198 HAS SOUS 550114 HAS SOUPS 227769 WITH SCORE 235335.563
AT ITER 918 NEW BEST:: SOT 8894005 SOS 7575249 HAS SOPS 3724424 HAS SOUS 549129 HAS SOUPS 226784 WITH SCORE 234359.249
AT ITER 922 NEW BEST:: SOT 8892868 SOS 7579478 HAS SOPS 3724096 HAS SOUS 548509 HAS SOUPS 225947 WITH SCORE 233526.478
AT ITER 927 NEW BEST:: SOT 8892868 SOS 7579478 HAS SOPS 3724096 HAS SOUS 548395 HAS SOUPS 225833 WITH SCORE 233412.478
AT ITER 974 NEW BEST:: SOT 8892868 SOS 7579478 HAS SOPS 3724096 HAS SOUS 548373 HAS SOUPS 225811 WITH SCORE 233390.478
AT ITER 989 NEW BEST:: SOT 8892868 SOS 7579478 HAS SOPS 3724096 HAS SOUS 548249 HAS SOUPS 225687 WITH SCORE 233266.478
AT ITER 990 NEW BEST:: SOT 8893001 SOS 7580008 HAS SOPS 3724010 HAS SOUS 548313 HAS SOUPS 225663 WITH SCORE 233243.008
AT ITER 992 NEW BEST:: SOT 8891605 SOS 7584887 HAS SOPS 3724983 HAS SOUS 547446 HAS SOUPS 224796 WITH SCORE 232380.887
AT ITER 1006 NEW BEST:: SOT 8891605 SOS 7584887 HAS SOPS 3724983 HAS SOUS 547372 HAS SOUPS 224722 WITH SCORE 232306.887
AT ITER 1014 NEW BEST:: SOT 8891605 SOS 7584887 HAS SOPS 3724983 HAS SOUS 547348 HAS SOUPS 224698 WITH SCORE 232282.887
AT ITER 1022 NEW BEST:: SOT 8891466 SOS 7583787 HAS SOPS 3725801 HAS SOUS 547036 HAS SOUPS 224660 WITH SCORE 232243.787
AT ITER 1040 NEW BEST:: SOT 8891183 SOS 7563977 HAS SOPS 3724147 HAS SOUS 546763 HAS SOUPS 224654 WITH SCORE 232217.977
AT ITER 1049 NEW BEST:: SOT 8891105 SOS 7562435 HAS SOPS 3724320 HAS SOUS 546480 HAS SOUPS 224616 WITH SCORE 232178.435
AT ITER 1065 NEW BEST:: SOT 8891105 SOS 7562435 HAS SOPS 3724320 HAS SOUS 546442 HAS SOUPS 224578 WITH SCORE 232140.435
AT ITER 1070 NEW BEST:: SOT 8891105 SOS 7561616 HAS SOPS 3724320 HAS SOUS 546208 HAS SOUPS 224461 WITH SCORE 232022.616
AT ITER 1093 NEW BEST:: SOT 8890295 SOS 7566359 HAS SOPS 3725633 HAS SOUS 545831 HAS SOUPS 224084 WITH SCORE 231650.359
AT ITER 1139 NEW BEST:: SOT 8890152 SOS 7565488 HAS SOPS 3726127 HAS SOUS 545542 HAS SOUPS 223990 WITH SCORE 231555.488
AT ITER 1159 NEW BEST:: SOT 8890139 SOS 7564360 HAS SOPS 3725531 HAS SOUS 545489 HAS SOUPS 223937 WITH SCORE 231501.36
AT ITER 1161 NEW BEST:: SOT 8889293 SOS 7567835 HAS SOPS 3725016 HAS SOUS 545261 HAS SOUPS 223519 WITH SCORE 231086.835
AT ITER 1169 NEW BEST:: SOT 8889119 SOS 7567091 HAS SOPS 3724272 HAS SOUS 545087 HAS SOUPS 223345 WITH SCORE 230912.09100000001
AT ITER 1203 NEW BEST:: SOT 8888985 SOS 7566354 HAS SOPS 3724004 HAS SOUS 544818 HAS SOUPS 223143 WITH SCORE 230709.354
AT ITER 1208 NEW BEST:: SOT 8887939 SOS 7569475 HAS SOPS 3722904 HAS SOUS 544179 HAS SOUPS 222303 WITH SCORE 229872.475
AT ITER 1209 NEW BEST:: SOT 8887108 SOS 7572639 HAS SOPS 3722183 HAS SOUS 543736 HAS SOUPS 221675 WITH SCORE 229247.639
AT ITER 1214 NEW BEST:: SOT 8887108 SOS 7572639 HAS SOPS 3722183 HAS SOUS 543612 HAS SOUPS 221551 WITH SCORE 229123.639
AT ITER 1239 NEW BEST:: SOT 8886974 SOS 7571537 HAS SOPS 3723027 HAS SOUS 543304 HAS SOUPS 221521 WITH SCORE 229092.537
AT ITER 1246 NEW BEST:: SOT 8886945 SOS 7571479 HAS SOPS 3722969 HAS SOUS 543289 HAS SOUPS 221506 WITH SCORE 229077.479
AT ITER 1251 NEW BEST:: SOT 8884994 SOS 7575963 HAS SOPS 3723827 HAS SOUS 541925 HAS SOUPS 220142 WITH SCORE 227717.963
AT ITER 1258 NEW BEST:: SOT 8885039 SOS 7576053 HAS SOPS 3725135 HAS SOUS 541656 HAS SOUPS 220047 WITH SCORE 227623.053
AT ITER 1263 NEW BEST:: SOT 8884935 SOS 7575208 HAS SOPS 3725942 HAS SOUS 541145 HAS SOUPS 219772 WITH SCORE 227347.208
AT ITER 1289 NEW BEST:: SOT 8884717 SOS 7574772 HAS SOPS 3726269 HAS SOUS 540709 HAS SOUPS 219445 WITH SCORE 227019.772
AT ITER 1295 NEW BEST:: SOT 8884291 SOS 7573707 HAS SOPS 3725204 HAS SOUS 540496 HAS SOUPS 219232 WITH SCORE 226805.707
AT ITER 1303 NEW BEST:: SOT 8883752 SOS 7571699 HAS SOPS 3724498 HAS SOUS 539604 HAS SOUPS 218526 WITH SCORE 226097.699
AT ITER 1326 NEW BEST:: SOT 8883747 SOS 7571689 HAS SOPS 3725825 HAS SOUS 539408 HAS SOUPS 218521 WITH SCORE 226092.689
AT ITER 1333 NEW BEST:: SOT 8883475 SOS 7571145 HAS SOPS 3725281 HAS SOUS 538865 HAS SOUPS 217978 WITH SCORE 225549.145
AT ITER 1361 NEW BEST:: SOT 8883475 SOS 7571145 HAS SOPS 3725281 HAS SOUS 538779 HAS SOUPS 217892 WITH SCORE 225463.145
AT ITER 1376 NEW BEST:: SOT 8883319 SOS 7570833 HAS SOPS 3726488 HAS SOUS 538406 HAS SOUPS 217736 WITH SCORE 225306.833
AT ITER 1379 NEW BEST:: SOT 8882324 SOS 7573902 HAS SOPS 3725924 HAS SOUS 537826 HAS SOUPS 216983 WITH SCORE 224556.902
AT ITER 1406 NEW BEST:: SOT 8878174 SOS 7567050 HAS SOPS 3723042 HAS SOUS 537435 HAS SOUPS 216815 WITH SCORE 224382.05
AT ITER 1409 NEW BEST:: SOT 8878162 SOS 7568058 HAS SOPS 3724050 HAS SOUS 537312 HAS SOUPS 216692 WITH SCORE 224260.058
AT ITER 1420 NEW BEST:: SOT 8878162 SOS 7568058 HAS SOPS 3724050 HAS SOUS 537204 HAS SOUPS 216584 WITH SCORE 224152.058
AT ITER 1443 NEW BEST:: SOT 8876580 SOS 7575027 HAS SOPS 3726161 HAS SOUS 536292 HAS SOUPS 215672 WITH SCORE 223247.027
AT ITER 1452 NEW BEST:: SOT 8876832 SOS 7544773 HAS SOPS 3726711 HAS SOUS 535193 HAS SOUPS 215026 WITH SCORE 222570.773
AT ITER 1457 NEW BEST:: SOT 8876832 SOS 7544773 HAS SOPS 3726711 HAS SOUS 535083 HAS SOUPS 214916 WITH SCORE 222460.773
AT ITER 1463 NEW BEST:: SOT 8876697 SOS 7543663 HAS SOPS 3727435 HAS SOUS 534685 HAS SOUPS 214780 WITH SCORE 222323.663
AT ITER 1490 NEW BEST:: SOT 8876697 SOS 7543663 HAS SOPS 3727435 HAS SOUS 534561 HAS SOUPS 214656 WITH SCORE 222199.663
AT ITER 1492 NEW BEST:: SOT 8876697 SOS 7543663 HAS SOPS 3727435 HAS SOUS 534555 HAS SOUPS 214650 WITH SCORE 222193.663
AT ITER 1501 NEW BEST:: SOT 8876479 SOS 7542137 HAS SOPS 3725909 HAS SOUS 534403 HAS SOUPS 214498 WITH SCORE 222040.137
AT ITER 1513 NEW BEST:: SOT 8876479 SOS 7542137 HAS SOPS 3725909 HAS SOUS 534345 HAS SOUPS 214440 WITH SCORE 221982.137
AT ITER 1529 NEW BEST:: SOT 8876464 SOS 7535824 HAS SOPS 3719596 HAS SOUS 534349 HAS SOUPS 214444 WITH SCORE 221979.824
AT ITER 1533 NEW BEST:: SOT 8876307 SOS 7535510 HAS SOPS 3720381 HAS SOUS 534035 HAS SOUPS 214287 WITH SCORE 221822.51
AT ITER 1554 NEW BEST:: SOT 8875849 SOS 7533449 HAS SOPS 3719923 HAS SOUS 533577 HAS SOUPS 214058 WITH SCORE 221591.449
AT ITER 1561 NEW BEST:: SOT 8875003 SOS 7537463 HAS SOPS 3720961 HAS SOUS 533369 HAS SOUPS 213813 WITH SCORE 221350.463
AT ITER 1564 NEW BEST:: SOT 8873888 SOS 7544731 HAS SOPS 3722664 HAS SOUS 532933 HAS SOUPS 213112 WITH SCORE 220656.731
AT ITER 1579 NEW BEST:: SOT 8872564 SOS 7541219 HAS SOPS 3721168 HAS SOUS 532035 HAS SOUPS 212502 WITH SCORE 220043.219
AT ITER 1586 NEW BEST:: SOT 8871864 SOS 7538859 HAS SOPS 3721048 HAS SOUS 531364 HAS SOUPS 212151 WITH SCORE 219689.859
AT ITER 1590 NEW BEST:: SOT 8871969 SOS 7528080 HAS SOPS 3712649 HAS SOUS 531333 HAS SOUPS 212155 WITH SCORE 219683.08
AT ITER 1591 NEW BEST:: SOT 8871969 SOS 7528080 HAS SOPS 3712649 HAS SOUS 531221 HAS SOUPS 212043 WITH SCORE 219571.08
AT ITER 1604 NEW BEST:: SOT 8871812 SOS 7536523 HAS SOPS 3712613 HAS SOUS 531102 HAS SOUPS 211924 WITH SCORE 219460.523
AT ITER 1611 NEW BEST:: SOT 8871728 SOS 7537055 HAS SOPS 3712557 HAS SOUS 531046 HAS SOUPS 211840 WITH SCORE 219377.055
AT ITER 1615 NEW BEST:: SOT 8871728 SOS 7537783 HAS SOPS 3712557 HAS SOUS 531105 HAS SOUPS 211795 WITH SCORE 219332.783
AT ITER 1642 NEW BEST:: SOT 8871611 SOS 7536685 HAS SOPS 3713475 HAS SOUS 530715 HAS SOUPS 211693 WITH SCORE 219229.685
AT ITER 1688 NEW BEST:: SOT 8871610 SOS 7536683 HAS SOPS 3713473 HAS SOUS 530713 HAS SOUPS 211691 WITH SCORE 219227.683
AT ITER 1711 NEW BEST:: SOT 8871585 SOS 7536633 HAS SOPS 3713248 HAS SOUS 530688 HAS SOUPS 211641 WITH SCORE 219177.633
AT ITER 1733 NEW BEST:: SOT 8871585 SOS 7536570 HAS SOPS 3713507 HAS SOUS 530642 HAS SOUPS 211641 WITH SCORE 219177.57
AT ITER 1760 NEW BEST:: SOT 8871485 SOS 7535846 HAS SOPS 3712783 HAS SOUS 530549 HAS SOUPS 211548 WITH SCORE 219083.846
AT ITER 1765 NEW BEST:: SOT 8866777 SOS 7529375 HAS SOPS 3708440 HAS SOUS 530384 HAS SOUPS 211355 WITH SCORE 218884.375
AT ITER 1774 NEW BEST:: SOT 8866669 SOS 7529533 HAS SOPS 3708360 HAS SOUS 530355 HAS SOUPS 211326 WITH SCORE 218855.533
AT ITER 1776 NEW BEST:: SOT 8866669 SOS 7529533 HAS SOPS 3708360 HAS SOUS 530231 HAS SOUPS 211202 WITH SCORE 218731.533
AT ITER 1794 NEW BEST:: SOT 8866125 SOS 7530370 HAS SOPS 3707580 HAS SOUS 529951 HAS SOUPS 210845 WITH SCORE 218375.37
AT ITER 1821 NEW BEST:: SOT 8865114 SOS 7535499 HAS SOPS 3708733 HAS SOUS 529220 HAS SOUPS 210114 WITH SCORE 217649.499
AT ITER 1834 NEW BEST:: SOT 8865114 SOS 7535499 HAS SOPS 3708733 HAS SOUS 529100 HAS SOUPS 209994 WITH SCORE 217529.499
AT ITER 1877 NEW BEST:: SOT 8863753 SOS 7540758 HAS SOPS 3710156 HAS SOUS 528208 HAS SOUPS 209102 WITH SCORE 216642.758
AT ITER 1878 NEW BEST:: SOT 8863443 SOS 7539163 HAS SOPS 3710836 HAS SOUS 527573 HAS SOUPS 208792 WITH SCORE 216331.163
AT ITER 1882 NEW BEST:: SOT 8863119 SOS 7542375 HAS SOPS 3712536 HAS SOUS 527357 HAS SOUPS 208576 WITH SCORE 216118.375
AT ITER 1900 NEW BEST:: SOT 8863119 SOS 7542375 HAS SOPS 3712536 HAS SOUS 527331 HAS SOUPS 208550 WITH SCORE 216092.375
AT ITER 1901 NEW BEST:: SOT 8862915 SOS 7543867 HAS SOPS 3712432 HAS SOUS 527191 HAS SOUPS 208334 WITH SCORE 215877.867
AT ITER 1912 NEW BEST:: SOT 8862608 SOS 7543253 HAS SOPS 3713526 HAS SOUS 526487 HAS SOUPS 207874 WITH SCORE 215417.253
AT ITER 1927 NEW BEST:: SOT 8862608 SOS 7543253 HAS SOPS 3713526 HAS SOUS 526437 HAS SOUPS 207824 WITH SCORE 215367.253
AT ITER 1944 NEW BEST:: SOT 8861582 SOS 7546836 HAS SOPS 3713875 HAS SOUS 525854 HAS SOUPS 207241 WITH SCORE 214787.836
AT ITER 1946 NEW BEST:: SOT 8861502 SOS 7546676 HAS SOPS 3713715 HAS SOUS 525620 HAS SOUPS 207007 WITH SCORE 214553.676
AT ITER 1954 NEW BEST:: SOT 8860711 SOS 7555221 HAS SOPS 3717388 HAS SOUS 525563 HAS SOUPS 206950 WITH SCORE 214505.221
AT ITER 1968 NEW BEST:: SOT 8860711 SOS 7555221 HAS SOPS 3717388 HAS SOUS 525451 HAS SOUPS 206838 WITH SCORE 214393.221
AT ITER 1985 NEW BEST:: SOT 8860539 SOS 7554017 HAS SOPS 3717388 HAS SOUS 525279 HAS SOUPS 206838 WITH SCORE 214392.017
AT ITER 1994 NEW BEST:: SOT 8856565 SOS 7549031 HAS SOPS 3713858 HAS SOUS 525248 HAS SOUPS 206665 WITH SCORE 214214.031
AT ITER 1997 NEW BEST:: SOT 8856565 SOS 7549031 HAS SOPS 3713858 HAS SOUS 525226 HAS SOUPS 206643 WITH SCORE 214192.031
AT ITER 2000 NEW BEST:: SOT 8856565 SOS 7549031 HAS SOPS 3713858 HAS SOUS 525102 HAS SOUPS 206519 WITH SCORE 214068.031
AT ITER 2003 NEW BEST:: SOT 8856360 SOS 7548621 HAS SOPS 3713448 HAS SOUS 524692 HAS SOUPS 206109 WITH SCORE 213657.621
AT ITER 2009 NEW BEST:: SOT 8856001 SOS 7547903 HAS SOPS 3712730 HAS SOUS 524002 HAS SOUPS 205419 WITH SCORE 212966.903
AT ITER 2019 NEW BEST:: SOT 8854965 SOS 7556938 HAS SOPS 3716893 HAS SOUS 523792 HAS SOUPS 205209 WITH SCORE 212765.938
AT ITER 2023 NEW BEST:: SOT 8854932 SOS 7556641 HAS SOPS 3716827 HAS SOUS 523759 HAS SOUPS 205209 WITH SCORE 212765.641
AT ITER 2029 NEW BEST:: SOT 8854932 SOS 7556641 HAS SOPS 3716015 HAS SOUS 523849 HAS SOUPS 205183 WITH SCORE 212739.641
AT ITER 2057 NEW BEST:: SOT 8854932 SOS 7556641 HAS SOPS 3716015 HAS SOUS 523799 HAS SOUPS 205133 WITH SCORE 212689.641
AT ITER 2067 NEW BEST:: SOT 8854416 SOS 7557609 HAS SOPS 3715303 HAS SOUS 523490 HAS SOUPS 204744 WITH SCORE 212301.609
AT ITER 2082 NEW BEST:: SOT 8854270 SOS 7557317 HAS SOPS 3716222 HAS SOUS 523182 HAS SOUPS 204609 WITH SCORE 212166.317
AT ITER 2087 NEW BEST:: SOT 8854179 SOS 7557567 HAS SOPS 3716304 HAS SOUS 523144 HAS SOUPS 204571 WITH SCORE 212128.567
AT ITER 2112 NEW BEST:: SOT 8854087 SOS 7557383 HAS SOPS 3716120 HAS SOUS 523052 HAS SOUPS 204479 WITH SCORE 212036.383
AT ITER 2113 NEW BEST:: SOT 8853392 SOS 7567248 HAS SOPS 3721099 HAS SOUS 522714 HAS SOUPS 204141 WITH SCORE 211708.248
AT ITER 2136 NEW BEST:: SOT 8850008 SOS 7561459 HAS SOPS 3718879 HAS SOUS 522465 HAS SOUPS 204145 WITH SCORE 211706.459
AT ITER 2162 NEW BEST:: SOT 8849952 SOS 7567885 HAS SOPS 3718956 HAS SOUS 522343 HAS SOUPS 204051 WITH SCORE 211618.885
AT ITER 2169 NEW BEST:: SOT 8848913 SOS 7573674 HAS SOPS 3720937 HAS SOUS 521722 HAS SOUPS 203430 WITH SCORE 211003.674
AT ITER 2197 NEW BEST:: SOT 8849179 SOS 7571161 HAS SOPS 3718424 HAS SOUS 521508 HAS SOUPS 203216 WITH SCORE 210787.161
AT ITER 2205 NEW BEST:: SOT 8849019 SOS 7569588 HAS SOPS 3718111 HAS SOUS 521167 HAS SOUPS 203055 WITH SCORE 210624.588
AT ITER 2220 NEW BEST:: SOT 8848855 SOS 7569014 HAS SOPS 3718111 HAS SOUS 520921 HAS SOUPS 202891 WITH SCORE 210460.014
AT ITER 2222 NEW BEST:: SOT 8848925 SOS 7564902 HAS SOPS 3717535 HAS SOUS 520864 HAS SOUPS 202886 WITH SCORE 210450.902
AT ITER 2224 NEW BEST:: SOT 8848925 SOS 7564914 HAS SOPS 3717547 HAS SOUS 520852 HAS SOUPS 202874 WITH SCORE 210438.914
AT ITER 2233 NEW BEST:: SOT 8847529 SOS 7570959 HAS SOPS 3719140 HAS SOUS 519884 HAS SOUPS 201906 WITH SCORE 209476.959
AT ITER 2244 NEW BEST:: SOT 8847068 SOS 7572311 HAS SOPS 3719064 HAS SOUS 519707 HAS SOUPS 201661 WITH SCORE 209233.311
AT ITER 2248 NEW BEST:: SOT 8845882 SOS 7578886 HAS SOPS 3722097 HAS SOUS 519424 HAS SOUPS 201378 WITH SCORE 208956.886
AT ITER 2264 NEW BEST:: SOT 8845882 SOS 7578877 HAS SOPS 3722088 HAS SOUS 519424 HAS SOUPS 201378 WITH SCORE 208956.877
AT ITER 2289 NEW BEST:: SOT 8845996 SOS 7579250 HAS SOPS 3722461 HAS SOUS 519291 HAS SOUPS 201245 WITH SCORE 208824.25
AT ITER 2319 NEW BEST:: SOT 8845308 SOS 7583007 HAS SOPS 3723838 HAS SOUS 518703 HAS SOUPS 200657 WITH SCORE 208240.007
AT ITER 2331 NEW BEST:: SOT 8843390 SOS 7589944 HAS SOPS 3725581 HAS SOUS 517566 HAS SOUPS 199520 WITH SCORE 207109.944
AT ITER 2341 NEW BEST:: SOT 8843250 SOS 7590126 HAS SOPS 3725469 HAS SOUS 517517 HAS SOUPS 199471 WITH SCORE 207061.126
AT ITER 2370 NEW BEST:: SOT 8842660 SOS 7588619 HAS SOPS 3724725 HAS SOUS 517131 HAS SOUPS 199194 WITH SCORE 206782.619
AT ITER 2374 NEW BEST:: SOT 8842649 SOS 7588597 HAS SOPS 3724703 HAS SOUS 517122 HAS SOUPS 199185 WITH SCORE 206773.597
AT ITER 2385 NEW BEST:: SOT 8841368 SOS 7584660 HAS SOPS 3723391 HAS SOUS 515283 HAS SOUPS 197721 WITH SCORE 205305.66
AT ITER 2387 NEW BEST:: SOT 8841002 SOS 7583745 HAS SOPS 3722476 HAS SOUS 515039 HAS SOUPS 197477 WITH SCORE 205060.745
AT ITER 2389 NEW BEST:: SOT 8840969 SOS 7581185 HAS SOPS 3721412 HAS SOUS 514991 HAS SOUPS 197451 WITH SCORE 205032.185
AT ITER 2406 NEW BEST:: SOT 8840743 SOS 7580253 HAS SOPS 3721600 HAS SOUS 514786 HAS SOUPS 197406 WITH SCORE 204986.253
AT ITER 2422 NEW BEST:: SOT 8839671 SOS 7577179 HAS SOPS 3720696 HAS SOUS 514227 HAS SOUPS 197157 WITH SCORE 204734.179
AT ITER 2430 NEW BEST:: SOT 8839395 SOS 7576413 HAS SOPS 3721475 HAS SOUS 513677 HAS SOUPS 196822 WITH SCORE 204398.413
AT ITER 2491 NEW BEST:: SOT 8839412 SOS 7576417 HAS SOPS 3721479 HAS SOUS 513644 HAS SOUPS 196789 WITH SCORE 204365.417
AT ITER 2503 NEW BEST:: SOT 8839412 SOS 7576417 HAS SOPS 3721479 HAS SOUS 513520 HAS SOUPS 196665 WITH SCORE 204241.417
AT ITER 2519 NEW BEST:: SOT 8839309 SOS 7576211 HAS SOPS 3721273 HAS SOUS 513518 HAS SOUPS 196663 WITH SCORE 204239.211
AT ITER 2569 NEW BEST:: SOT 8836113 SOS 7571444 HAS SOPS 3717940 HAS SOUS 513275 HAS SOUPS 196414 WITH SCORE 203985.444
AT ITER 2582 NEW BEST:: SOT 8837629 SOS 7577364 HAS SOPS 3719441 HAS SOUS 513410 HAS SOUPS 196390 WITH SCORE 203967.364
AT ITER 2591 NEW BEST:: SOT 8831825 SOS 7567670 HAS SOPS 3715710 HAS SOUS 512948 HAS SOUPS 196328 WITH SCORE 203895.67
AT ITER 2602 NEW BEST:: SOT 8830557 SOS 7574592 HAS SOPS 3715849 HAS SOUS 512605 HAS SOUPS 195662 WITH SCORE 203236.592
AT ITER 2610 NEW BEST:: SOT 8830557 SOS 7574592 HAS SOPS 3715849 HAS SOUS 512583 HAS SOUPS 195640 WITH SCORE 203214.592
AT ITER 2661 NEW BEST:: SOT 8830557 SOS 7574459 HAS SOPS 3716367 HAS SOUS 512480 HAS SOUPS 195630 WITH SCORE 203204.459
AT ITER 2678 NEW BEST:: SOT 8830470 SOS 7573984 HAS SOPS 3716914 HAS SOUS 512154 HAS SOUPS 195450 WITH SCORE 203023.984
AT ITER 2689 NEW BEST:: SOT 8830361 SOS 7575241 HAS SOPS 3716932 HAS SOUS 512113 HAS SOUPS 195350 WITH SCORE 202925.241
AT ITER 2710 NEW BEST:: SOT 8830256 SOS 7578303 HAS SOPS 3717516 HAS SOUS 511992 HAS SOUPS 195111 WITH SCORE 202689.303
AT ITER 2737 NEW BEST:: SOT 8829681 SOS 7586414 HAS SOPS 3716944 HAS SOUS 511438 HAS SOUPS 194608 WITH SCORE 202194.414
AT ITER 2762 NEW BEST:: SOT 8829166 SOS 7584219 HAS SOPS 3716380 HAS SOUS 510568 HAS SOUPS 193971 WITH SCORE 201555.219
AT ITER 2839 NEW BEST:: SOT 8829177 SOS 7583845 HAS SOPS 3716237 HAS SOUS 510557 HAS SOUPS 193971 WITH SCORE 201554.845
AT ITER 2841 NEW BEST:: SOT 8829089 SOS 7583669 HAS SOPS 3716061 HAS SOUS 510455 HAS SOUPS 193869 WITH SCORE 201452.669
AT ITER 2852 NEW BEST:: SOT 8828936 SOS 7582292 HAS SOPS 3715755 HAS SOUS 510150 HAS SOUPS 193717 WITH SCORE 201299.292
AT ITER 2855 NEW BEST:: SOT 8828936 SOS 7582292 HAS SOPS 3715755 HAS SOUS 510026 HAS SOUPS 193593 WITH SCORE 201175.292
AT ITER 2876 NEW BEST:: SOT 8828300 SOS 7580009 HAS SOPS 3713472 HAS SOUS 509975 HAS SOUPS 193542 WITH SCORE 201122.009
AT ITER 3005 NEW BEST:: SOT 8828382 SOS 7579817 HAS SOPS 3713280 HAS SOUS 509928 HAS SOUPS 193495 WITH SCORE 201074.817
AT ITER 3011 NEW BEST:: SOT 8823767 SOS 7572501 HAS SOPS 3710271 HAS SOUS 509500 HAS SOUPS 193317 WITH SCORE 200889.501
AT ITER 3018 NEW BEST:: SOT 8820432 SOS 7568588 HAS SOPS 3707812 HAS SOUS 509497 HAS SOUPS 193288 WITH SCORE 200856.588
AT ITER 3028 NEW BEST:: SOT 8820342 SOS 7568408 HAS SOPS 3707632 HAS SOUS 509317 HAS SOUPS 193108 WITH SCORE 200676.408
AT ITER 3045 NEW BEST:: SOT 8820275 SOS 7568341 HAS SOPS 3707565 HAS SOUS 509250 HAS SOUPS 193041 WITH SCORE 200609.34100000001
AT ITER 3054 NEW BEST:: SOT 8820194 SOS 7568060 HAS SOPS 3708621 HAS SOUS 508990 HAS SOUPS 192972 WITH SCORE 200540.06
AT ITER 3072 NEW BEST:: SOT 8820004 SOS 7567750 HAS SOPS 3708511 HAS SOUS 508831 HAS SOUPS 192853 WITH SCORE 200420.75
AT ITER 3099 NEW BEST:: SOT 8819264 SOS 7570699 HAS SOPS 3707386 HAS SOUS 508602 HAS SOUPS 192430 WITH SCORE 200000.699
AT ITER 3106 NEW BEST:: SOT 8818673 SOS 7567932 HAS SOPS 3706838 HAS SOUS 507424 HAS SOUPS 191569 WITH SCORE 199136.932
AT ITER 3118 NEW BEST:: SOT 8818673 SOS 7567932 HAS SOPS 3706838 HAS SOUS 507300 HAS SOUPS 191445 WITH SCORE 199012.932
AT ITER 3122 NEW BEST:: SOT 8818673 SOS 7567932 HAS SOPS 3706838 HAS SOUS 507176 HAS SOUPS 191321 WITH SCORE 198888.932
AT ITER 3128 NEW BEST:: SOT 8817654 SOS 7569634 HAS SOPS 3704970 HAS SOUS 506928 HAS SOUPS 190903 WITH SCORE 198472.634
AT ITER 3191 NEW BEST:: SOT 8817654 SOS 7569403 HAS SOPS 3705656 HAS SOUS 506771 HAS SOUPS 190877 WITH SCORE 198446.403
AT ITER 3203 NEW BEST:: SOT 8817651 SOS 7569397 HAS SOPS 3705650 HAS SOUS 506706 HAS SOUPS 190812 WITH SCORE 198381.397
AT ITER 3216 NEW BEST:: SOT 8817591 SOS 7569208 HAS SOPS 3705461 HAS SOUS 506646 HAS SOUPS 190752 WITH SCORE 198321.208
AT ITER 3242 NEW BEST:: SOT 8817538 SOS 7569102 HAS SOPS 3704095 HAS SOUS 506589 HAS SOUPS 190515 WITH SCORE 198084.102
AT ITER 3277 NEW BEST:: SOT 8817408 SOS 7568842 HAS SOPS 3703324 HAS SOUS 506391 HAS SOUPS 190244 WITH SCORE 197812.842
AT ITER 3292 NEW BEST:: SOT 8813103 SOS 7562034 HAS SOPS 3700109 HAS SOUS 505551 HAS SOUPS 189563 WITH SCORE 197125.034
AT ITER 3305 NEW BEST:: SOT 8809277 SOS 7555872 HAS SOPS 3697239 HAS SOUS 505332 HAS SOUPS 189393 WITH SCORE 196948.872
AT ITER 3315 NEW BEST:: SOT 8809294 SOS 7555889 HAS SOPS 3697256 HAS SOUS 505297 HAS SOUPS 189358 WITH SCORE 196913.889
AT ITER 3319 NEW BEST:: SOT 8809294 SOS 7555889 HAS SOPS 3697256 HAS SOUS 505255 HAS SOUPS 189316 WITH SCORE 196871.889
AT ITER 3386 NEW BEST:: SOT 8808328 SOS 7562098 HAS SOPS 3699741 HAS SOUS 504532 HAS SOUPS 188593 WITH SCORE 196155.098
AT ITER 3392 NEW BEST:: SOT 8808328 SOS 7562098 HAS SOPS 3699741 HAS SOUS 504468 HAS SOUPS 188529 WITH SCORE 196091.098
AT ITER 3419 NEW BEST:: SOT 8807991 SOS 7561967 HAS SOPS 3699610 HAS SOUS 503952 HAS SOUPS 188013 WITH SCORE 195574.967
AT ITER 3432 NEW BEST:: SOT 8807991 SOS 7561553 HAS SOPS 3699196 HAS SOUS 503952 HAS SOUPS 188013 WITH SCORE 195574.553
AT ITER 3451 NEW BEST:: SOT 8807619 SOS 7559906 HAS SOPS 3698851 HAS SOUS 503328 HAS SOUPS 187575 WITH SCORE 195134.906
AT ITER 3452 NEW BEST:: SOT 8807619 SOS 7559906 HAS SOPS 3698851 HAS SOUS 503326 HAS SOUPS 187573 WITH SCORE 195132.906
AT ITER 3479 NEW BEST:: SOT 8807969 SOS 7552863 HAS SOPS 3695651 HAS SOUS 503150 HAS SOUPS 187580 WITH SCORE 195132.863
AT ITER 3485 NEW BEST:: SOT 8807897 SOS 7551903 HAS SOPS 3696595 HAS SOUS 502864 HAS SOUPS 187566 WITH SCORE 195117.903
AT ITER 3493 NEW BEST:: SOT 8807897 SOS 7551903 HAS SOPS 3696595 HAS SOUS 502804 HAS SOUPS 187506 WITH SCORE 195057.903
AT ITER 3498 NEW BEST:: SOT 8807897 SOS 7551903 HAS SOPS 3696595 HAS SOUS 502768 HAS SOUPS 187470 WITH SCORE 195021.903
AT ITER 3501 NEW BEST:: SOT 8806115 SOS 7555241 HAS SOPS 3695915 HAS SOUS 501780 HAS SOUPS 186482 WITH SCORE 194037.241
AT ITER 3540 NEW BEST:: SOT 8806097 SOS 7555205 HAS SOPS 3695879 HAS SOUS 501762 HAS SOUPS 186464 WITH SCORE 194019.205
AT ITER 3588 NEW BEST:: SOT 8806080 SOS 7555120 HAS SOPS 3695913 HAS SOUS 501737 HAS SOUPS 186456 WITH SCORE 194011.12
AT ITER 3600 NEW BEST:: SOT 8805630 SOS 7553746 HAS SOPS 3694539 HAS SOUS 501702 HAS SOUPS 186421 WITH SCORE 193974.746
AT ITER 3646 NEW BEST:: SOT 8805575 SOS 7553636 HAS SOPS 3694429 HAS SOUS 501592 HAS SOUPS 186311 WITH SCORE 193864.636
AT ITER 3651 NEW BEST:: SOT 8805360 SOS 7553800 HAS SOPS 3694215 HAS SOUS 501458 HAS SOUPS 186177 WITH SCORE 193730.8
AT ITER 3655 NEW BEST:: SOT 8805346 SOS 7553772 HAS SOPS 3694187 HAS SOUS 501444 HAS SOUPS 186163 WITH SCORE 193716.772
AT ITER 3657 NEW BEST:: SOT 8804666 SOS 7552960 HAS SOPS 3693375 HAS SOUS 501279 HAS SOUPS 185998 WITH SCORE 193550.96
AT ITER 3690 NEW BEST:: SOT 8804550 SOS 7553010 HAS SOPS 3693425 HAS SOUS 501124 HAS SOUPS 185843 WITH SCORE 193396.01
AT ITER 3698 NEW BEST:: SOT 8804469 SOS 7552848 HAS SOPS 3693263 HAS SOUS 500964 HAS SOUPS 185683 WITH SCORE 193235.848
AT ITER 3747 NEW BEST:: SOT 8804469 SOS 7552624 HAS SOPS 3693263 HAS SOUS 500932 HAS SOUPS 185683 WITH SCORE 193235.624
AT ITER 3749 NEW BEST:: SOT 8803439 SOS 7549613 HAS SOPS 3692471 HAS SOUS 500554 HAS SOUPS 185622 WITH SCORE 193171.613
AT ITER 3755 NEW BEST:: SOT 8803439 SOS 7549613 HAS SOPS 3692471 HAS SOUS 500430 HAS SOUPS 185498 WITH SCORE 193047.613
AT ITER 3758 NEW BEST:: SOT 8803439 SOS 7549613 HAS SOPS 3692471 HAS SOUS 500396 HAS SOUPS 185464 WITH SCORE 193013.613
AT ITER 3763 NEW BEST:: SOT 8803453 SOS 7549020 HAS SOPS 3692382 HAS SOUS 500362 HAS SOUPS 185454 WITH SCORE 193003.02
AT ITER 3764 NEW BEST:: SOT 8803453 SOS 7549020 HAS SOPS 3692382 HAS SOUS 500252 HAS SOUPS 185344 WITH SCORE 192893.02
AT ITER 3772 NEW BEST:: SOT 8803485 SOS 7549884 HAS SOPS 3692574 HAS SOUS 500235 HAS SOUPS 185295 WITH SCORE 192844.884
AT ITER 3791 NEW BEST:: SOT 8804399 SOS 7550798 HAS SOPS 3693020 HAS SOUS 500135 HAS SOUPS 185195 WITH SCORE 192745.798
AT ITER 3809 NEW BEST:: SOT 8804399 SOS 7550798 HAS SOPS 3693020 HAS SOUS 500069 HAS SOUPS 185129 WITH SCORE 192679.798
AT ITER 3810 NEW BEST:: SOT 8800795 SOS 7545121 HAS SOPS 3690522 HAS SOUS 499920 HAS SOUPS 185029 WITH SCORE 192574.121
AT ITER 3815 NEW BEST:: SOT 8800795 SOS 7545121 HAS SOPS 3690522 HAS SOUS 499814 HAS SOUPS 184923 WITH SCORE 192468.121
AT ITER 3816 NEW BEST:: SOT 8796914 SOS 7538973 HAS SOPS 3687971 HAS SOUS 499669 HAS SOUPS 184927 WITH SCORE 192465.973
AT ITER 3837 NEW BEST:: SOT 8793345 SOS 7533915 HAS SOPS 3684623 HAS SOUS 499624 HAS SOUPS 184882 WITH SCORE 192415.915
AT ITER 3861 NEW BEST:: SOT 8793660 SOS 7534656 HAS SOPS 3684691 HAS SOUS 499706 HAS SOUPS 184865 WITH SCORE 192399.656
AT ITER 3868 NEW BEST:: SOT 8792774 SOS 7532884 HAS SOPS 3682919 HAS SOUS 499188 HAS SOUPS 184347 WITH SCORE 191879.884
AT ITER 3869 NEW BEST:: SOT 8791783 SOS 7533507 HAS SOPS 3681935 HAS SOUS 498620 HAS SOUPS 183779 WITH SCORE 191312.507
AT ITER 3896 NEW BEST:: SOT 8791783 SOS 7533507 HAS SOPS 3681935 HAS SOUS 498560 HAS SOUPS 183719 WITH SCORE 191252.507
AT ITER 3917 NEW BEST:: SOT 8791556 SOS 7537265 HAS SOPS 3683425 HAS SOUS 498549 HAS SOUPS 183600 WITH SCORE 191137.265
AT ITER 3937 NEW BEST:: SOT 8791556 SOS 7537265 HAS SOPS 3683425 HAS SOUS 498477 HAS SOUPS 183528 WITH SCORE 191065.265
AT ITER 3951 NEW BEST:: SOT 8790262 SOS 7535142 HAS SOPS 3682511 HAS SOUS 498214 HAS SOUPS 183358 WITH SCORE 190893.142
AT ITER 3955 NEW BEST:: SOT 8790128 SOS 7534874 HAS SOPS 3682243 HAS SOUS 498091 HAS SOUPS 183235 WITH SCORE 190769.874
AT ITER 3975 NEW BEST:: SOT 8790128 SOS 7534874 HAS SOPS 3682243 HAS SOUS 497993 HAS SOUPS 183137 WITH SCORE 190671.874
AT ITER 3976 NEW BEST:: SOT 8790128 SOS 7535476 HAS SOPS 3682845 HAS SOUS 497947 HAS SOUPS 183091 WITH SCORE 190626.476
AT ITER 4015 NEW BEST:: SOT 8790113 SOS 7535446 HAS SOPS 3682815 HAS SOUS 497932 HAS SOUPS 183076 WITH SCORE 190611.446
AT ITER 4023 NEW BEST:: SOT 8790113 SOS 7535446 HAS SOPS 3682815 HAS SOUS 497926 HAS SOUPS 183070 WITH SCORE 190605.446
AT ITER 4062 NEW BEST:: SOT 8789982 SOS 7535184 HAS SOPS 3682553 HAS SOUS 497925 HAS SOUPS 183069 WITH SCORE 190604.184
AT ITER 4069 NEW BEST:: SOT 8789701 SOS 7536078 HAS SOPS 3683447 HAS SOUS 497902 HAS SOUPS 183046 WITH SCORE 190582.078
AT ITER 4089 NEW BEST:: SOT 8789701 SOS 7536078 HAS SOPS 3683447 HAS SOUS 497884 HAS SOUPS 183028 WITH SCORE 190564.078
AT ITER 4134 NEW BEST:: SOT 8789691 SOS 7536058 HAS SOPS 3683427 HAS SOUS 497828 HAS SOUPS 182972 WITH SCORE 190508.058
AT ITER 4136 NEW BEST:: SOT 8789847 SOS 7537160 HAS SOPS 3683423 HAS SOUS 497981 HAS SOUPS 182967 WITH SCORE 190504.16
AT ITER 4148 NEW BEST:: SOT 8789726 SOS 7536132 HAS SOPS 3684229 HAS SOUS 497631 HAS SOUPS 182879 WITH SCORE 190415.132
AT ITER 4157 NEW BEST:: SOT 8788702 SOS 7533316 HAS SOPS 3683205 HAS SOUS 497119 HAS SOUPS 182623 WITH SCORE 190156.316
AT ITER 4174 NEW BEST:: SOT 8788524 SOS 7532960 HAS SOPS 3683808 HAS SOUS 496804 HAS SOUPS 182445 WITH SCORE 189977.96
AT ITER 4175 NEW BEST:: SOT 8788410 SOS 7532981 HAS SOPS 3683248 HAS SOUS 496664 HAS SOUPS 182222 WITH SCORE 189754.981
AT ITER 4193 NEW BEST:: SOT 8786854 SOS 7536956 HAS SOPS 3682309 HAS SOUS 496220 HAS SOUPS 181544 WITH SCORE 189080.956
AT ITER 4201 NEW BEST:: SOT 8786183 SOS 7542957 HAS SOPS 3684978 HAS SOUS 495807 HAS SOUPS 181131 WITH SCORE 188673.957
AT ITER 4216 NEW BEST:: SOT 8785309 SOS 7541460 HAS SOPS 3684570 HAS SOUS 495322 HAS SOUPS 180879 WITH SCORE 188420.46
AT ITER 4219 NEW BEST:: SOT 8785137 SOS 7541116 HAS SOPS 3683365 HAS SOUS 495150 HAS SOUPS 180584 WITH SCORE 188125.116
AT ITER 4236 NEW BEST:: SOT 8785137 SOS 7541116 HAS SOPS 3683365 HAS SOUS 495138 HAS SOUPS 180572 WITH SCORE 188113.116
AT ITER 4249 NEW BEST:: SOT 8784898 SOS 7545995 HAS SOPS 3686060 HAS SOUS 495055 HAS SOUPS 180489 WITH SCORE 188034.995
AT ITER 4256 NEW BEST:: SOT 8780499 SOS 7538648 HAS SOPS 3683139 HAS SOUS 494532 HAS SOUPS 180279 WITH SCORE 187817.648
AT ITER 4373 NEW BEST:: SOT 8780499 SOS 7538648 HAS SOPS 3683139 HAS SOUS 494482 HAS SOUPS 180229 WITH SCORE 187767.648
AT ITER 4404 NEW BEST:: SOT 8780595 SOS 7538800 HAS SOPS 3683187 HAS SOUS 494474 HAS SOUPS 180213 WITH SCORE 187751.8
AT ITER 4485 NEW BEST:: SOT 8779581 SOS 7535959 HAS SOPS 3682243 HAS SOUS 494073 HAS SOUPS 180083 WITH SCORE 187618.959
AT ITER 4509 NEW BEST:: SOT 8775314 SOS 7528719 HAS SOPS 3679384 HAS SOUS 493490 HAS SOUPS 179837 WITH SCORE 187365.719
AT ITER 4517 NEW BEST:: SOT 8775278 SOS 7528851 HAS SOPS 3679426 HAS SOUS 493478 HAS SOUPS 179825 WITH SCORE 187353.851
AT ITER 4540 NEW BEST:: SOT 8775225 SOS 7528798 HAS SOPS 3679373 HAS SOUS 493447 HAS SOUPS 179794 WITH SCORE 187322.798
AT ITER 4620 NEW BEST:: SOT 8775225 SOS 7528798 HAS SOPS 3679373 HAS SOUS 493423 HAS SOUPS 179770 WITH SCORE 187298.798
AT ITER 4712 NEW BEST:: SOT 8776142 SOS 7529848 HAS SOPS 3680231 HAS SOUS 493236 HAS SOUPS 179674 WITH SCORE 187203.848
AT ITER 4713 NEW BEST:: SOT 8776120 SOS 7529804 HAS SOPS 3680187 HAS SOUS 493212 HAS SOUPS 179650 WITH SCORE 187179.804
AT ITER 4718 NEW BEST:: SOT 8776078 SOS 7529657 HAS SOPS 3680040 HAS SOUS 493170 HAS SOUPS 179608 WITH SCORE 187137.657
AT ITER 4719 NEW BEST:: SOT 8776078 SOS 7529657 HAS SOPS 3680040 HAS SOUS 493046 HAS SOUPS 179484 WITH SCORE 187013.657
AT ITER 4753 NEW BEST:: SOT 8775905 SOS 7529311 HAS SOPS 3679694 HAS SOUS 492873 HAS SOUPS 179311 WITH SCORE 186840.311
AT ITER 4771 NEW BEST:: SOT 8775905 SOS 7529311 HAS SOPS 3679694 HAS SOUS 492863 HAS SOUPS 179301 WITH SCORE 186830.311
AT ITER 4776 NEW BEST:: SOT 8775905 SOS 7529311 HAS SOPS 3679694 HAS SOUS 492739 HAS SOUPS 179177 WITH SCORE 186706.311
AT ITER 4779 NEW BEST:: SOT 8775905 SOS 7529171 HAS SOPS 3679694 HAS SOUS 492718 HAS SOUPS 179176 WITH SCORE 186705.171
AT ITER 4792 NEW BEST:: SOT 8775080 SOS 7530755 HAS SOPS 3679220 HAS SOUS 492538 HAS SOUPS 178996 WITH SCORE 186526.755
AT ITER 4796 NEW BEST:: SOT 8775128 SOS 7530793 HAS SOPS 3679258 HAS SOUS 492527 HAS SOUPS 178985 WITH SCORE 186515.793
AT ITER 4800 NEW BEST:: SOT 8774833 SOS 7531928 HAS SOPS 3679567 HAS SOUS 492468 HAS SOUPS 178926 WITH SCORE 186457.928
AT ITER 4810 NEW BEST:: SOT 8774833 SOS 7531928 HAS SOPS 3679567 HAS SOUS 492396 HAS SOUPS 178854 WITH SCORE 186385.928
AT ITER 4813 NEW BEST:: SOT 8774173 SOS 7531136 HAS SOPS 3679171 HAS SOUS 492396 HAS SOUPS 178854 WITH SCORE 186385.136
AT ITER 4819 NEW BEST:: SOT 8773811 SOS 7530412 HAS SOPS 3678447 HAS SOUS 491944 HAS SOUPS 178402 WITH SCORE 185932.412
AT ITER 4822 NEW BEST:: SOT 8773571 SOS 7530802 HAS SOPS 3678417 HAS SOUS 491812 HAS SOUPS 178270 WITH SCORE 185800.802
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-5a-CTLFireability-00 (AG( (AF( ( ( ((potential((tk(P483)>=1) & (tk(P1005)>=1)))) & ((potential((tk(P1037)>=1) & (tk(P127)>=1)))) ) & ((potential((tk(P458)>=1) & (tk(P859)>=1)))) )))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-01 (EF( (AX( (EF( ((potential((tk(P489)>=1) & (tk(P1199)>=1))))))))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-02 ( ((potential((tk(P503)>=1) & (tk(P1359)>=1)))) | ( (EF( ((potential((tk(P402)>=1) & (tk(P744)>=1)))))) & (! ( ((potential((tk(P393)>=1) & (tk(P989)>=1)))) & (! ( ((potential((tk(P1227)>=1) & (tk(P492)>=1)))) | ((potential((tk(P489)>=1) & (tk(P1217)>=1)))) )) )) ) )
PROPERTY: DLCflexbar-PT-5a-CTLFireability-03 (EF( (! ( (AF( ((potential((tk(P85)>=1) & (tk(P777)>=1)))))) | ( (! ((potential((tk(P454)>=1) & (tk(P730)>=1))))) & ( ((potential((tk(P464)>=1) & (tk(P759)>=1)))) | ((potential((tk(P323)>=1) & (tk(P597)>=1)))) ) ) ))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-04 (EG( ( ( (AF( ((potential((tk(P484)>=1) & (tk(P1104)>=1)))))) | ((potential((tk(P494)>=1) & (tk(P1240)>=1)))) ) | (! ( ( ((potential((tk(P1402)>=1) & (tk(P482)>=1)))) | ((potential((tk(P1125)>=1) & (tk(P435)>=1)))) ) & (! ((potential((tk(P480)>=1) & (tk(P1051)>=1))))) )) )))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-05 (EG( (AF( (AG( ((potential((tk(P490)>=1) & (tk(P1167)>=1))))))))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-06 ( (! (! ((potential((tk(P1096)>=1) & (tk(P484)>=1)))))) | (EF( (EG( ( ((potential((tk(P468)>=1) & (tk(P965)>=1)))) | ((potential((tk(P475)>=1) & (tk(P991)>=1)))) ))))) )
PROPERTY: DLCflexbar-PT-5a-CTLFireability-07 ( (EF( (AG( ( ((potential((tk(P446)>=1) & (tk(P653)>=1)))) & ((potential((tk(P183)>=1) & (tk(P929)>=1)))) ))))) & (! ( ( ((potential((tk(P478)>=1) & (tk(P1125)>=1)))) | ( (! ((potential((tk(P484)>=1) & (tk(P1109)>=1))))) & ((potential((tk(P246)>=1) & (tk(P947)>=1)))) ) ) | ((potential((tk(P496)>=1) & (tk(P1307)>=1)))) )) )
PROPERTY: DLCflexbar-PT-5a-CTLFireability-08 (AX( (EG( (EX( ((potential((tk(P302)>=1) & (tk(P1087)>=1))))))))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-09 (EX( (EG( (! ( ((potential((tk(P503)>=1) & (tk(P1410)>=1)))) & ((potential((tk(P310)>=1)))) ))))))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-10 (AF( ( (EX( ( ((potential((tk(P463)>=1) & (tk(P809)>=1)))) | ((potential((tk(P489)>=1) & (tk(P1141)>=1)))) ))) | ((potential((tk(P441)>=1) & (tk(P1376)>=1)))) )))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-11 ( (AU( (AF( ((potential((tk(P283)>=1) & (tk(P834)>=1)))))) , (AX( ((potential((tk(P454)>=1) & (tk(P732)>=1)))))) )) | (AG( ( (AF( ((potential((tk(P30)>=1) & (tk(P762)>=1)))))) | (AF( ((potential((tk(P445)>=1) & (tk(P581)>=1)))))) ))) )
PROPERTY: DLCflexbar-PT-5a-CTLFireability-12 (AU( ( ( (! ((potential((tk(P1180)>=1) & (tk(P494)>=1))))) & (! ((potential((tk(P503)>=1) & (tk(P1337)>=1))))) ) | (! ( ((potential((tk(P493)>=1) & (tk(P1197)>=1)))) | ((potential((tk(P503)>=1) & (tk(P1253)>=1)))) )) ) , ( (EG( ((potential((tk(P476)>=1)))))) & ( ((potential((tk(P358)>=1) & (tk(P1351)>=1)))) & ((potential((tk(P387)>=1) & (tk(P864)>=1)))) ) ) ))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-13 (EG( ( ( ( ( ((potential((tk(P260)>=1) & (tk(P1322)>=1)))) | ((potential((tk(P8)>=1) & (tk(P1127)>=1)))) ) | (! ((potential((tk(P92)>=1) & (tk(P779)>=1))))) ) & ( ( ((potential((tk(P469)>=1) & (tk(P939)>=1)))) & ((potential((tk(P248)>=1) & (tk(P1072)>=1)))) ) & ((potential((tk(P302)>=1)))) ) ) | (AF( ( ((potential((tk(P31)>=1) & (tk(P762)>=1)))) | ((potential((tk(P518)>=1) & (tk(P444)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-14 (EF( ( (AF( ( ((potential((tk(P451)>=1) & (tk(P657)>=1)))) | ((potential((tk(P1044)>=1) & (tk(P484)>=1)))) ))) & (! (EF( ((potential((tk(P344)>=1) & (tk(P602)>=1))))))) )))
PROPERTY: DLCflexbar-PT-5a-CTLFireability-15 (AF( (EU( ( ((potential((tk(P1200)>=1) & (tk(P494)>=1)))) & ((potential((tk(P475)>=1) & (tk(P913)>=1)))) ) , ( ((potential((tk(P448)>=1) & (tk(P711)>=1)))) & ((potential((tk(P83)>=1)))) ) ))))
BK_STOP 1589119093864
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 488 Aborted ${SMART} ${INPUT_SM}
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="DLCflexbar-PT-5a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-5a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5a.tgz
mv DLCflexbar-PT-5a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;